Tue Jul 11 11:07:05 2023 UTC ()
spin: update to 6.5.2.

No changelog found, couple of years of development.

pkgsrc change: Install examples.


(wiz)
diff -r1.6 -r1.7 pkgsrc/devel/spin/Makefile
diff -r1.2 -r1.3 pkgsrc/devel/spin/PLIST
diff -r1.5 -r1.6 pkgsrc/devel/spin/distinfo
diff -r0 -r1.1 pkgsrc/devel/spin/patches/patch-Src_spin.y
cvs diff -r1.6 -r1.7 pkgsrc/devel/spin/Makefile (expand / switch to unified diff)

--- pkgsrc/devel/spin/Makefile 2017/12/10 14:02:33 1.6
+++ pkgsrc/devel/spin/Makefile 2023/07/11 11:07:05 1.7
@@ -1,25 +1,26 @@ @@ -1,25 +1,26 @@
1# $NetBSD: Makefile,v 1.6 2017/12/10 14:02:33 adam Exp $ 1# $NetBSD: Makefile,v 1.7 2023/07/11 11:07:05 wiz Exp $
2 2
3DISTNAME= spin647 3DISTNAME= spin-6.5.2
4PKGNAME= spin-6.4.7 
5CATEGORIES= devel 4CATEGORIES= devel
6MASTER_SITES= http://spinroot.com/spin/Src/ 5MASTER_SITES= ${MASTER_SITE_GITHUB:=nimble-code/}
 6GITHUB_PROJECT= Spin
 7GITHUB_TAG= version-${PKGVERSION_NOREV}
7 8
8MAINTAINER= agc@NetBSD.org 9MAINTAINER= agc@NetBSD.org
9HOMEPAGE= http://spinroot.com/spin/whatispin.html 10HOMEPAGE= http://spinroot.com/spin/whatispin.html
10COMMENT= Formal correctness prover 11COMMENT= Tool for formal verification of multi-threaded software applications
11LICENSE= modified-bsd 12LICENSE= modified-bsd
12 13
13WRKSRC= ${WRKDIR}/Spin/Src${PKGVERSION_NOREV} 14WRKSRC= ${WRKDIR}/Spin-${GITHUB_TAG}
14USE_TOOLS+= yacc 15USE_TOOLS+= pax yacc
15MAKE_FILE= makefile 16MAKE_FILE= makefile
16MAKE_FLAGS= CC=${CC:Q} 17MAKE_FLAGS= CC=${CC:Q}
17BUILD_TARGET= spin 
18 18
19INSTALLATION_DIRS= bin ${PKGMANDIR}/man1 19INSTALLATION_DIRS= bin ${PKGMANDIR}/man1 share/examples/spin
20 20
21do-install: 21do-install:
22 ${INSTALL_PROGRAM} ${WRKSRC}/spin ${DESTDIR}${PREFIX}/bin/spin 22 ${INSTALL_PROGRAM} ${WRKSRC}/Src/spin ${DESTDIR}${PREFIX}/bin
23 ${INSTALL_MAN} ${WRKDIR}/Spin/Man/spin.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/spin.1 23 ${INSTALL_MAN} ${WRKSRC}/Man/spin.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/spin.1
 24 cd ${WRKSRC}/Examples && ${PAX} -pp -rw * ${DESTDIR}${PREFIX}/share/examples/spin
24 25
25.include "../../mk/bsd.pkg.mk" 26.include "../../mk/bsd.pkg.mk"
cvs diff -r1.2 -r1.3 pkgsrc/devel/spin/PLIST (expand / switch to unified diff)

