Use new distfile. Minor changes were made to xspin412.tcl, mostly

in the comments, and DOS-style carriage-return characters were added
to the file.

PR:		63940
Submitted by:	Jonathan Hanna (maintainer)

devel/spin/Makefile

@@ -15,7 +15,6 @@ DISTNAME=	spin${PORTVERSION:S/.//g}
 MAINTAINER=	jhanna@shaw.ca
 COMMENT=	An on-the-fly verification system for asynchronous concurrent systems
 
-BROKEN=		checksum mismatch
 .if !defined(WITHOUT_XSPIN)
 RUN_DEPENDS=	wish8.4:${PORTSDIR}/x11-toolkits/tk84
 PLIST_SUB+=	XSPIN=""
@@ -40,6 +39,12 @@ pre-everything::
 post-extract:
 	@cd ${WRKDIR}/Test && ${SH} ${WRKDIR}/Test/examples
 
+pre-patch:
+	${TR} -d '\015' < ${WRKDIR}/Xspin4.1/xspin412.tcl \
+		> ${WRKDIR}/Xspin4.1/xspin412.tcl.tmp
+	${MV} -f ${WRKDIR}/Xspin4.1/xspin412.tcl.tmp \
+		${WRKDIR}/Xspin4.1/xspin412.tcl
+
 post-patch:
 	@WISH=`(cd ${LOCALBASE}/bin ; ${LS} wish8* ) | tail -1` ; \
 	if [ -z "$$WISH" ] ; then WISH=wish8.0 ; fi ; \

devel/spin/distinfo

@@ -1,2 +1,2 @@
-MD5 (spin/spin412.tar.gz) = 6cbc680c4e441611e31b052201f13848
-SIZE (spin/spin412.tar.gz) = 321465
+MD5 (spin/spin412.tar.gz) = 0c25485f37ef44d01328833b293734a2
+SIZE (spin/spin412.tar.gz) = 322223

devel/spin/files/patch-xspin

@@ -1,29 +1,11 @@
---- ../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 @@
+--- ../Xspin4.1/xspin412.tcl.orig	Mon Mar  8 11:27:07 2004
++++ ../Xspin4.1/xspin412.tcl	Mon Mar  8 11:31:09 2004
+@@ -1,6 +1,6 @@
 -#!/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 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
+ # the next line restarts using wish \
+-exec wish c:/cygwin/bin/xspin -- $*
++# exec wish c:/cygwin/bin/xspin -- $*
+ 
+ # cd	;# enable to cd to home directory by default
  
- #======================================================================#
- # Tcl/Tk Spin Controller, written by Gerard J. Holzmann, 1995-2004.    #