diff options
Diffstat (limited to 'math/spin')
| -rw-r--r-- | math/spin/Makefile | 16 | ||||
| -rw-r--r-- | math/spin/distinfo | 4 | ||||
| -rw-r--r-- | math/spin/files/patch-aa | 4 | ||||
| -rw-r--r-- | math/spin/files/patch-ab | 12 | ||||
| -rw-r--r-- | math/spin/files/patch-ac | 11 | ||||
| -rw-r--r-- | math/spin/pkg-descr | 2 | ||||
| -rw-r--r-- | math/spin/pkg-plist | 5 |
7 files changed, 35 insertions, 19 deletions
diff --git a/math/spin/Makefile b/math/spin/Makefile index f3e73db..8768277 100644 --- a/math/spin/Makefile +++ b/math/spin/Makefile @@ -1,23 +1,23 @@ # Ports collection makefile for: spin -# Version required: 3.24 +# Version required: 3.3.0 # Date created: Oct 23, 1997 # Whom: jhanna@home.com # -# $Id: Makefile,v 1.1.1.1 1998/12/12 22:17:48 jseger Exp $ +# $Id: Makefile,v 1.2 1999/02/12 02:48:55 asami Exp $ # -DISTNAME= spin-3.24 +DISTNAME= spin-3.30 CATEGORIES= math MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \ ftp://www.netlib.org/spin/ \ ftp://www.enseeiht.fr/NetLib/spin/ \ ftp://wcarchive.cdrom.com/netlib/spin/ -DISTFILES= spin324.tar.gz html.tar.gz +DISTFILES= spin330.tar.gz html.tar.gz MAINTAINER= jhanna@home.com DIST_SUBDIR= spin -WRKSRC= ${WRKDIR}/Src3.2 +WRKSRC= ${WRKDIR}/Src3.3 MAKEFILE= makefile ALL_TARGET= spin @@ -29,9 +29,9 @@ pre-build: do-install: ${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin - ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.2/xspin324.tcl ${PREFIX}/bin + ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.3/xspin330.tcl ${PREFIX}/bin ${RM} -f ${PREFIX}/bin/xspin - ln -s ${PREFIX}/bin/xspin324.tcl ${PREFIX}/bin/xspin + ln -s ${PREFIX}/bin/xspin330.tcl ${PREFIX}/bin/xspin .if !defined(NOPORTDOCS) ${MKDIR} ${PREFIX}/share/doc/spin/Doc @@ -42,7 +42,7 @@ do-install: ${INSTALL_DATA} ${WRKDIR}/Test/ex.* ${PREFIX}/share/doc/spin/Examples ${INSTALL_DATA} ${WRKDIR}/HTML/* ${PREFIX}/share/doc/spin/HTML .for i in README.tests abp erathostenes hello leader leader.ltl leader2 \ - loops pathfinder peterson pftp priorities snoopy sort + loops pathfinder peterson petersonN pftp priorities snoopy sort ${INSTALL_DATA} ${WRKDIR}/Test/$i ${PREFIX}/share/doc/spin/Test .endfor .endif diff --git a/math/spin/distinfo b/math/spin/distinfo index a51a416..c598a32 100644 --- a/math/spin/distinfo +++ b/math/spin/distinfo @@ -1,2 +1,2 @@ -MD5 (spin/spin324.tar.gz) = 0c33f508099c5cfd502916ec570c2952 -MD5 (spin/html.tar.gz) = 497775584f1d4b55b1d3041311c3d947 +MD5 (spin/spin330.tar.gz) = 976613a7a02486d8daca4cd2cf6a3886 +MD5 (spin/html.tar.gz) = 66686c33ab6213819fa08d41ed17bf8e diff --git a/math/spin/files/patch-aa b/math/spin/files/patch-aa index b67c3d8..7a270f9 100644 --- a/math/spin/files/patch-aa +++ b/math/spin/files/patch-aa @@ -1,5 +1,5 @@ ---- ../Xspin3.2/xspin324.tcl.orig Wed Jan 27 12:23:13 1999 -+++ ../Xspin3.2/xspin324.tcl Wed Jan 27 12:23:32 1999 +--- ../Xspin3.3/xspin330.tcl.orig Wed Jun 23 18:29:29 1999 ++++ ../Xspin3.3/xspin330.tcl Wed Jun 23 18:30:51 1999 @@ -1,4 +1,4 @@ -#!/usr/local/bin/wish -f +#!/usr/local/bin/wish8.0 -f diff --git a/math/spin/files/patch-ab b/math/spin/files/patch-ab index 1fa5be4..3c53dab 100644 --- a/math/spin/files/patch-ab +++ b/math/spin/files/patch-ab @@ -1,12 +1,12 @@ ---- makefile.orig Wed Jan 27 12:28:31 1999 -+++ makefile Wed Jan 27 12:29:14 1999 -@@ -9,8 +9,8 @@ - # 1991, Prentice Hall, Englewood Cliffs, NJ, 07632 +--- makefile.orig Wed Jun 23 18:26:14 1999 ++++ makefile Wed Jun 23 18:27:41 1999 +@@ -10,8 +10,8 @@ # Send bug-reports and/or questions to: gerard@research.bell-labs.com + # The book is available frm www.amazon.com --CC=gcc -g # or any other ansi compatible c compiler +-CC=gcc -O2 -DNXT # or any other ansi compatible c compiler -CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include -+# CC=gcc -g # or any other ansi compatible c compiler ++# CC=gcc -O2 -DNXT # or any other ansi compatible c compiler +# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include # on Solaris: add -DSOLARIS diff --git a/math/spin/files/patch-ac b/math/spin/files/patch-ac new file mode 100644 index 0000000..fd8fa7d --- /dev/null +++ b/math/spin/files/patch-ac @@ -0,0 +1,11 @@ +--- ps_msc.c.orig Wed Jun 23 19:32:24 1999 ++++ ps_msc.c Wed Jun 23 19:33:57 1999 +@@ -13,7 +13,7 @@ + + #include "spin.h" + #include "version.h" +-#include <malloc.h> ++#include <stdlib.h> + + static char *PsPre[] = { + "%%%%Pages: (atend)", diff --git a/math/spin/pkg-descr b/math/spin/pkg-descr index 5cd5f83..44738f1 100644 --- a/math/spin/pkg-descr +++ b/math/spin/pkg-descr @@ -5,3 +5,5 @@ 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). diff --git a/math/spin/pkg-plist b/math/spin/pkg-plist index 6d4ca01..0f6a1e3 100644 --- a/math/spin/pkg-plist +++ b/math/spin/pkg-plist @@ -1,6 +1,6 @@ bin/spin bin/xspin -bin/xspin324.tcl +bin/xspin330.tcl share/doc/spin/Doc/Book.Ch6.add share/doc/spin/Doc/Book.Errata share/doc/spin/Doc/Book.answers @@ -69,6 +69,7 @@ share/doc/spin/HTML/init.html share/doc/spin/HTML/inline.html share/doc/spin/HTML/labels.html share/doc/spin/HTML/len.html +share/doc/spin/HTML/local.html share/doc/spin/HTML/ltl.html share/doc/spin/HTML/macros.html share/doc/spin/HTML/mtype.html @@ -99,6 +100,7 @@ share/doc/spin/HTML/separators.html share/doc/spin/HTML/sequence.html share/doc/spin/HTML/show.html share/doc/spin/HTML/skip.html +share/doc/spin/HTML/stdin.html share/doc/spin/HTML/timeout.html share/doc/spin/HTML/trace.html share/doc/spin/HTML/true.html @@ -116,6 +118,7 @@ share/doc/spin/Test/leader2 share/doc/spin/Test/loops share/doc/spin/Test/pathfinder share/doc/spin/Test/peterson +share/doc/spin/Test/petersonN share/doc/spin/Test/pftp share/doc/spin/Test/priorities share/doc/spin/Test/snoopy |