--- pkgsrc/devel/spin/PLIST 2017/12/10 13:56:34 1.2
+++ pkgsrc/devel/spin/PLIST 2023/07/11 11:07:05 1.3
@@ -1,3 +1,100 @@ @@ -1,3 +1,100 @@
1@comment $NetBSD: PLIST,v 1.2 2017/12/10 13:56:34 adam Exp $ 1@comment $NetBSD: PLIST,v 1.3 2023/07/11 11:07:05 wiz Exp $
2bin/spin 2bin/spin
3man/man1/spin.1 3man/man1/spin.1
 4share/examples/spin/Book_1991/App.F.datalink.h
 5share/examples/spin/Book_1991/App.F.defines.h
 6share/examples/spin/Book_1991/App.F.flow_cl.h
 7share/examples/spin/Book_1991/App.F.fserver.h
 8share/examples/spin/Book_1991/App.F.pftp.pml
 9share/examples/spin/Book_1991/App.F.present.h
 10share/examples/spin/Book_1991/App.F.session.h
 11share/examples/spin/Book_1991/App.F.user.h
 12share/examples/spin/Book_1991/README.txt
 13share/examples/spin/Book_1991/p101.pml
 14share/examples/spin/Book_1991/p102.pml
 15share/examples/spin/Book_1991/p104.1.pml
 16share/examples/spin/Book_1991/p104.2.pml
 17share/examples/spin/Book_1991/p105.1.pml
 18share/examples/spin/Book_1991/p105.2.pml
 19share/examples/spin/Book_1991/p107.pml
 20share/examples/spin/Book_1991/p108.pml
 21share/examples/spin/Book_1991/p116.pml
 22share/examples/spin/Book_1991/p117.pml
 23share/examples/spin/Book_1991/p123.pml
 24share/examples/spin/Book_1991/p248.pml
 25share/examples/spin/Book_1991/p312.pml
 26share/examples/spin/Book_1991/p319.pml
 27share/examples/spin/Book_1991/p320.pml
 28share/examples/spin/Book_1991/p325.test.h
 29share/examples/spin/Book_1991/p327.upper.h
 30share/examples/spin/Book_1991/p329.pml
 31share/examples/spin/Book_1991/p330.pml
 32share/examples/spin/Book_1991/p337.defines2.h
 33share/examples/spin/Book_1991/p337.fserver.h
 34share/examples/spin/Book_1991/p337.pftp.ses.pml
 35share/examples/spin/Book_1991/p337.session.h
 36share/examples/spin/Book_1991/p337.user.h
 37share/examples/spin/Book_1991/p342.pftp.ses1.h
 38share/examples/spin/Book_1991/p343.claim.h
 39share/examples/spin/Book_1991/p347.pftp.ses5.pml
 40share/examples/spin/Book_1991/p347.pres.sim.h
 41share/examples/spin/Book_1991/p347.session.prog.h
 42share/examples/spin/Book_1991/p94.pml
 43share/examples/spin/Book_1991/p95.1.pml
 44share/examples/spin/Book_1991/p95.2.pml
 45share/examples/spin/Book_1991/p96.1.pml
 46share/examples/spin/Book_1991/p96.2.pml
 47share/examples/spin/Book_1991/p97.1.pml
 48share/examples/spin/Book_1991/p97.2.pml
 49share/examples/spin/Book_1991/p99.pml
 50share/examples/spin/Exercises/ex_1a.pml
 51share/examples/spin/Exercises/ex_1f.pml
 52share/examples/spin/Exercises/ex_2.pml
 53share/examples/spin/Exercises/ex_3a.pml
 54share/examples/spin/Exercises/ex_3b.pml
 55share/examples/spin/Exercises/ex_3c.pml
 56share/examples/spin/Exercises/ex_4.pml
 57share/examples/spin/Exercises/ex_5.pml
 58share/examples/spin/Exercises/ex_6.pml
 59share/examples/spin/LTL/bakery.pml
 60share/examples/spin/LTL/diskhead.pml
 61share/examples/spin/LTL/leader.pml
 62share/examples/spin/LTL/leader_pre.pml
 63share/examples/spin/LTL/ltl_always_eventually.pml
 64share/examples/spin/LTL/ltl_example.pml
 65share/examples/spin/LTL/ltl_gen.pml
 66share/examples/spin/LTL/mobile1.pml
 67share/examples/spin/LTL/mobile2.pml
 68share/examples/spin/LTL/patterns.pml
 69share/examples/spin/LTL/petersonN.pml
 70share/examples/spin/LTL/pftp.pml
 71share/examples/spin/LTL/salesman1.pml
 72share/examples/spin/LTL/salesman2.pml
 73share/examples/spin/LTL/train.pml
 74share/examples/spin/LTL/zune.pml
 75share/examples/spin/README_tests.txt
 76share/examples/spin/abp.pml
 77share/examples/spin/calculator.pml
 78share/examples/spin/cambridge.pml
 79share/examples/spin/dtp.pml
 80share/examples/spin/eratosthenes.pml
 81share/examples/spin/for_example.pml
 82share/examples/spin/for_select_example.pml
 83share/examples/spin/hajek.pml
 84share/examples/spin/hello.pml
 85share/examples/spin/leader0.pml
 86share/examples/spin/leader_trace.pml
 87share/examples/spin/life.pml
 88share/examples/spin/loops.pml
 89share/examples/spin/manna_pnueli.pml
 90share/examples/spin/pathfinder.pml
 91share/examples/spin/peterson.pml
 92share/examples/spin/priorities.pml
 93share/examples/spin/rtos1.pml
 94share/examples/spin/sat.pml
 95share/examples/spin/snoopy.pml
 96share/examples/spin/sort.pml
 97share/examples/spin/test_mtype.pml
 98share/examples/spin/welfare.pml
 99share/examples/spin/werkplaats.pml
 100share/examples/spin/wordcount.pml
