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