diff options
| -rw-r--r-- | devel/spin/Makefile | 7 | ||||
| -rw-r--r-- | devel/spin/distinfo | 4 | ||||
| -rw-r--r-- | 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. # |