From 06ba5c4ccf8c98b579859ab40aaeeaa4048ca7b7 Mon Sep 17 00:00:00 2001
From: trevor <trevor@FreeBSD.org>
Date: Tue, 9 Mar 2004 22:50:27 +0000
Subject: 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          |  7 ++++++-
 devel/spin/distinfo          |  4 ++--
 devel/spin/files/patch-xspin | 34 ++++++++--------------------------
 3 files changed, 16 insertions(+), 29 deletions(-)

diff --git a/devel/spin/Makefile b/devel/spin/Makefile
index 71a9a3f3230..48b0952c601 100644
--- a/devel/spin/Makefile
+++ b/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 ; \
diff --git a/devel/spin/distinfo b/devel/spin/distinfo
index 8820ef990d7..54a374a9f54 100644
--- a/devel/spin/distinfo
+++ b/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
diff --git a/devel/spin/files/patch-xspin b/devel/spin/files/patch-xspin
index 6167c46fb5a..3963f86c551 100644
--- a/devel/spin/files/patch-xspin
+++ b/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.    #
-- 
cgit