Category move: math/spin to devel

PR:		ports/10396
Submitted by:	Daniel C. Sobral <dcs@newsguy.com>
Approved by:	maintainer

8 files changed, 0 insertions, 234 deletions

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