ports/50706: Update devel/spin to 4.0.3, fixes unfetchable

Tue Apr 8 05:20:11 UTC 2003

>Number:         50706
>Category:       ports
>Synopsis:       Update devel/spin to 4.0.3, fixes unfetchable
>Confidential:   no
>Severity:       serious
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Mon Apr 07 22:20:08 PDT 2003
>Closed-Date:
>Last-Modified:
>Originator:     Jonathan Hanna
>Release:        FreeBSD 4.7-STABLE i386
>Organization:
>Environment:

>Description:
>How-To-Repeat:
>Fix:

diff -rNPu spin.orig/Makefile spin/Makefile

--- spin.orig/Makefile	Fri Feb 21 03:22:58 2003
+++ spin/Makefile	Mon Apr  7 21:49:06 2003
@@ -6,7 +6,7 @@
 #
 
 PORTNAME=	spin
-PORTVERSION=	3.5.2
+PORTVERSION=	4.0.3
 CATEGORIES=	devel
 MASTER_SITES=	http://spinroot.com/spin/Src/ \
 		ftp://netlib.bell-labs.com/netlib/spin/ \
@@ -17,8 +17,8 @@
 COMMENT=	An on-the-fly verification system for asynchronous concurrent systems
 
 DIST_SUBDIR=	spin
-WRKSRC=		${WRKDIR}/Src3.5.2
-MAKEFILE=	makefile
+WRKSRC=		${WRKDIR}/Src${PORTVERSION}
+MAKEFILE=	make_unix
 ALL_TARGET=	spin
 USE_REINPLACE=	yes
 
@@ -30,16 +30,12 @@
 	if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \
 	${REINPLACE_CMD} \
 		-e "s|%%LOCALBASE%%|${LOCALBASE}|g;" \
-		-e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin3.5/xspin351.tcl
-
-pre-build:
-	cd ${WRKSRC} && ${MAKE} clean
+		-e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin4.0/xspin402.tcl
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin
-	${INSTALL_SCRIPT} ${WRKDIR}/Xspin3.5/xspin351.tcl ${PREFIX}/bin
 	${RM} -f ${PREFIX}/bin/xspin
-	${LN} -s ${PREFIX}/bin/xspin351.tcl ${PREFIX}/bin/xspin
+	${INSTALL_SCRIPT} ${WRKDIR}/Xspin4.0/xspin402.tcl ${PREFIX}/bin/xspin
 
 .if !defined(NOPORTDOCS)
 	${MKDIR} ${PREFIX}/share/doc/spin/Doc
diff -rNPu spin.orig/distinfo spin/distinfo
--- spin.orig/distinfo	Thu Jan  2 11:58:31 2003
+++ spin/distinfo	Mon Apr  7 13:05:14 2003
@@ -1,2 +1,2 @@
-MD5 (spin/spin352.tar.gz) = 59cdbbc0c14cbf6c3c428c666c33dc35
+MD5 (spin/spin403.tar.gz) = 0f6c6bfd3be4091624a24b07afa08f86
 MD5 (spin/html.tar.gz) = 18fb3308fac90091de71235941fbdc20
