diff options
| author | joerg <joerg> | 2015-04-18 20:41:10 +0000 |
|---|---|---|
| committer | joerg <joerg> | 2015-04-18 20:41:10 +0000 |
| commit | d481effd6a01fbc8b2b747d048517b56e47379aa (patch) | |
| tree | 9c9c40124ea0e0e752e00a0b64852ae844a57a4f /devel/spin | |
| parent | 8d4662f3f39e5d33eea62c5958102160a7f8efd9 (diff) | |
| download | pkgsrc-d481effd6a01fbc8b2b747d048517b56e47379aa.tar.gz | |
Not MAKE_JOBS_SAFE.
Diffstat (limited to 'devel/spin')
| -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 |