summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rw-r--r--devel/spin/Makefile16
-rw-r--r--devel/spin/distinfo4
-rw-r--r--devel/spin/files/patch-aa10
-rw-r--r--devel/spin/pkg-plist6
-rw-r--r--math/spin/Makefile16
-rw-r--r--math/spin/distinfo4
-rw-r--r--math/spin/files/patch-aa10
-rw-r--r--math/spin/pkg-plist6
8 files changed, 40 insertions, 32 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile
index 9a99c165d6ea..f3e73db31d4c 100644
--- a/devel/spin/Makefile
+++ b/devel/spin/Makefile
@@ -1,18 +1,18 @@
# Ports collection makefile for: spin
-# Version required: 3.23
+# Version required: 3.24
# Date created: Oct 23, 1997
# Whom: jhanna@home.com
#
-# $Id$
+# $Id: Makefile,v 1.1.1.1 1998/12/12 22:17:48 jseger Exp $
#
-DISTNAME= spin-3.23
+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= spin323.tar.gz html.tar.gz
+DISTFILES= spin324.tar.gz html.tar.gz
MAINTAINER= jhanna@home.com
@@ -29,9 +29,9 @@ pre-build:
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin
- ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.2/xspin323.tcl ${PREFIX}/bin
+ ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.2/xspin324.tcl ${PREFIX}/bin
${RM} -f ${PREFIX}/bin/xspin
- ln -s ${PREFIX}/bin/xspin323.tcl ${PREFIX}/bin/xspin
+ ln -s ${PREFIX}/bin/xspin324.tcl ${PREFIX}/bin/xspin
.if !defined(NOPORTDOCS)
${MKDIR} ${PREFIX}/share/doc/spin/Doc
@@ -41,8 +41,8 @@ do-install:
${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 erathostenes hello leader leader2 loops pftp \
- priorities snoopy sort
+.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
diff --git a/devel/spin/distinfo b/devel/spin/distinfo
index 7e4aaee44897..a51a4164b8ca 100644
--- a/devel/spin/distinfo
+++ b/devel/spin/distinfo
@@ -1,2 +1,2 @@
-MD5 (spin/spin323.tar.gz) = 1ac5fffa78663ba13658ba0c3bce3419
-MD5 (spin/html.tar.gz) = 2988743b1d9db59aff4ddd999573d6b3
+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
index 430dbe1fd181..b67c3d8ab549 100644
--- a/devel/spin/files/patch-aa
+++ b/devel/spin/files/patch-aa
@@ -1,8 +1,8 @@
---- ../Xspin3.2/xspin323.tcl.orig Wed Dec 17 10:11:57 1997
-+++ ../Xspin3.2/xspin323.tcl Sun Dec 21 13:20:41 1997
+--- ../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
- # Installation Notes (see also the README file):
- # 1. On Unix systems: change the 1st above line to point to the wish
- # executable you want to use (e.g., wish4.2 or /usr/local/bin/wish8.0)
+
+ #======================================================================#
+ # Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA. #
diff --git a/devel/spin/pkg-plist b/devel/spin/pkg-plist
index a88befe9abeb..6d4ca01e6bcc 100644
--- a/devel/spin/pkg-plist
+++ b/devel/spin/pkg-plist
@@ -1,6 +1,6 @@
bin/spin
bin/xspin
-bin/xspin323.tcl
+bin/xspin324.tcl
share/doc/spin/Doc/Book.Ch6.add
share/doc/spin/Doc/Book.Errata
share/doc/spin/Doc/Book.answers
@@ -107,11 +107,15 @@ 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
diff --git a/math/spin/Makefile b/math/spin/Makefile
index 9a99c165d6ea..f3e73db31d4c 100644
--- a/math/spin/Makefile
+++ b/math/spin/Makefile
@@ -1,18 +1,18 @@
# Ports collection makefile for: spin
-# Version required: 3.23
+# Version required: 3.24
# Date created: Oct 23, 1997
# Whom: jhanna@home.com
#
-# $Id$
+# $Id: Makefile,v 1.1.1.1 1998/12/12 22:17:48 jseger Exp $
#
-DISTNAME= spin-3.23
+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= spin323.tar.gz html.tar.gz
+DISTFILES= spin324.tar.gz html.tar.gz
MAINTAINER= jhanna@home.com
@@ -29,9 +29,9 @@ pre-build:
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin
- ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.2/xspin323.tcl ${PREFIX}/bin
+ ${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.2/xspin324.tcl ${PREFIX}/bin
${RM} -f ${PREFIX}/bin/xspin
- ln -s ${PREFIX}/bin/xspin323.tcl ${PREFIX}/bin/xspin
+ ln -s ${PREFIX}/bin/xspin324.tcl ${PREFIX}/bin/xspin
.if !defined(NOPORTDOCS)
${MKDIR} ${PREFIX}/share/doc/spin/Doc
@@ -41,8 +41,8 @@ do-install:
${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 erathostenes hello leader leader2 loops pftp \
- priorities snoopy sort
+.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
diff --git a/math/spin/distinfo b/math/spin/distinfo
index 7e4aaee44897..a51a4164b8ca 100644
--- a/math/spin/distinfo
+++ b/math/spin/distinfo
@@ -1,2 +1,2 @@
-MD5 (spin/spin323.tar.gz) = 1ac5fffa78663ba13658ba0c3bce3419
-MD5 (spin/html.tar.gz) = 2988743b1d9db59aff4ddd999573d6b3
+MD5 (spin/spin324.tar.gz) = 0c33f508099c5cfd502916ec570c2952
+MD5 (spin/html.tar.gz) = 497775584f1d4b55b1d3041311c3d947
diff --git a/math/spin/files/patch-aa b/math/spin/files/patch-aa
index 430dbe1fd181..b67c3d8ab549 100644
--- a/math/spin/files/patch-aa
+++ b/math/spin/files/patch-aa
@@ -1,8 +1,8 @@
---- ../Xspin3.2/xspin323.tcl.orig Wed Dec 17 10:11:57 1997
-+++ ../Xspin3.2/xspin323.tcl Sun Dec 21 13:20:41 1997
+--- ../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
- # Installation Notes (see also the README file):
- # 1. On Unix systems: change the 1st above line to point to the wish
- # executable you want to use (e.g., wish4.2 or /usr/local/bin/wish8.0)
+
+ #======================================================================#
+ # Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA. #
diff --git a/math/spin/pkg-plist b/math/spin/pkg-plist
index a88befe9abeb..6d4ca01e6bcc 100644
--- a/math/spin/pkg-plist
+++ b/math/spin/pkg-plist
@@ -1,6 +1,6 @@
bin/spin
bin/xspin
-bin/xspin323.tcl
+bin/xspin324.tcl
share/doc/spin/Doc/Book.Ch6.add
share/doc/spin/Doc/Book.Errata
share/doc/spin/Doc/Book.answers
@@ -107,11 +107,15 @@ 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-16 02:53:14 +0000