CVS commit: pkgsrc/devel/spin

To: pkgsrc-changes%NetBSD.org@localhost
Subject: CVS commit: pkgsrc/devel/spin
From: "Thomas Klausner" <wiz%netbsd.org@localhost>
Date: Tue, 11 Jul 2023 11:07:05 +0000

Module Name:    pkgsrc
Committed By:   wiz
Date:           Tue Jul 11 11:07:05 UTC 2023

Modified Files:
        pkgsrc/devel/spin: Makefile PLIST distinfo
Added Files:
        pkgsrc/devel/spin/patches: patch-Src_spin.y

Log Message:
spin: update to 6.5.2.

No changelog found, couple of years of development.

pkgsrc change: Install examples.


To generate a diff of this commit:
cvs rdiff -u -r1.6 -r1.7 pkgsrc/devel/spin/Makefile
cvs rdiff -u -r1.2 -r1.3 pkgsrc/devel/spin/PLIST
cvs rdiff -u -r1.5 -r1.6 pkgsrc/devel/spin/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/devel/spin/patches/patch-Src_spin.y

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.6 pkgsrc/devel/spin/Makefile:1.7
--- pkgsrc/devel/spin/Makefile:1.6      Sun Dec 10 14:02:33 2017
+++ pkgsrc/devel/spin/Makefile  Tue Jul 11 11:07:05 2023
@@ -1,25 +1,26 @@
-# $NetBSD: Makefile,v 1.6 2017/12/10 14:02:33 adam Exp $
+# $NetBSD: Makefile,v 1.7 2023/07/11 11:07:05 wiz Exp $
 
-DISTNAME=      spin647
-PKGNAME=       spin-6.4.7
+DISTNAME=      spin-6.5.2
 CATEGORIES=    devel
-MASTER_SITES=  http://spinroot.com/spin/Src/
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=nimble-code/}
+GITHUB_PROJECT=        Spin
+GITHUB_TAG=    version-${PKGVERSION_NOREV}
 
 MAINTAINER=    agc%NetBSD.org@localhost
 HOMEPAGE=      http://spinroot.com/spin/whatispin.html
-COMMENT=       Formal correctness prover
+COMMENT=       Tool for formal verification of multi-threaded software applications
 LICENSE=       modified-bsd
 
-WRKSRC=                ${WRKDIR}/Spin/Src${PKGVERSION_NOREV}
-USE_TOOLS+=    yacc
+WRKSRC=                ${WRKDIR}/Spin-${GITHUB_TAG}
+USE_TOOLS+=    pax yacc
 MAKE_FILE=     makefile
 MAKE_FLAGS=    CC=${CC:Q}
-BUILD_TARGET=  spin
 
-INSTALLATION_DIRS=     bin ${PKGMANDIR}/man1
+INSTALLATION_DIRS=     bin ${PKGMANDIR}/man1 share/examples/spin
 
 do-install:
-       ${INSTALL_PROGRAM} ${WRKSRC}/spin ${DESTDIR}${PREFIX}/bin/spin
-       ${INSTALL_MAN} ${WRKDIR}/Spin/Man/spin.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/spin.1
+       ${INSTALL_PROGRAM} ${WRKSRC}/Src/spin ${DESTDIR}${PREFIX}/bin
+       ${INSTALL_MAN} ${WRKSRC}/Man/spin.1 ${DESTDIR}${PREFIX}/${PKGMANDIR}/man1/spin.1
+       cd ${WRKSRC}/Examples && ${PAX} -pp -rw * ${DESTDIR}${PREFIX}/share/examples/spin
 
 .include "../../mk/bsd.pkg.mk"

Index: pkgsrc/devel/spin/PLIST
diff -u pkgsrc/devel/spin/PLIST:1.2 pkgsrc/devel/spin/PLIST:1.3
--- pkgsrc/devel/spin/PLIST:1.2 Sun Dec 10 13:56:34 2017
+++ pkgsrc/devel/spin/PLIST     Tue Jul 11 11:07:05 2023
@@ -1,3 +1,100 @@
-@comment $NetBSD: PLIST,v 1.2 2017/12/10 13:56:34 adam Exp $
+@comment $NetBSD: PLIST,v 1.3 2023/07/11 11:07:05 wiz Exp $
 bin/spin
 man/man1/spin.1