cvs diff -r1.5 -r1.6 pkgsrc/devel/spin/distinfo (expand / switch to unified diff)

--- pkgsrc/devel/spin/distinfo 2021/10/26 10:19:57 1.5
+++ pkgsrc/devel/spin/distinfo 2023/07/11 11:07:05 1.6
@@ -1,5 +1,6 @@ @@ -1,5 +1,6 @@
1$NetBSD: distinfo,v 1.5 2021/10/26 10:19:57 nia Exp $ 1$NetBSD: distinfo,v 1.6 2023/07/11 11:07:05 wiz Exp $
2 2
3BLAKE2s (spin647.tar.gz) = c7c79259aac7c63706bbe273db3d84f2dc7978e61254ac214bacd97bdb964a9e 3BLAKE2s (spin-6.5.2.tar.gz) = 31c2467744b85c94825e44882423483e213110b00618061c60956c10593df74b
4SHA512 (spin647.tar.gz) = da8a28e4fa024e40beb813f78cd001a6e17ff19636b4a946dff08c7ab999f7fd2f21e532a9610861f0530fd5d0c68685bbaa5a2b5bc65ad2c14cf8a46324c65c 4SHA512 (spin-6.5.2.tar.gz) = ff1d378076995fa5a8b66dd31d19d8bad6296b968183180251d267c926c20775edda927a31f466199e01231f6233c3a5166fd51ec44b02d570070e857d8ba7f9
5Size (spin647.tar.gz) = 515131 bytes 5Size (spin-6.5.2.tar.gz) = 6084903 bytes
 6SHA1 (patch-Src_spin.y) = 13b7272873cac718b9d7af2f14f2498e770284ab
File Added: pkgsrc/devel/spin/patches/patch-Src_spin.y
$NetBSD: patch-Src_spin.y,v 1.1 2023/07/11 11:07:05 wiz Exp $

Add header for free().
https://github.com/nimble-code/Spin/commit/65b04bb72363583be496e6ce51de9a5d0d4cd5a0

--- Src/spin.y.orig	2019-12-06 21:02:43.000000000 +0000
+++ Src/spin.y
@@ -13,6 +13,7 @@
 #include <unistd.h>
 #endif
 #include <stdarg.h>
+#include <stdlib.h>
 
 #define YYMAXDEPTH	20000	/* default is 10000 */
 #define YYDEBUG		0