diff options
author | joerg <joerg@pkgsrc.org> | 2015-04-18 20:41:10 +0000 |
---|---|---|
committer | joerg <joerg@pkgsrc.org> | 2015-04-18 20:41:10 +0000 |
commit | 59aeb97342854456125e2fae4a7c01784f354adf (patch) | |
tree | 9c9c40124ea0e0e752e00a0b64852ae844a57a4f | |
parent | 3197e479abeb07220e0de51138935ef08c7b1de1 (diff) | |
download | pkgsrc-59aeb97342854456125e2fae4a7c01784f354adf.tar.gz |
Not MAKE_JOBS_SAFE.
-rw-r--r-- | devel/spin/Makefile | 5 |
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 |