pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/spin Not MAKE_JOBS_SAFE.
details: https://anonhg.NetBSD.org/pkgsrc/rev/a3d101cf070c
branches: trunk
changeset: 650138:a3d101cf070c
user: joerg <joerg%pkgsrc.org@localhost>
date: Sat Apr 18 20:41:10 2015 +0000
description:
Not MAKE_JOBS_SAFE.
diffstat:
devel/spin/Makefile | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
diffs (19 lines):
diff -r 794f5dfe12e7 -r a3d101cf070c devel/spin/Makefile
--- a/devel/spin/Makefile Sat Apr 18 20:40:46 2015 +0000
+++ b/devel/spin/Makefile Sat Apr 18 20:41:10 2015 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.3 2012/10/31 11:19:47 asau Exp $
+# $NetBSD: Makefile,v 1.4 2015/04/18 20:41:10 joerg Exp $
DISTNAME= spin525
PKGNAME= spin-5.2.5
@@ -10,6 +10,9 @@
COMMENT= Formal correctness prover
LICENSE= spin-license
+# yacc output used without dependency
+MAKE_JOBS_SAFE= no
+
INSTALLATION_DIRS= bin ${PKGMANDIR}/man1
WRKSRC= ${WRKDIR}/Spin/Src5.2.5
Home |
Main Index |
Thread Index |
Old Index