Index: head/devel/spin/Makefile =================================================================== --- head/devel/spin/Makefile (revision 374973) +++ head/devel/spin/Makefile (revision 374974) @@ -1,53 +1,53 @@ # Created by: jhanna@home.com # $FreeBSD$ PORTNAME= spin -PORTVERSION= 6.4.2 +PORTVERSION= 6.4.3 CATEGORIES= devel MASTER_SITES= http://spinroot.com/spin/Src/ DISTNAME= spin${PORTVERSION:S/.//g} MAINTAINER= antont@inbox.lv COMMENT= On-the-fly verification system for asynchronous concurrent systems OPTIONS_DEFINE= ISPIN DOCS OPTIONS_DEFAULT= ISPIN ISPIN_DESC= Install xspin and TCL/Tk dependency .include .if ${PORT_OPTIONS:MISPIN} USES= shebangfix tk SHEBANG_FILES= ../iSpin/ispin.tcl tk_OLD_CMD= /bin/sh tk_CMD= ${WISH} -f PLIST_SUB+= ISPIN="" .else PLIST_SUB+= ISPIN="@comment " .endif DIST_SUBDIR= spin WRKSRC= ${WRKDIR}/Spin/Src${PORTVERSION} MAKEFILE= makefile ALL_TARGET= spin MAKE_ARGS= CC="${CC}" CFLAGS="${CFLAGS} -DNXT" post-patch: ${REINPLACE_CMD} -e "s|exec wish|#exec wish|" ${WRKDIR}/Spin/iSpin/ispin.tcl do-install: ${INSTALL_PROGRAM} ${WRKSRC}/spin ${STAGEDIR}${PREFIX}/bin ${INSTALL_SCRIPT} ${WRKSRC}/../iSpin/ispin.tcl ${STAGEDIR}${PREFIX}/bin/ispin ${MKDIR} ${STAGEDIR}${DOCSDIR}/Doc ${MKDIR} ${STAGEDIR}${DOCSDIR}/Examples ${MKDIR} ${STAGEDIR}${DOCSDIR}/Examples/Book_1991 ${MKDIR} ${STAGEDIR}${DOCSDIR}/Examples/Exercises ${MKDIR} ${STAGEDIR}${DOCSDIR}/Examples/LTL ${INSTALL_DATA} ${WRKDIR}/Spin/Doc/* ${STAGEDIR}${DOCSDIR}/Doc (cd ${WRKDIR}/Spin/Examples && ${FIND} . -type f | ${CPIO} -pdm ${STAGEDIR}${DOCSDIR}/Examples) (cd ${WRKDIR}/Spin/Examples/Book_1991 && ${FIND} . -type f | ${CPIO} -pdm ${STAGEDIR}${DOCSDIR}/Examples/Book_1991) (cd ${WRKDIR}/Spin/Examples/Exercises && ${FIND} . -type f | ${CPIO} -pdm ${STAGEDIR}${DOCSDIR}/Examples/Exercises) (cd ${WRKDIR}/Spin/Examples/LTL && ${FIND} . -type f | ${CPIO} -pdm ${STAGEDIR}${DOCSDIR}/Examples/LTL) ${INSTALL_MAN} ${WRKDIR}/Spin/Man/spin.1 ${STAGEDIR}${PREFIX}/man/man1 .include Index: head/devel/spin/distinfo =================================================================== --- head/devel/spin/distinfo (revision 374973) +++ head/devel/spin/distinfo (revision 374974) @@ -1,2 +1,2 @@ -SHA256 (spin/spin642.tar.gz) = d1f3ee841db0da7ba02fe1a04ebd02d316c0760ab8125616d7d2ff46f1c573e5 -SIZE (spin/spin642.tar.gz) = 571071 +SHA256 (spin/spin643.tar.gz) = c1d28254332a797c1788edf6bd6f42ddb95b46011d74763581941aee76878d32 +SIZE (spin/spin643.tar.gz) = 572960 Index: head/devel/spin/pkg-plist =================================================================== --- head/devel/spin/pkg-plist (revision 374973) +++ head/devel/spin/pkg-plist (revision 374974) @@ -1,118 +1,119 @@ bin/spin %%ISPIN%%bin/ispin man/man1/spin.1.gz %%PORTDOCS%%%%DOCSDIR%%/Doc/1_Exercises.html %%PORTDOCS%%%%DOCSDIR%%/Doc/3_SpinGUI.html %%PORTDOCS%%%%DOCSDIR%%/Doc/4_SpinVerification.html %%PORTDOCS%%%%DOCSDIR%%/Doc/Book1991_Ch6_add.txt %%PORTDOCS%%%%DOCSDIR%%/Doc/Book1991_Errata.txt %%PORTDOCS%%%%DOCSDIR%%/Doc/Book1991_answers.txt %%PORTDOCS%%%%DOCSDIR%%/Doc/Book2003_Errata.html %%PORTDOCS%%%%DOCSDIR%%/Doc/Intro.html %%PORTDOCS%%%%DOCSDIR%%/Doc/Manual.html %%PORTDOCS%%%%DOCSDIR%%/Doc/Pan.html %%PORTDOCS%%%%DOCSDIR%%/Doc/Quick.html %%PORTDOCS%%%%DOCSDIR%%/Doc/README.html %%PORTDOCS%%%%DOCSDIR%%/Doc/Spin.html %%PORTDOCS%%%%DOCSDIR%%/Doc/V1.Updates %%PORTDOCS%%%%DOCSDIR%%/Doc/V2.Updates %%PORTDOCS%%%%DOCSDIR%%/Doc/V3.Updates %%PORTDOCS%%%%DOCSDIR%%/Doc/V4.Updates %%PORTDOCS%%%%DOCSDIR%%/Doc/V5.Updates %%PORTDOCS%%%%DOCSDIR%%/Doc/V6.Updates %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.datalink.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.defines.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.flow_cl.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.fserver.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.pftp.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.present.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.session.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/App.F.user.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/README.txt %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p101.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p102.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p104.1.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p104.2.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p105.1.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p105.2.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p107.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p108.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p116.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p117.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p123.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p248.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p312.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p319.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p320.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p325.test.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p327.upper.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p329.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p330.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p337.defines2.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p337.fserver.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p337.pftp.ses.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p337.session.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p337.user.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p342.pftp.ses1.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p343.claim.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p347.pftp.ses5.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p347.pres.sim.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p347.session.prog.h %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p94.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p95.1.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p95.2.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p96.1.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p96.2.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p97.1.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p97.2.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Book_1991/p99.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_1a.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_1f.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_2.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_3a.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_3b.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_3c.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_4.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_5.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/Exercises/ex_6.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/bakery.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/diskhead.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/leader.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/leader_pre.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/ltl_always_eventually.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/ltl_example.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/ltl_gen.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/mobile1.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/mobile2.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/patterns.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/petersonN.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/pftp.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/salesman1.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/salesman2.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/train.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/zune.pml +%%PORTDOCS%%%%DOCSDIR%%/Examples/LTL/_spin_nvr.tmp %%PORTDOCS%%%%DOCSDIR%%/Examples/README_tests.txt %%PORTDOCS%%%%DOCSDIR%%/Examples/abp.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/calculator.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/cambridge.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/dtp.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/eratosthenes.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/for_example.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/for_select_example.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/hajek.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/hello.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/leader0.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/leader_trace.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/life.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/loops.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/manna_pnueli.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/pathfinder.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/peterson.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/priorities.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/rtos1.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/sat.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/snoopy.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/sort.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/welfare.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/werkplaats.pml %%PORTDOCS%%%%DOCSDIR%%/Examples/wordcount.pml