mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-11 02:50:24 +00:00
Code Issues Releases Activity

Update spin to 3.30.

Browse Source 
PR:	12373
Submitted by:	maintainer
This commit is contained in:
Chris Piazza 1999-06-25 03:51:43 +00:00
parent 7f1d21d66f
commit df0bac14de
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=19757
14 changed files with 70 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
devel/spin/Makefile
View File

@ -1,23 +1,23 @@
# Ports collection makefile for: spin # Ports collection makefile for: spin
# Version required: 3.24 # Version required: 3.3.0
# Date created: Oct 23, 1997 # Date created: Oct 23, 1997
# Whom: jhanna@home.com # 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 CATEGORIES= math
MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \ MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \
ftp://www.netlib.org/spin/ \ ftp://www.netlib.org/spin/ \
ftp://www.enseeiht.fr/NetLib/spin/ \ ftp://www.enseeiht.fr/NetLib/spin/ \
ftp://wcarchive.cdrom.com/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 MAINTAINER= jhanna@home.com
DIST_SUBDIR= spin DIST_SUBDIR= spin
WRKSRC= ${WRKDIR}/Src3.2 WRKSRC= ${WRKDIR}/Src3.3
MAKEFILE= makefile MAKEFILE= makefile
ALL_TARGET= spin ALL_TARGET= spin
@ -29,9 +29,9 @@ pre-build:
do-install: do-install:
${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin ${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 ${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) .if !defined(NOPORTDOCS)
${MKDIR} ${PREFIX}/share/doc/spin/Doc ${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}/Test/ex.* ${PREFIX}/share/doc/spin/Examples
${INSTALL_DATA} ${WRKDIR}/HTML/* ${PREFIX}/share/doc/spin/HTML ${INSTALL_DATA} ${WRKDIR}/HTML/* ${PREFIX}/share/doc/spin/HTML
.for i in README.tests abp erathostenes hello leader leader.ltl leader2 \ .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 ${INSTALL_DATA} ${WRKDIR}/Test/$i ${PREFIX}/share/doc/spin/Test
.endfor .endfor
.endif .endif

4
devel/spin/distinfo
View File

@ -1,2 +1,2 @@
MD5 (spin/spin324.tar.gz) = 0c33f508099c5cfd502916ec570c2952 MD5 (spin/spin330.tar.gz) = 976613a7a02486d8daca4cd2cf6a3886
MD5 (spin/html.tar.gz) = 497775584f1d4b55b1d3041311c3d947 MD5 (spin/html.tar.gz) = 66686c33ab6213819fa08d41ed17bf8e

4
devel/spin/files/patch-aa
View File

@ -1,5 +1,5 @@
--- ../Xspin3.2/xspin324.tcl.orig Wed Jan 27 12:23:13 1999 --- ../Xspin3.3/xspin330.tcl.orig Wed Jun 23 18:29:29 1999
+++ ../Xspin3.2/xspin324.tcl Wed Jan 27 12:23:32 1999 +++ ../Xspin3.3/xspin330.tcl Wed Jun 23 18:30:51 1999
@@ -1,4 +1,4 @@ @@ -1,4 +1,4 @@
-#!/usr/local/bin/wish -f -#!/usr/local/bin/wish -f
+#!/usr/local/bin/wish8.0 -f +#!/usr/local/bin/wish8.0 -f

12
devel/spin/files/patch-ab
View File

@ -1,12 +1,12 @@
--- makefile.orig Wed Jan 27 12:28:31 1999 --- makefile.orig Wed Jun 23 18:26:14 1999
+++ makefile Wed Jan 27 12:29:14 1999 +++ makefile Wed Jun 23 18:27:41 1999
@@ -9,8 +9,8 @@ @@ -10,8 +10,8 @@
# 1991, Prentice Hall, Englewood Cliffs, NJ, 07632
# Send bug-reports and/or questions to: gerard@research.bell-labs.com # 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 -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 +# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include
# on Solaris: add -DSOLARIS # on Solaris: add -DSOLARIS

11
devel/spin/files/patch-ac Normal file
View File

@ -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)",

2
devel/spin/pkg-descr
View File

@ -5,3 +5,5 @@ systems, database systems, etc.
It can be used to prove both safety and liveness properties, It can be used to prove both safety and liveness properties,
including all correctness requirements expressible in linear including all correctness requirements expressible in linear
time temporal logic. time temporal logic.
Spin uses a high level language to specify systems descriptions,
called PROMELA (PROcess MEta LAnguage).

5
devel/spin/pkg-plist
View File

@ -1,6 +1,6 @@
bin/spin bin/spin
bin/xspin bin/xspin
bin/xspin324.tcl bin/xspin330.tcl
share/doc/spin/Doc/Book.Ch6.add share/doc/spin/Doc/Book.Ch6.add
share/doc/spin/Doc/Book.Errata share/doc/spin/Doc/Book.Errata
share/doc/spin/Doc/Book.answers 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/inline.html
share/doc/spin/HTML/labels.html share/doc/spin/HTML/labels.html
share/doc/spin/HTML/len.html share/doc/spin/HTML/len.html
share/doc/spin/HTML/local.html
share/doc/spin/HTML/ltl.html share/doc/spin/HTML/ltl.html
share/doc/spin/HTML/macros.html share/doc/spin/HTML/macros.html
share/doc/spin/HTML/mtype.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/sequence.html
share/doc/spin/HTML/show.html share/doc/spin/HTML/show.html
share/doc/spin/HTML/skip.html share/doc/spin/HTML/skip.html
share/doc/spin/HTML/stdin.html
share/doc/spin/HTML/timeout.html share/doc/spin/HTML/timeout.html
share/doc/spin/HTML/trace.html share/doc/spin/HTML/trace.html
share/doc/spin/HTML/true.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/loops
share/doc/spin/Test/pathfinder share/doc/spin/Test/pathfinder
share/doc/spin/Test/peterson share/doc/spin/Test/peterson
share/doc/spin/Test/petersonN
share/doc/spin/Test/pftp share/doc/spin/Test/pftp
share/doc/spin/Test/priorities share/doc/spin/Test/priorities
share/doc/spin/Test/snoopy share/doc/spin/Test/snoopy

16
math/spin/Makefile
View File

@ -1,23 +1,23 @@
# Ports collection makefile for: spin # Ports collection makefile for: spin
# Version required: 3.24 # Version required: 3.3.0
# Date created: Oct 23, 1997 # Date created: Oct 23, 1997
# Whom: jhanna@home.com # 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 CATEGORIES= math
MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \ MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \
ftp://www.netlib.org/spin/ \ ftp://www.netlib.org/spin/ \
ftp://www.enseeiht.fr/NetLib/spin/ \ ftp://www.enseeiht.fr/NetLib/spin/ \
ftp://wcarchive.cdrom.com/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 MAINTAINER= jhanna@home.com
DIST_SUBDIR= spin DIST_SUBDIR= spin
WRKSRC= ${WRKDIR}/Src3.2 WRKSRC= ${WRKDIR}/Src3.3
MAKEFILE= makefile MAKEFILE= makefile
ALL_TARGET= spin ALL_TARGET= spin
@ -29,9 +29,9 @@ pre-build:
do-install: do-install:
${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin ${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 ${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) .if !defined(NOPORTDOCS)
${MKDIR} ${PREFIX}/share/doc/spin/Doc ${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}/Test/ex.* ${PREFIX}/share/doc/spin/Examples
${INSTALL_DATA} ${WRKDIR}/HTML/* ${PREFIX}/share/doc/spin/HTML ${INSTALL_DATA} ${WRKDIR}/HTML/* ${PREFIX}/share/doc/spin/HTML
.for i in README.tests abp erathostenes hello leader leader.ltl leader2 \ .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 ${INSTALL_DATA} ${WRKDIR}/Test/$i ${PREFIX}/share/doc/spin/Test
.endfor .endfor
.endif .endif

4
math/spin/distinfo
View File

@ -1,2 +1,2 @@
MD5 (spin/spin324.tar.gz) = 0c33f508099c5cfd502916ec570c2952 MD5 (spin/spin330.tar.gz) = 976613a7a02486d8daca4cd2cf6a3886
MD5 (spin/html.tar.gz) = 497775584f1d4b55b1d3041311c3d947 MD5 (spin/html.tar.gz) = 66686c33ab6213819fa08d41ed17bf8e

4
math/spin/files/patch-aa
View File

@ -1,5 +1,5 @@
--- ../Xspin3.2/xspin324.tcl.orig Wed Jan 27 12:23:13 1999 --- ../Xspin3.3/xspin330.tcl.orig Wed Jun 23 18:29:29 1999
+++ ../Xspin3.2/xspin324.tcl Wed Jan 27 12:23:32 1999 +++ ../Xspin3.3/xspin330.tcl Wed Jun 23 18:30:51 1999
@@ -1,4 +1,4 @@ @@ -1,4 +1,4 @@
-#!/usr/local/bin/wish -f -#!/usr/local/bin/wish -f
+#!/usr/local/bin/wish8.0 -f +#!/usr/local/bin/wish8.0 -f

12
math/spin/files/patch-ab
View File

@ -1,12 +1,12 @@
--- makefile.orig Wed Jan 27 12:28:31 1999 --- makefile.orig Wed Jun 23 18:26:14 1999
+++ makefile Wed Jan 27 12:29:14 1999 +++ makefile Wed Jun 23 18:27:41 1999
@@ -9,8 +9,8 @@ @@ -10,8 +10,8 @@
# 1991, Prentice Hall, Englewood Cliffs, NJ, 07632
# Send bug-reports and/or questions to: gerard@research.bell-labs.com # 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 -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 +# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include
# on Solaris: add -DSOLARIS # on Solaris: add -DSOLARIS

11
math/spin/files/patch-ac Normal file
View File

@ -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)",

2
math/spin/pkg-descr
View File

@ -5,3 +5,5 @@ systems, database systems, etc.
It can be used to prove both safety and liveness properties, It can be used to prove both safety and liveness properties,
including all correctness requirements expressible in linear including all correctness requirements expressible in linear
time temporal logic. time temporal logic.
Spin uses a high level language to specify systems descriptions,
called PROMELA (PROcess MEta LAnguage).

5
math/spin/pkg-plist
View File

@ -1,6 +1,6 @@
bin/spin bin/spin
bin/xspin bin/xspin
bin/xspin324.tcl bin/xspin330.tcl
share/doc/spin/Doc/Book.Ch6.add share/doc/spin/Doc/Book.Ch6.add
share/doc/spin/Doc/Book.Errata share/doc/spin/Doc/Book.Errata
share/doc/spin/Doc/Book.answers 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/inline.html
share/doc/spin/HTML/labels.html share/doc/spin/HTML/labels.html
share/doc/spin/HTML/len.html share/doc/spin/HTML/len.html
share/doc/spin/HTML/local.html
share/doc/spin/HTML/ltl.html share/doc/spin/HTML/ltl.html
share/doc/spin/HTML/macros.html share/doc/spin/HTML/macros.html
share/doc/spin/HTML/mtype.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/sequence.html
share/doc/spin/HTML/show.html share/doc/spin/HTML/show.html
share/doc/spin/HTML/skip.html share/doc/spin/HTML/skip.html
share/doc/spin/HTML/stdin.html
share/doc/spin/HTML/timeout.html share/doc/spin/HTML/timeout.html
share/doc/spin/HTML/trace.html share/doc/spin/HTML/trace.html
share/doc/spin/HTML/true.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/loops
share/doc/spin/Test/pathfinder share/doc/spin/Test/pathfinder
share/doc/spin/Test/peterson share/doc/spin/Test/peterson
share/doc/spin/Test/petersonN
share/doc/spin/Test/pftp share/doc/spin/Test/pftp
share/doc/spin/Test/priorities share/doc/spin/Test/priorities
share/doc/spin/Test/snoopy share/doc/spin/Test/snoopy