ports/63290: [maintainer] devel/spin: update to 4.1.2

[Jonathan Hanna]

>Number:         63290
>Category:       ports
>Synopsis:       [maintainer] devel/spin: update to 4.1.2
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Mon Feb 23 14:30:18 PST 2004
>Closed-Date:
>Last-Modified:
>Originator:     Jonathan Hanna
>Release:        FreeBSD 4.9-STABLE i386
>Organization:
>Environment:

>Description:

>How-To-Repeat:

>Fix:

diff -urPN spin.orig/Makefile spin/Makefile
--- spin.orig/Makefile	Thu Jan 22 21:28:48 2004
+++ spin/Makefile	Mon Feb 23 13:37:13 2004
@@ -6,11 +6,11 @@
 #
 
 PORTNAME=	spin
-PORTVERSION=	4.0.7
-PORTREVISION=	1
+PORTVERSION=	4.1.2
+PORTREVISION=	0
 CATEGORIES=	devel
 MASTER_SITES=	http://spinroot.com/spin/Src/
-DISTFILES=	spin${PORTVERSION:S/.//g}.tar.gz
+DISTNAME=	spin${PORTVERSION:S/.//g}
 
 MAINTAINER=	jhanna at shaw.ca
 COMMENT=	An on-the-fly verification system for asynchronous concurrent systems
@@ -28,6 +28,9 @@
 ALL_TARGET=	spin
 USE_REINPLACE=	yes
 
+MANPAGE_WRKSRC=	${WRKDIR}/Man
+MAN1=		spin.1
+
 pre-everything::
 	@${ECHO_MSG} ""
 	@${ECHO_MSG} "Use WITHOUT_XSPIN=yes to suppress xspin (and TCL/Tk dependency)."
@@ -41,13 +44,13 @@
 	if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \
 	${REINPLACE_CMD} \
 		-e "s|%%LOCALBASE%%|${LOCALBASE}|g;" \
-		-e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin4.0/xspin407.tcl
+		-e "s|%%WISH%%|$$WISH|g" ${WRKDIR}/Xspin4.1/xspin412.tcl
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/spin ${PREFIX}/bin
 .if !defined(WITHOUT_XSPIN)
 	${RM} -f ${PREFIX}/bin/xspin
-	${INSTALL_SCRIPT} ${WRKDIR}/Xspin4.0/xspin407.tcl ${PREFIX}/bin/xspin
+	${INSTALL_SCRIPT} ${WRKDIR}/Xspin4.1/xspin412.tcl ${PREFIX}/bin/xspin
 .endif
 .if !defined(NOPORTDOCS)
 	${MKDIR} ${DOCSDIR}/Doc
@@ -56,9 +59,11 @@
 	${INSTALL_DATA} ${WRKDIR}/Doc/* ${DOCSDIR}/Doc
 	${INSTALL_DATA} ${WRKDIR}/Test/ex.* ${DOCSDIR}/Examples
 .for i in README.tests abp eratosthenes hello leader leader.ltl leader2 \
-	loops mobile1 mobile1.ltl mobile2 mobile2.ltl pathfinder peterson petersonN pftp priorities snoopy sort wordcount
+	leader_trace loops mobile1 mobile1.ltl mobile2 mobile2.ltl \
+	pathfinder peterson petersonN pftp priorities snoopy sort wordcount
 	${INSTALL_DATA} ${WRKDIR}/Test/$i ${DOCSDIR}/Test
 .endfor
+	${INSTALL_MAN} ${WRKDIR}/Man/spin.1 ${PREFIX}/man/man1
 .endif
 
 .include <bsd.port.mk>
diff -urPN spin.orig/distinfo spin/distinfo
--- spin.orig/distinfo	Thu Aug 28 00:43:33 2003
+++ spin/distinfo	Mon Feb 23 12:53:04 2004
@@ -1 +1,2 @@
-MD5 (spin/spin407.tar.gz) = dfb9886dae7985bf08a1a345564581ed
+MD5 (spin/spin412.tar.gz) = 6cbc680c4e441611e31b052201f13848
+SIZE (spin/spin412.tar.gz) = 321465
diff -urPN spin.orig/files/patch-make_unix spin/files/patch-make_unix
--- spin.orig/files/patch-make_unix	Fri Apr 11 09:33:33 2003
+++ spin/files/patch-make_unix	Mon Feb 23 13:05:39 2004
@@ -1,6 +1,6 @@
 --- make_unix.orig	Mon Apr  7 20:30:46 2003
 +++ make_unix	Mon Apr  7 20:31:36 2003
-@@ -12,8 +12,9 @@
+@@ -9,8 +9,9 @@
  # [a more up-to-date book documenting Spin will appear in 2003]
  
  # CC=gcc		# or any other ansi compatible c compiler
diff -urPN spin.orig/files/patch-xspin spin/files/patch-xspin
--- spin.orig/files/patch-xspin	Fri Aug  8 15:03:49 2003
+++ spin/files/patch-xspin	Mon Feb 23 13:00:18 2004
@@ -1,13 +1,18 @@
---- ../Xspin4.0/xspin407.tcl.orig	Mon Apr  7 20:37:27 2003
-+++ ../Xspin4.0/xspin407.tcl	Mon Apr  7 20:40:10 2003
-@@ -1,20 +1,4 @@
+--- ../Xspin4.1/xspin412.tcl.orig	Mon Feb 23 12:57:50 2004
++++ ../Xspin4.1/xspin412.tcl	Mon Feb 23 12:59:00 2004
+@@ -1,25 +1,4 @@
 -#!/bin/sh
 -# the next line restarts using wish \
 -exec wish c:/cygwin/bin/xspin -- $*
 -
+-# make sure this is where (a copy of) this script is stored
+-#
+-
+-# cd	;# enable this line to cd to you home directory by default
+-
 -# on PCs:
 -# adjust the first argument to wish above with the name and
--# location of this tcl/tk file on your system, if different.
+-# location of this file on your system, if different.
 -#
 -# Cygwin:
 -# if you use cygwin, do not refer to the file as /usr/bin/xspin
@@ -21,4 +26,4 @@
 +#!%%LOCALBASE%%/bin/%%WISH%% -f
  
  #======================================================================#
- # Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA.  #
+ # Tcl/Tk Spin Controller, written by Gerard J. Holzmann, 1995-2004.    #
diff -urPN spin.orig/pkg-plist spin/pkg-plist
--- spin.orig/pkg-plist	Thu Aug 28 00:43:33 2003
+++ spin/pkg-plist	Mon Feb 23 13:23:03 2004
@@ -31,6 +31,7 @@
 %%PORTDOCS%%%%DOCSDIR%%/Test/leader
 %%PORTDOCS%%%%DOCSDIR%%/Test/leader.ltl
 %%PORTDOCS%%%%DOCSDIR%%/Test/leader2
+%%PORTDOCS%%%%DOCSDIR%%/Test/leader_trace
 %%PORTDOCS%%%%DOCSDIR%%/Test/loops
 %%PORTDOCS%%%%DOCSDIR%%/Test/mobile1
 %%PORTDOCS%%%%DOCSDIR%%/Test/mobile1.ltl
>Release-Note:
>Audit-Trail:
>Unformatted: