aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortrevor <trevor@FreeBSD.org>2004-03-10 06:50:27 +0800
committertrevor <trevor@FreeBSD.org>2004-03-10 06:50:27 +0800
commit06ba5c4ccf8c98b579859ab40aaeeaa4048ca7b7 (patch)
tree1617835f0262712af61e8303f831062988adfc4c
parent9a39a3e52eed77fc45a2463c407816b6ad26fbba (diff)
downloadfreebsd-ports-graphics-06ba5c4ccf8c98b579859ab40aaeeaa4048ca7b7.tar.gz
freebsd-ports-graphics-06ba5c4ccf8c98b579859ab40aaeeaa4048ca7b7.tar.zst
freebsd-ports-graphics-06ba5c4ccf8c98b579859ab40aaeeaa4048ca7b7.zip
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)
-rw-r--r--devel/spin/Makefile7
-rw-r--r--devel/spin/distinfo4
-rw-r--r--devel/spin/files/patch-xspin34
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. #