summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjoerg <joerg@pkgsrc.org>2015-04-18 20:41:10 +0000
committerjoerg <joerg@pkgsrc.org>2015-04-18 20:41:10 +0000
commit59aeb97342854456125e2fae4a7c01784f354adf (patch)
tree9c9c40124ea0e0e752e00a0b64852ae844a57a4f
parent3197e479abeb07220e0de51138935ef08c7b1de1 (diff)
downloadpkgsrc-59aeb97342854456125e2fae4a7c01784f354adf.tar.gz
Not MAKE_JOBS_SAFE.
-rw-r--r--devel/spin/Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile
index 008f7cb3ad9..06d2cabb126 100644
--- a/devel/spin/Makefile
+++ b/devel/spin/Makefile
@@ -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 @@ HOMEPAGE= http://spinroot.com/spin/whatispin.html
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