diff options
| author | adam <adam@pkgsrc.org> | 2017-12-10 13:56:34 +0000 |
|---|---|---|
| committer | adam <adam@pkgsrc.org> | 2017-12-10 13:56:34 +0000 |
| commit | d0f3dd46cf1faeab683a1cf2731dc1e4cb281a57 (patch) | |
| tree | 54d5773784ff5647938d6814835814e4fa84f0ed | |
| parent | 615749d6348a516aa2d7c39f3250256877072d78 (diff) | |
| download | pkgsrc-d0f3dd46cf1faeab683a1cf2731dc1e4cb281a57.tar.gz | |
spin: updated to 6.4.7
Version 6.4.7:
- fixed a bug in the parsing of for (...) statements if
initialized variable declarations appear in the body of the loop
- optimization in interpreting the swarm option, by avoiding
unnecessary recompilations, plus other small fixes in the
generation of parameter values for -k and -w with swarms
- added runtime option -W to suppress recompilation of pan if
the executable already exists
- fixed bug in printing the value of a random seed at the end of
a randomized run
- added compilation warning if both -DNP and -DNOCLAIM are used
(in that case -DNP is assumed to override -DNOCLAIM)
- fixed a bug in the parsing of select (...) statements that could
cause unwarranted syntax errors when larger ranges are used
- switched to executables for Windows PCs that do not require
a cygwin installation (using mingw32 and mingw64 bit compilations)
| -rw-r--r-- | devel/spin/Makefile | 16 | ||||
| -rw-r--r-- | devel/spin/PLIST | 4 | ||||
| -rw-r--r-- | devel/spin/distinfo | 10 |
3 files changed, 14 insertions, 16 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile index 06d2cabb126..2e7d9a6a95b 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -1,7 +1,7 @@ -# $NetBSD: Makefile,v 1.4 2015/04/18 20:41:10 joerg Exp $ +# $NetBSD: Makefile,v 1.5 2017/12/10 13:56:34 adam Exp $ -DISTNAME= spin525 -PKGNAME= spin-5.2.5 +DISTNAME= spin647 +PKGNAME= spin-6.4.7 CATEGORIES= devel MASTER_SITES= http://spinroot.com/spin/Src/ @@ -10,16 +10,14 @@ 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 +WRKSRC= ${WRKDIR}/Spin/Src${PKGVERSION_NOREV} USE_TOOLS+= yacc MAKE_FILE= makefile +MAKE_FLAGS= CC=${CC:Q} BUILD_TARGET= spin +INSTALLATION_DIRS= bin ${PKGMANDIR}/man1 + do-install: ${INSTALL_PROGRAM} ${WRKSRC}/spin ${DESTDIR}${PREFIX}/bin/spin ${INSTALL_MAN} ${WRKDIR}/Spin/Man/spin.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/spin.1 diff --git a/devel/spin/PLIST b/devel/spin/PLIST index a2d9c84ef4b..bd771fd9918 100644 --- a/devel/spin/PLIST +++ b/devel/spin/PLIST @@ -1,3 +1,3 @@ -@comment $NetBSD: PLIST,v 1.1.1.1 2010/10/24 18:54:12 agc Exp $ +@comment $NetBSD: PLIST,v 1.2 2017/12/10 13:56:34 adam Exp $ bin/spin -${PKGMANDIR}/man1/spin.1 +man/man1/spin.1 diff --git a/devel/spin/distinfo b/devel/spin/distinfo index 39e0c66bdcd..3c6e7af7836 100644 --- a/devel/spin/distinfo +++ b/devel/spin/distinfo @@ -1,6 +1,6 @@ -$NetBSD: distinfo,v 1.2 2015/11/03 03:29:33 agc Exp $ +$NetBSD: distinfo,v 1.3 2017/12/10 13:56:34 adam Exp $ -SHA1 (spin525.tar.gz) = 274649628c0c8ae3414b863c27a1b8d98a8e9921 -RMD160 (spin525.tar.gz) = 8d01f8dd0da8c8013fbb8c6d6e9a8c40b8c5f33f -SHA512 (spin525.tar.gz) = 3d2866fe7320bc8c587b0c309c9590c59f4eb787bbc349ba64df7ebc116bfe134c0933ac934b24f8230c04d786a65dcf4d6a0ab19591a679bd65bda0e1eecdc9 -Size (spin525.tar.gz) = 413406 bytes +SHA1 (spin647.tar.gz) = 307ae8ce800dd62520ea118f144a806c14cdf4a5 +RMD160 (spin647.tar.gz) = 2b07b9c25fcd7f934dc86241069c39e3dfc426ee +SHA512 (spin647.tar.gz) = da8a28e4fa024e40beb813f78cd001a6e17ff19636b4a946dff08c7ab999f7fd2f21e532a9610861f0530fd5d0c68685bbaa5a2b5bc65ad2c14cf8a46324c65c +Size (spin647.tar.gz) = 515131 bytes |