+share/examples/spin/Book_1991/App.F.datalink.h
+share/examples/spin/Book_1991/App.F.defines.h
+share/examples/spin/Book_1991/App.F.flow_cl.h
+share/examples/spin/Book_1991/App.F.fserver.h
+share/examples/spin/Book_1991/App.F.pftp.pml
+share/examples/spin/Book_1991/App.F.present.h
+share/examples/spin/Book_1991/App.F.session.h
+share/examples/spin/Book_1991/App.F.user.h
+share/examples/spin/Book_1991/README.txt
+share/examples/spin/Book_1991/p101.pml
+share/examples/spin/Book_1991/p102.pml
+share/examples/spin/Book_1991/p104.1.pml
+share/examples/spin/Book_1991/p104.2.pml
+share/examples/spin/Book_1991/p105.1.pml
+share/examples/spin/Book_1991/p105.2.pml
+share/examples/spin/Book_1991/p107.pml
+share/examples/spin/Book_1991/p108.pml
+share/examples/spin/Book_1991/p116.pml
+share/examples/spin/Book_1991/p117.pml
+share/examples/spin/Book_1991/p123.pml
+share/examples/spin/Book_1991/p248.pml
+share/examples/spin/Book_1991/p312.pml
+share/examples/spin/Book_1991/p319.pml
+share/examples/spin/Book_1991/p320.pml
+share/examples/spin/Book_1991/p325.test.h
+share/examples/spin/Book_1991/p327.upper.h
+share/examples/spin/Book_1991/p329.pml
+share/examples/spin/Book_1991/p330.pml
+share/examples/spin/Book_1991/p337.defines2.h
+share/examples/spin/Book_1991/p337.fserver.h
+share/examples/spin/Book_1991/p337.pftp.ses.pml
+share/examples/spin/Book_1991/p337.session.h
+share/examples/spin/Book_1991/p337.user.h
+share/examples/spin/Book_1991/p342.pftp.ses1.h
+share/examples/spin/Book_1991/p343.claim.h
+share/examples/spin/Book_1991/p347.pftp.ses5.pml
+share/examples/spin/Book_1991/p347.pres.sim.h
+share/examples/spin/Book_1991/p347.session.prog.h
+share/examples/spin/Book_1991/p94.pml
+share/examples/spin/Book_1991/p95.1.pml
+share/examples/spin/Book_1991/p95.2.pml
+share/examples/spin/Book_1991/p96.1.pml
+share/examples/spin/Book_1991/p96.2.pml
+share/examples/spin/Book_1991/p97.1.pml
+share/examples/spin/Book_1991/p97.2.pml
+share/examples/spin/Book_1991/p99.pml
+share/examples/spin/Exercises/ex_1a.pml
+share/examples/spin/Exercises/ex_1f.pml
+share/examples/spin/Exercises/ex_2.pml
+share/examples/spin/Exercises/ex_3a.pml
+share/examples/spin/Exercises/ex_3b.pml
+share/examples/spin/Exercises/ex_3c.pml
+share/examples/spin/Exercises/ex_4.pml
+share/examples/spin/Exercises/ex_5.pml
+share/examples/spin/Exercises/ex_6.pml
+share/examples/spin/LTL/bakery.pml
+share/examples/spin/LTL/diskhead.pml
+share/examples/spin/LTL/leader.pml
+share/examples/spin/LTL/leader_pre.pml
+share/examples/spin/LTL/ltl_always_eventually.pml
+share/examples/spin/LTL/ltl_example.pml
+share/examples/spin/LTL/ltl_gen.pml
+share/examples/spin/LTL/mobile1.pml
+share/examples/spin/LTL/mobile2.pml
+share/examples/spin/LTL/patterns.pml
+share/examples/spin/LTL/petersonN.pml
+share/examples/spin/LTL/pftp.pml
+share/examples/spin/LTL/salesman1.pml
+share/examples/spin/LTL/salesman2.pml
+share/examples/spin/LTL/train.pml
+share/examples/spin/LTL/zune.pml
+share/examples/spin/README_tests.txt
+share/examples/spin/abp.pml
+share/examples/spin/calculator.pml
+share/examples/spin/cambridge.pml
+share/examples/spin/dtp.pml
+share/examples/spin/eratosthenes.pml
+share/examples/spin/for_example.pml
+share/examples/spin/for_select_example.pml
+share/examples/spin/hajek.pml
+share/examples/spin/hello.pml
+share/examples/spin/leader0.pml
+share/examples/spin/leader_trace.pml
+share/examples/spin/life.pml
+share/examples/spin/loops.pml
+share/examples/spin/manna_pnueli.pml
+share/examples/spin/pathfinder.pml
+share/examples/spin/peterson.pml
+share/examples/spin/priorities.pml
+share/examples/spin/rtos1.pml
+share/examples/spin/sat.pml
+share/examples/spin/snoopy.pml
+share/examples/spin/sort.pml
+share/examples/spin/test_mtype.pml
+share/examples/spin/welfare.pml
+share/examples/spin/werkplaats.pml
+share/examples/spin/wordcount.pml

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

Added files:

Index: pkgsrc/devel/spin/patches/patch-Src_spin.y
diff -u /dev/null pkgsrc/devel/spin/patches/patch-Src_spin.y:1.1
--- /dev/null   Tue Jul 11 11:07:05 2023
+++ pkgsrc/devel/spin/patches/patch-Src_spin.y  Tue Jul 11 11:07:05 2023
@@ -0,0 +1,15 @@
+$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

Prev by Date: CVS commit: pkgsrc/security/gnupg2
Next by Date: CVS commit: pkgsrc/doc
Previous by Thread: CVS commit: pkgsrc/security/gnupg2
Next by Thread: CVS commit: pkgsrc/doc
Indexes:

Home | Main Index | Thread Index | Old Index