[pkgsrc/trunk]: pkgsrc/devel/spin spin: updated to 6.4.7

[adam <adam%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/93a295724831
branches:  trunk
changeset: 372563:93a295724831
user:      adam <adam%pkgsrc.org@localhost>
date:      Sun Dec 10 13:56:34 2017 +0000

description:
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)

diffstat:

 devel/spin/Makefile |  18 ++++++++----------
 devel/spin/PLIST    |   4 ++--
 devel/spin/distinfo |  10 +++++-----
 3 files changed, 15 insertions(+), 17 deletions(-)

diffs (60 lines):

diff -r 9816965a743c -r 93a295724831 devel/spin/Makefile
--- a/devel/spin/Makefile       Sun Dec 10 12:39:47 2017 +0000
+++ b/devel/spin/Makefile       Sun Dec 10 13:56:34 2017 +0000
@@ -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 @@
 COMMENT=       Formal correctness prover
 LICENSE=       spin-license
 
-# yacc output used without dependency
-MAKE_JOBS_SAFE=        no
+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
 
-WRKSRC=                ${WRKDIR}/Spin/Src5.2.5
-USE_TOOLS+=    yacc
-MAKE_FILE=     makefile
-BUILD_TARGET=  spin
-
 do-install:
        ${INSTALL_PROGRAM} ${WRKSRC}/spin ${DESTDIR}${PREFIX}/bin/spin
        ${INSTALL_MAN} ${WRKDIR}/Spin/Man/spin.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/spin.1
diff -r 9816965a743c -r 93a295724831 devel/spin/PLIST
--- a/devel/spin/PLIST  Sun Dec 10 12:39:47 2017 +0000
+++ b/devel/spin/PLIST  Sun Dec 10 13:56:34 2017 +0000
@@ -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 -r 9816965a743c -r 93a295724831 devel/spin/distinfo
--- a/devel/spin/distinfo       Sun Dec 10 12:39:47 2017 +0000
+++ b/devel/spin/distinfo       Sun Dec 10 13:56:34 2017 +0000
@@ -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