diff options
Diffstat (limited to 'devel/spin')
| -rw-r--r-- | devel/spin/Makefile | 50 | ||||
| -rw-r--r-- | devel/spin/distinfo | 2 | ||||
| -rw-r--r-- | devel/spin/files/patch-aa | 8 | ||||
| -rw-r--r-- | devel/spin/files/patch-ab | 13 | ||||
| -rw-r--r-- | devel/spin/pkg-comment | 1 | ||||
| -rw-r--r-- | devel/spin/pkg-descr | 7 | ||||
| -rw-r--r-- | devel/spin/pkg-plist | 127 |
7 files changed, 0 insertions, 208 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile deleted file mode 100644 index f3e73db31d4c..000000000000 --- a/devel/spin/Makefile +++ /dev/null @@ -1,50 +0,0 @@ -# Ports collection makefile for: spin -# Version required: 3.24 -# Date created: Oct 23, 1997 -# Whom: jhanna@home.com -# -# $Id: Makefile,v 1.1.1.1 1998/12/12 22:17:48 jseger Exp $ -# - -DISTNAME= spin-3.24 -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 - -MAINTAINER= jhanna@home.com - -DIST_SUBDIR= spin -WRKSRC= ${WRKDIR}/Src3.2 -MAKEFILE= makefile -ALL_TARGET= spin - -post-extract: - @cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples - -pre-build: - cd ${WRKSRC} && ${MAKE} clean - -do-install: - ${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin - ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.2/xspin324.tcl ${PREFIX}/bin - ${RM} -f ${PREFIX}/bin/xspin - ln -s ${PREFIX}/bin/xspin324.tcl ${PREFIX}/bin/xspin - -.if !defined(NOPORTDOCS) - ${MKDIR} ${PREFIX}/share/doc/spin/Doc - ${MKDIR} ${PREFIX}/share/doc/spin/Examples - ${MKDIR} ${PREFIX}/share/doc/spin/HTML - ${MKDIR} ${PREFIX}/share/doc/spin/Test - ${INSTALL_DATA} ${WRKDIR}/Doc/* ${PREFIX}/share/doc/spin/Doc - ${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 - ${INSTALL_DATA} ${WRKDIR}/Test/$i ${PREFIX}/share/doc/spin/Test -.endfor -.endif - -.include <bsd.port.mk> diff --git a/devel/spin/distinfo b/devel/spin/distinfo deleted file mode 100644 index a51a4164b8ca..000000000000 --- a/devel/spin/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -MD5 (spin/spin324.tar.gz) = 0c33f508099c5cfd502916ec570c2952 -MD5 (spin/html.tar.gz) = 497775584f1d4b55b1d3041311c3d947 diff --git a/devel/spin/files/patch-aa b/devel/spin/files/patch-aa deleted file mode 100644 index b67c3d8ab549..000000000000 --- a/devel/spin/files/patch-aa +++ /dev/null @@ -1,8 +0,0 @@ ---- ../Xspin3.2/xspin324.tcl.orig Wed Jan 27 12:23:13 1999 -+++ ../Xspin3.2/xspin324.tcl Wed Jan 27 12:23:32 1999 -@@ -1,4 +1,4 @@ --#!/usr/local/bin/wish -f -+#!/usr/local/bin/wish8.0 -f - - #======================================================================# - # Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA. # diff --git a/devel/spin/files/patch-ab b/devel/spin/files/patch-ab deleted file mode 100644 index 1fa5be43341a..000000000000 --- a/devel/spin/files/patch-ab +++ /dev/null @@ -1,13 +0,0 @@ ---- 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 - # Send bug-reports and/or questions to: gerard@research.bell-labs.com - --CC=gcc -g # 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 -+# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include - - # on Solaris: add -DSOLARIS - # on PCs: add -DPC diff --git a/devel/spin/pkg-comment b/devel/spin/pkg-comment deleted file mode 100644 index 3cce122e2137..000000000000 --- a/devel/spin/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -An on-the-fly verification system for asynchronous concurrent systems diff --git a/devel/spin/pkg-descr b/devel/spin/pkg-descr deleted file mode 100644 index 5cd5f839e550..000000000000 --- a/devel/spin/pkg-descr +++ /dev/null @@ -1,7 +0,0 @@ -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. diff --git a/devel/spin/pkg-plist b/devel/spin/pkg-plist deleted file mode 100644 index 6d4ca01e6bcc..000000000000 --- a/devel/spin/pkg-plist +++ /dev/null @@ -1,127 +0,0 @@ -bin/spin -bin/xspin -bin/xspin324.tcl -share/doc/spin/Doc/Book.Ch6.add -share/doc/spin/Doc/Book.Errata -share/doc/spin/Doc/Book.answers -share/doc/spin/Doc/Book.samples -share/doc/spin/Doc/V1.Updates -share/doc/spin/Doc/V2.Updates -share/doc/spin/Doc/V3.Updates -share/doc/spin/Examples/ex.1a -share/doc/spin/Examples/ex.1b -share/doc/spin/Examples/ex.1c -share/doc/spin/Examples/ex.2 -share/doc/spin/Examples/ex.3 -share/doc/spin/Examples/ex.4b -share/doc/spin/Examples/ex.4c -share/doc/spin/Examples/ex.5a -share/doc/spin/Examples/ex.5b -share/doc/spin/Examples/ex.6 -share/doc/spin/Examples/ex.7 -share/doc/spin/Examples/ex.8 -share/doc/spin/Examples/ex.9 -share/doc/spin/Examples/ex.9b -share/doc/spin/Examples/ex.9c -share/doc/spin/Examples/ex.readme -share/doc/spin/HTML/Exercises.html -share/doc/spin/HTML/GettingStarted.html -share/doc/spin/HTML/Intro.html -share/doc/spin/HTML/Manual.html -share/doc/spin/HTML/Pan.html -share/doc/spin/HTML/Quick.html -share/doc/spin/HTML/README.html -share/doc/spin/HTML/Roadmap.html -share/doc/spin/HTML/Spin.html -share/doc/spin/HTML/WhatsNew.html -share/doc/spin/HTML/_.html -share/doc/spin/HTML/_last.html -share/doc/spin/HTML/_pid.html -share/doc/spin/HTML/accept.html -share/doc/spin/HTML/active.html -share/doc/spin/HTML/arrays.html -share/doc/spin/HTML/assert.html -share/doc/spin/HTML/assign.html -share/doc/spin/HTML/atomic.html -share/doc/spin/HTML/break.html -share/doc/spin/HTML/chan.html -share/doc/spin/HTML/comments.html -share/doc/spin/HTML/cond_expr.html -share/doc/spin/HTML/condition.html -share/doc/spin/HTML/d_step.html -share/doc/spin/HTML/datatypes.html -share/doc/spin/HTML/do.html -share/doc/spin/HTML/else.html -share/doc/spin/HTML/empty.html -share/doc/spin/HTML/enabled.html -share/doc/spin/HTML/end.html -share/doc/spin/HTML/eval.html -share/doc/spin/HTML/false.html -share/doc/spin/HTML/float.html -share/doc/spin/HTML/full.html -share/doc/spin/HTML/goto.html -share/doc/spin/HTML/grammar.html -share/doc/spin/HTML/hidden.html -share/doc/spin/HTML/hierarchy.html -share/doc/spin/HTML/if.html -share/doc/spin/HTML/index.html -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/ltl.html -share/doc/spin/HTML/macros.html -share/doc/spin/HTML/mtype.html -share/doc/spin/HTML/nempty.html -share/doc/spin/HTML/never.html -share/doc/spin/HTML/nfull.html -share/doc/spin/HTML/notrace.html -share/doc/spin/HTML/np_.html -share/doc/spin/HTML/pc_value.html -share/doc/spin/HTML/pointers.html -share/doc/spin/HTML/poll.html -share/doc/spin/HTML/printf.html -share/doc/spin/HTML/priority.html -share/doc/spin/HTML/probabilities.html -share/doc/spin/HTML/procedures.html -share/doc/spin/HTML/proctype.html -share/doc/spin/HTML/progress.html -share/doc/spin/HTML/promela.html -share/doc/spin/HTML/provided.html -share/doc/spin/HTML/rand.html -share/doc/spin/HTML/realtime.html -share/doc/spin/HTML/receive.html -share/doc/spin/HTML/remoterefs.html -share/doc/spin/HTML/run.html -share/doc/spin/HTML/scanf.html -share/doc/spin/HTML/send.html -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/timeout.html -share/doc/spin/HTML/trace.html -share/doc/spin/HTML/true.html -share/doc/spin/HTML/typedef.html -share/doc/spin/HTML/unless.html -share/doc/spin/HTML/xr.html -share/doc/spin/HTML/xs.html -share/doc/spin/Test/README.tests -share/doc/spin/Test/abp -share/doc/spin/Test/erathostenes -share/doc/spin/Test/hello -share/doc/spin/Test/leader -share/doc/spin/Test/leader.ltl -share/doc/spin/Test/leader2 -share/doc/spin/Test/loops -share/doc/spin/Test/pathfinder -share/doc/spin/Test/peterson -share/doc/spin/Test/pftp -share/doc/spin/Test/priorities -share/doc/spin/Test/snoopy -share/doc/spin/Test/sort -@dirrm share/doc/spin/Test -@dirrm share/doc/spin/HTML -@dirrm share/doc/spin/Examples -@dirrm share/doc/spin/Doc -@dirrm share/doc/spin |