diff options
-rw-r--r-- | devel/Makefile | 1 | ||||
-rw-r--r-- | devel/spin/Makefile | 2 | ||||
-rw-r--r-- | math/Makefile | 1 | ||||
-rw-r--r-- | math/spin/Makefile | 55 | ||||
-rw-r--r-- | math/spin/distinfo | 2 | ||||
-rw-r--r-- | math/spin/files/patch-aa | 17 | ||||
-rw-r--r-- | math/spin/files/patch-ab | 14 | ||||
-rw-r--r-- | math/spin/pkg-comment | 1 | ||||
-rw-r--r-- | math/spin/pkg-descr | 9 | ||||
-rw-r--r-- | math/spin/pkg-plist | 135 |
10 files changed, 2 insertions, 235 deletions
diff --git a/devel/Makefile b/devel/Makefile index 9d391667d29b..77d110b81c99 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -680,6 +680,7 @@ SUBDIR += sparc-rtems-gdb SUBDIR += sparc-rtems-objc SUBDIR += spirit + SUBDIR += spin SUBDIR += splint SUBDIR += st SUBDIR += stlport diff --git a/devel/spin/Makefile b/devel/spin/Makefile index a2808351f250..6225d581e21e 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -7,7 +7,7 @@ PORTNAME= spin PORTVERSION= 3.4.14 -CATEGORIES= math +CATEGORIES= devel MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \ ftp://www.netlib.org/spin/ DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz html.tar.gz diff --git a/math/Makefile b/math/Makefile index 96f60c5ddc65..916ab36b2467 100644 --- a/math/Makefile +++ b/math/Makefile @@ -138,7 +138,6 @@ SUBDIR += snns SUBDIR += solitaire SUBDIR += spar - SUBDIR += spin SUBDIR += ss SUBDIR += superlu SUBDIR += surf diff --git a/math/spin/Makefile b/math/spin/Makefile deleted file mode 100644 index 81203dc08634..000000000000 --- a/math/spin/Makefile +++ /dev/null @@ -1,55 +0,0 @@ -# Ports collection makefile for: spin -# Date created: Oct 23, 1997 -# Whom: jhanna@home.com -# -# $FreeBSD$ -# - -PORTNAME= spin -PORTVERSION= 3.4.16 -CATEGORIES= math -MASTER_SITES= ftp://netlib.bell-labs.com/netlib/spin/ \ - ftp://www.netlib.org/spin/ -DISTFILES= spin${PORTVERSION:S/.//g}.tar.gz html.tar.gz - -MAINTAINER= jhanna@shaw.ca - -DIST_SUBDIR= spin -WRKSRC= ${WRKDIR}/Src${PORTVERSION} -MAKEFILE= makefile -ALL_TARGET= spin - -post-extract: - @cd ${WRKDIR}/Test && ${TR} -d '\015' < ${WRKDIR}/Test/examples | ${SH} - -post-patch: - @WISH=`(cd ${LOCALBASE}/bin ; ls wish8* ) | tail -1` ; \ - if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \ - ${PERL} -pi \ - -e "s|%%LOCALBASE%%|${LOCALBASE}|g;" \ - -e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin3.4/xspin3415.tcl - -pre-build: - cd ${WRKSRC} && ${MAKE} clean - -do-install: - ${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin - ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.4/xspin3415.tcl ${PREFIX}/bin - ${RM} -f ${PREFIX}/bin/xspin - ${LN} -s ${PREFIX}/bin/xspin3415.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/math/spin/distinfo b/math/spin/distinfo deleted file mode 100644 index 418ad5b1ecb0..000000000000 --- a/math/spin/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -MD5 (spin/spin3416.tar.gz) = 559b5ee8646f222c190588e0fd466fc5 -MD5 (spin/html.tar.gz) = 18fb3308fac90091de71235941fbdc20 diff --git a/math/spin/files/patch-aa b/math/spin/files/patch-aa deleted file mode 100644 index 6a46eafbe46c..000000000000 --- a/math/spin/files/patch-aa +++ /dev/null @@ -1,17 +0,0 @@ ---- ../Xspin3.4/xspin3415.tcl.orig Fri Jun 7 22:38:34 2002 -+++ ../Xspin3.4/xspin3415.tcl Fri Jun 7 22:40:46 2002 -@@ -1,13 +1,4 @@ --#!/bin/sh --# the next line restarts using wish \ --exec wish c:/cygwin/bin/xspin -- $* -- --# adjust the first argument to wish above with the --# location of xspin on your system, if different. --# cygwin: even when xspin is place in /usr/bin/xspin --# the above exec line would not find it there --# /usr/bin is a symbolic link to /bin, which really --# lives in c:/cygwin, hence the contortions above -+#!%%LOCALBASE%%/bin/%%WISH%% -f - - #======================================================================# - # Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA. # diff --git a/math/spin/files/patch-ab b/math/spin/files/patch-ab deleted file mode 100644 index a50e73daae58..000000000000 --- a/math/spin/files/patch-ab +++ /dev/null @@ -1,14 +0,0 @@ ---- makefile.orig Wed Feb 20 13:40:54 2002 -+++ makefile Sun Apr 7 17:44:50 2002 -@@ -11,8 +11,9 @@ - # The book is available frm www.amazon.com - - # 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 -+# 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 += -DNXT - - # on Solaris: add -DSOLARIS - # on PCs: add -DPC diff --git a/math/spin/pkg-comment b/math/spin/pkg-comment deleted file mode 100644 index 3cce122e2137..000000000000 --- a/math/spin/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -An on-the-fly verification system for asynchronous concurrent systems diff --git a/math/spin/pkg-descr b/math/spin/pkg-descr deleted file mode 100644 index 44738f1a2ec5..000000000000 --- a/math/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/math/spin/pkg-plist b/math/spin/pkg-plist deleted file mode 100644 index b1d8f29217f3..000000000000 --- a/math/spin/pkg-plist +++ /dev/null @@ -1,135 +0,0 @@ -bin/spin -bin/xspin -bin/xspin3415.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 |