Received: by mail.netbsd.org (Postfix, from userid 605) id 2B3FB84D74; Sun, 10 Dec 2017 13:56:44 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id AB35284D70 for ; Sun, 10 Dec 2017 13:56:43 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([127.0.0.1]) by localhost (mail.netbsd.org [127.0.0.1]) (amavisd-new, port 10025) with ESMTP id Yua-If89NBTj for ; Sun, 10 Dec 2017 13:56:43 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id 270A184D40 for ; Sun, 10 Dec 2017 13:56:43 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id 6FCA7FB40; Sun, 10 Dec 2017 13:56:34 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1512914194253470" MIME-Version: 1.0 Date: Sun, 10 Dec 2017 13:56:34 +0000 From: "Adam Ciarcinski" Subject: CVS commit: pkgsrc/devel/spin To: pkgsrc-changes@NetBSD.org Reply-To: adam@netbsd.org X-Mailer: log_accum Message-Id: <20171210135634.6FCA7FB40@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: pkgsrc-changes.NetBSD.org Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1512914194253470 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" 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. --_----------=_1512914194253470 Content-Disposition: inline Content-Length: 2539 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii 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 --_----------=_1512914194253470--