diff -rNPu spin.orig/files/patch-aa spin/files/patch-aa
--- spin.orig/files/patch-aa	Thu Jan  2 11:58:31 2003
+++ spin/files/patch-aa	Wed Dec 31 16:00:00 1969
@@ -1,11 +0,0 @@
---- ../Xspin3.5/xspin351.tcl.orig	Wed Nov 27 13:45:12 2002
-+++ ../Xspin3.5/xspin351.tcl	Sat Dec  7 11:38:00 2002
-@@ -1,6 +1,6 @@
--#!/bin/sh
-+#!%%LOCALBASE%%/bin/%%WISH%% -f
- # the next line restarts using wish \
--exec wish c:/cygwin/bin/xspin -- $*
-+# exec wish c:/cygwin/bin/xspin -- $*
- 
- # adjust the first argument to wish above with the
- # location of xspin on your system, if different.
diff -rNPu spin.orig/files/patch-ab spin/files/patch-ab
--- spin.orig/files/patch-ab	Wed Oct 16 14:50:47 2002
+++ spin/files/patch-ab	Wed Dec 31 16:00:00 1969
@@ -1,14 +0,0 @@
---- makefile.orig	Sun Sep 29 08:47:34 2002
-+++ makefile	Sun Oct  6 18:24:09 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	# enables the X operator in LTL
--CFLAGS=-ansi -D_POSIX_SOURCE	# on some systems add: -I/usr/include
-+# CC=cc -g -DNXT	# enables 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 -rNPu spin.orig/files/patch-make_unix spin/files/patch-make_unix
--- spin.orig/files/patch-make_unix	Wed Dec 31 16:00:00 1969
+++ spin/files/patch-make_unix	Mon Apr  7 20:33:14 2003
@@ -0,0 +1,14 @@
+--- make_unix.orig	Mon Apr  7 20:30:46 2003
++++ make_unix	Mon Apr  7 20:31:36 2003
+@@ -12,8 +12,9 @@
+ # [a more up-to-date book documenting Spin will appear in 2003]
+ 
+ # CC=gcc		# or any other ansi compatible c compiler
+-CC=cc -g -DNXT 		# -DNXT enables the X operator in LTL
+-CFLAGS=-ansi -D_POSIX_SOURCE	# on some systems add: -I/usr/include
++# CC=cc -g -DNXT 		# -DNXT enables 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 -rNPu spin.orig/files/patch-xspin spin/files/patch-xspin
--- spin.orig/files/patch-xspin	Wed Dec 31 16:00:00 1969
+++ spin/files/patch-xspin	Mon Apr  7 20:42:31 2003
@@ -0,0 +1,24 @@
+--- ../Xspin4.0/xspin402.tcl.orig	Mon Apr  7 20:37:27 2003
++++ ../Xspin4.0/xspin402.tcl	Mon Apr  7 20:40:10 2003
+@@ -1,20 +1,4 @@
+-#!/bin/sh
+-# the next line restarts using wish \
+-exec wish c:/cygwin/bin/xspin -- $*
+-
+-# on PCs:
+-# adjust the first argument to wish above with the name and
+-# location of this tcl/tk file on your system, if different.
+-#
+-# Cygwin:
+-# if you use cygwin, do not refer to the file as /usr/bin/xspin
+-# /usr/bin is a symbolic link to /bin, which really
+-# lives in c:/cygwin, hence the contortions above
+-#
+-# on Unix/Linux/Solaris systems
+-# replace the first line with something like
+-#	#!/usr/bin/wish -f
+-# using the pathname for the wish executable on your system
++#!%%LOCALBASE%%/bin/%%WISH%% -f
+ 
+ #======================================================================#
+ # Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA.  #
diff -rNPu spin.orig/pkg-plist spin/pkg-plist
--- spin.orig/pkg-plist	Thu Jan  2 11:58:31 2003
+++ spin/pkg-plist	Mon Apr  7 21:49:18 2003
@@ -1,6 +1,5 @@
 bin/spin
 bin/xspin
-bin/xspin351.tcl
 share/doc/spin/Doc/Book.Ch6.add
 share/doc/spin/Doc/Book.Errata
 share/doc/spin/Doc/Book.answers
@@ -8,6 +7,7 @@
 share/doc/spin/Doc/V1.Updates
 share/doc/spin/Doc/V2.Updates
 share/doc/spin/Doc/V3.Updates
+share/doc/spin/Doc/V4.Updates
 share/doc/spin/Examples/ex.1a
 share/doc/spin/Examples/ex.1b
 share/doc/spin/Examples/ex.1c
>Release-Note:
>Audit-Trail:
>Unformatted:

