diff options
Diffstat (limited to 'devel/spin')
| -rw-r--r-- | devel/spin/Makefile | 52 | ||||
| -rw-r--r-- | devel/spin/distinfo | 2 | ||||
| -rw-r--r-- | devel/spin/files/patch-aa | 8 | ||||
| -rw-r--r-- | devel/spin/files/patch-ab | 15 | ||||
| -rw-r--r-- | devel/spin/files/patch-ac | 11 | ||||
| -rw-r--r-- | devel/spin/pkg-comment | 1 | ||||
| -rw-r--r-- | devel/spin/pkg-descr | 9 | ||||
| -rw-r--r-- | devel/spin/pkg-plist | 135 |
8 files changed, 0 insertions, 233 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile deleted file mode 100644 index 3a4e7b1a4036..000000000000 --- a/devel/spin/Makefile +++ /dev/null @@ -1,52 +0,0 @@ -# Ports collection makefile for: spin -# Date created: Oct 23, 1997 -# Whom: jhanna@home.com -# -# $FreeBSD$ -# - -PORTNAME= spin -PORTVERSION= 3.4.1 -CATEGORIES= math -MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \ - ftp://www.netlib.org/spin/ \ - ftp://ftp.freesoftware.com/pub/netlib/spin/ -DISTFILES= spin341.tar.gz html.tar.gz - -MAINTAINER= jhanna@home.com - -DIST_SUBDIR= spin -WRKSRC= ${WRKDIR}/Src3.4 -MAKEFILE= makefile -ALL_TARGET= spin - -post-extract: - @cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples - -post-patch: - @${PERL} -pi -e "s|%%LOCALBASE%%|${LOCALBASE}|g" ${WRKDIR}/Xspin3.4/xspin341.tcl - -pre-build: - cd ${WRKSRC} && ${MAKE} clean - -do-install: - ${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin - ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.4/xspin341.tcl ${PREFIX}/bin - ${RM} -f ${PREFIX}/bin/xspin - ${LN} -s ${PREFIX}/bin/xspin341.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 mobile1 mobile1.ltl mobile2 mobile2.ltl pathfinder peterson petersonN pftp priorities snoopy sort wordcount - ${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 8c833de25857..000000000000 --- a/devel/spin/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -MD5 (spin/spin341.tar.gz) = 6dcd7e5eef345e18390f6ad6dffbff16 -MD5 (spin/html.tar.gz) = 18fb3308fac90091de71235941fbdc20 diff --git a/devel/spin/files/patch-aa b/devel/spin/files/patch-aa deleted file mode 100644 index 66cfed4a0eb3..000000000000 --- a/devel/spin/files/patch-aa +++ /dev/null @@ -1,8 +0,0 @@ ---- ../Xspin3.4/xspin341.tcl.orig Wed Jun 23 18:29:29 1999 -+++ ../Xspin3.4/xspin341.tcl Wed Jun 23 18:30:51 1999 -@@ -1,4 +1,4 @@ --#!/usr/local/bin/wish -f -+#!%%LOCALBASE%%/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 91869c5eed38..000000000000 --- a/devel/spin/files/patch-ab +++ /dev/null @@ -1,15 +0,0 @@ ---- makefile.orig Sun Sep 10 19:59:06 2000 -+++ makefile Sun Sep 10 20:00:41 2000 -@@ -10,9 +10,10 @@ - # Send bug-reports and/or questions to: gerard@research.bell-labs.com - # The book is available frm www.amazon.com - --CC=cc -g # or any other ansi compatible c compiler -+# CC=cc -g # or any other ansi compatible c compiler - # CC=cc -g -DNXT # if you need the X operator in LTL --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 += -DNXT - - # on Solaris: add -DSOLARIS - # on PCs: add -DPC diff --git a/devel/spin/files/patch-ac b/devel/spin/files/patch-ac deleted file mode 100644 index fd8fa7d8833a..000000000000 --- a/devel/spin/files/patch-ac +++ /dev/null @@ -1,11 +0,0 @@ ---- 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/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 44738f1a2ec5..000000000000 --- a/devel/spin/pkg-descr +++ /dev/null @@ -1,9 +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. -Spin uses a high level language to specify systems descriptions, -called PROMELA (PROcess MEta LAnguage). diff --git a/devel/spin/pkg-plist b/devel/spin/pkg-plist deleted file mode 100644 index fd3ed8e6b4e8..000000000000 --- a/devel/spin/pkg-plist +++ /dev/null @@ -1,135 +0,0 @@ -bin/spin -bin/xspin -bin/xspin341.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/local.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/stdin.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/mobile1 -share/doc/spin/Test/mobile1.ltl -share/doc/spin/Test/mobile2 -share/doc/spin/Test/mobile2.ltl -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 -share/doc/spin/Test/sort -share/doc/spin/Test/wordcount -@dirrm share/doc/spin/Test -@dirrm share/doc/spin/HTML -@dirrm share/doc/spin/Examples -@dirrm share/doc/spin/Doc -@dirrm share/doc/spin |