CVS commit: pkgsrc/devel/spin

["Adam Ciarcinski" <adam%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   adam
Date:           Sun Dec 10 13:56:34 UTC 2017

Modified Files:
        pkgsrc/devel/spin: Makefile PLIST distinfo

Log Message:
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)


To generate a diff of this commit:
cvs rdiff -u -r1.4 -r1.5 pkgsrc/devel/spin/Makefile
cvs rdiff -u -r1.1.1.1 -r1.2 pkgsrc/devel/spin/PLIST
cvs rdiff -u -r1.2 -r1.3 pkgsrc/devel/spin/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/spin/Makefile
diff -u pkgsrc/devel/spin/Makefile:1.4 pkgsrc/devel/spin/Makefile:1.5
--- pkgsrc/devel/spin/Makefile:1.4      Sat Apr 18 20:41:10 2015
+++ pkgsrc/devel/spin/Makefile  Sun Dec 10 13:56:34 2017
@@ -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/whati
 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

Index: pkgsrc/devel/spin/PLIST
diff -u pkgsrc/devel/spin/PLIST:1.1.1.1 pkgsrc/devel/spin/PLIST:1.2
--- pkgsrc/devel/spin/PLIST:1.1.1.1     Sun Oct 24 18:54:12 2010
+++ pkgsrc/devel/spin/PLIST     Sun Dec 10 13:56:34 2017
@@ -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

Index: pkgsrc/devel/spin/distinfo
diff -u pkgsrc/devel/spin/distinfo:1.2 pkgsrc/devel/spin/distinfo:1.3
--- pkgsrc/devel/spin/distinfo:1.2      Tue Nov  3 03:29:33 2015
+++ pkgsrc/devel/spin/distinfo  Sun Dec 10 13:56:34 2017
@@ -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