Index: head/devel/spin/Makefile =================================================================== --- head/devel/spin/Makefile (nonexistent) +++ head/devel/spin/Makefile (revision 513892) @@ -0,0 +1,54 @@ +# Created by: jhanna@home.com +# $FreeBSD$ + +PORTNAME= spin +PORTVERSION= 6.5.0 +DISTVERSIONPREFIX= version- +CATEGORIES= devel + +MAINTAINER= greg@unrelenting.technology +COMMENT= On-the-fly verification system for asynchronous concurrent systems + +LICENSE= BSD3CLAUSE +LICENSE_FILE= ${WRKSRC}/Src/LICENSE + +MAKEFILE= makefile +ALL_TARGET= all +MAKE_ARGS= CC="${CC}" CFLAGS="${CFLAGS} -DNXT" + +PORTDOCS= * +PORTEXAMPLES= * + +USE_GITHUB= yes +GH_ACCOUNT= nimble-code +GH_PROJECT= Spin + +OPTIONS_DEFINE= DOCS EXAMPLES ISPIN +OPTIONS_DEFAULT= ISPIN +OPTIONS_SUB= yes +ISPIN_DESC= Install ispin and TCL/Tk dependency +ISPIN_USES= shebangfix tk + +SHEBANG_FILES= optional_gui/ispin.tcl +tk_OLD_CMD= /bin/sh +tk_CMD= ${WISH} -f + +post-patch-ISPIN-on: + ${REINPLACE_CMD} -e "s|exec wish|#exec wish|" ${WRKSRC}/optional_gui/ispin.tcl + +do-install: + ${INSTALL_PROGRAM} ${WRKSRC}/Src/spin ${STAGEDIR}${PREFIX}/bin + ${INSTALL_MAN} ${WRKSRC}/Man/spin.1 ${STAGEDIR}${PREFIX}/man/man1 + +do-install-DOCS-on: + @${MKDIR} ${STAGEDIR}${DOCSDIR} + cd ${WRKSRC}/Doc && ${COPYTREE_SHARE} . ${STAGEDIR}${DOCSDIR} + +do-install-EXAMPLES-on: + @${MKDIR} ${STAGEDIR}${EXAMPLESDIR} + cd ${WRKSRC}/Examples && ${COPYTREE_SHARE} . ${STAGEDIR}${EXAMPLESDIR} + +do-install-ISPIN-on: + ${INSTALL_SCRIPT} ${WRKSRC}/optional_gui/ispin.tcl ${STAGEDIR}${PREFIX}/bin/ispin + +.include Property changes on: head/devel/spin/Makefile ___________________________________________________________________ Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:keywords ## -0,0 +1 ## +FreeBSD=%H \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/devel/spin/distinfo =================================================================== --- head/devel/spin/distinfo (nonexistent) +++ head/devel/spin/distinfo (revision 513892) @@ -0,0 +1,3 @@ +TIMESTAMP = 1570219065 +SHA256 (nimble-code-Spin-version-6.5.0_GH0.tar.gz) = 7bd764793621940b7e69eef8210c82c75ccee7745f24927f221d228260505333 +SIZE (nimble-code-Spin-version-6.5.0_GH0.tar.gz) = 4360118 Property changes on: head/devel/spin/distinfo ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/devel/spin/files/patch-Src_main.c =================================================================== --- head/devel/spin/files/patch-Src_main.c (nonexistent) +++ head/devel/spin/files/patch-Src_main.c (revision 513892) @@ -0,0 +1,20 @@ +--- Src/main.c.orig 2019-10-04 20:09:58 UTC ++++ Src/main.c +@@ -103,7 +103,7 @@ void explain(int); + can later be truncated at that point + */ + #if 1 +- #define CPP "gcc -std=gnu99 -E -x c" /* 6.4.0 new default on all systems */ ++ #define CPP "cc -std=gnu99 -E -x c" /* 6.4.0 new default on all systems */ + /* if gcc-4 is available, this setting is modified below */ + #else + #if defined(PC) || defined(MAC) +@@ -579,7 +579,7 @@ void + preprocess(char *a, char *b, int a_tmp) + { char precmd[1024], cmd[2048]; + int i; +-#ifdef PC ++#if 0 + /* gcc is sometimes a symbolic link to gcc-4 + that does not work well in cygwin, so we try + to use the actual executable that is used. Property changes on: head/devel/spin/files/patch-Src_main.c ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/devel/spin/files/patch-Src_spin.y =================================================================== --- head/devel/spin/files/patch-Src_spin.y (nonexistent) +++ head/devel/spin/files/patch-Src_spin.y (revision 513892) @@ -0,0 +1,10 @@ +--- Src/spin.y.orig 2019-10-04 20:02:16 UTC ++++ Src/spin.y +@@ -13,6 +13,7 @@ + #include + #endif + #include ++#include + + #define YYMAXDEPTH 20000 /* default is 10000 */ + #define YYDEBUG 0 Property changes on: head/devel/spin/files/patch-Src_spin.y ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/devel/spin/pkg-plist =================================================================== --- head/devel/spin/pkg-plist (nonexistent) +++ head/devel/spin/pkg-plist (revision 513892) @@ -0,0 +1,3 @@ +bin/spin +%%ISPIN%%bin/ispin +man/man1/spin.1.gz Property changes on: head/devel/spin/pkg-plist ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/devel/spin/pkg-descr =================================================================== --- head/devel/spin/pkg-descr (nonexistent) +++ head/devel/spin/pkg-descr (revision 513892) @@ -0,0 +1,10 @@ +Spin is an efficient on-the-fly verification system +(a `model checker') for asynchronous concurrent systems, +such as data communication protocols, distributed operating +systems, database systems, etc. +It can be used to prove both safety and liveness properties, +including all correctness requirements expressible in linear +time temporal logic. +Spin uses a high level language to specify systems descriptions, +called PROMELA (PROcess MEta LAnguage). +WWW: http://spinroot.com Property changes on: head/devel/spin/pkg-descr ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property