summaryrefslogtreecommitdiff
path: root/devel/spin/files
diff options
context:
space:
mode:
authorNorikatsu Shigemura <nork@FreeBSD.org>2003-04-11 16:33:33 +0000
committerNorikatsu Shigemura <nork@FreeBSD.org>2003-04-11 16:33:33 +0000
commitb233f5dbd88ac79cc03376aac6a2256d2e642429 (patch)
tree3e24c1f955e0cd708c33b2d0af06bb222c190f14 /devel/spin/files
parentUpdate to 0.19.2. (diff)
Update to 4.0.3.
PR: ports/50706 Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer)
Notes
Notes: svn path=/head/; revision=78743
Diffstat (limited to 'devel/spin/files')
-rw-r--r--devel/spin/files/patch-aa11
-rw-r--r--devel/spin/files/patch-ab14
-rw-r--r--devel/spin/files/patch-make_unix14
-rw-r--r--devel/spin/files/patch-xspin24
4 files changed, 38 insertions, 25 deletions
diff --git a/devel/spin/files/patch-aa b/devel/spin/files/patch-aa
deleted file mode 100644
index 9e11a1538e21..000000000000
--- a/devel/spin/files/patch-aa
+++ /dev/null
@@ -1,11 +0,0 @@
---- ../Xspin3.5/xspin351.tcl.orig Wed Nov 27 13:45:12 2002
-+++ ../Xspin3.5/xspin351.tcl Sat Dec 7 11:38:00 2002
-@@ -1,6 +1,6 @@
--#!/bin/sh
-+#!%%LOCALBASE%%/bin/%%WISH%% -f
- # the next line restarts using wish \
--exec wish c:/cygwin/bin/xspin -- $*
-+# exec wish c:/cygwin/bin/xspin -- $*
-
- # adjust the first argument to wish above with the
- # location of xspin on your system, if different.
diff --git a/devel/spin/files/patch-ab b/devel/spin/files/patch-ab
deleted file mode 100644
index 0a9eb5915da3..000000000000
--- a/devel/spin/files/patch-ab
+++ /dev/null
@@ -1,14 +0,0 @@
---- makefile.orig Sun Sep 29 08:47:34 2002
-+++ makefile Sun Oct 6 18:24:09 2002
-@@ -11,8 +11,9 @@
- # The book is available frm www.amazon.com
-
- # CC=cc -g # or any other ansi compatible c compiler
--CC=cc -g -DNXT # enables the X operator in LTL
--CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include
-+# CC=cc -g -DNXT # enables the X operator in LTL
-+# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include
-+CFLAGS += -DNXT
-
- # on Solaris: add -DSOLARIS
- # on PCs: add -DPC
diff --git a/devel/spin/files/patch-make_unix b/devel/spin/files/patch-make_unix
new file mode 100644
index 000000000000..4345af58a4cc
--- /dev/null
+++ b/devel/spin/files/patch-make_unix
@@ -0,0 +1,14 @@
+--- make_unix.orig Mon Apr 7 20:30:46 2003
++++ make_unix Mon Apr 7 20:31:36 2003
+@@ -12,8 +12,9 @@
+ # [a more up-to-date book documenting Spin will appear in 2003]
+
+ # CC=gcc # or any other ansi compatible c compiler
+-CC=cc -g -DNXT # -DNXT enables the X operator in LTL
+-CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include
++# CC=cc -g -DNXT # -DNXT enables the X operator in LTL
++# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include
++CFLAGS += -DNXT
+
+ # on Solaris: add -DSOLARIS
+ # on PCs: add -DPC
diff --git a/devel/spin/files/patch-xspin b/devel/spin/files/patch-xspin
new file mode 100644
index 000000000000..15eff25d550d
--- /dev/null
+++ b/devel/spin/files/patch-xspin
@@ -0,0 +1,24 @@
+--- ../Xspin4.0/xspin402.tcl.orig Mon Apr 7 20:37:27 2003
++++ ../Xspin4.0/xspin402.tcl Mon Apr 7 20:40:10 2003
+@@ -1,20 +1,4 @@
+-#!/bin/sh
+-# the next line restarts using wish \
+-exec wish c:/cygwin/bin/xspin -- $*
+-
+-# on PCs:
+-# adjust the first argument to wish above with the name and
+-# location of this tcl/tk 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
+
+ #======================================================================#
+ # Tcl/Tk Spin Controller, Gerard J. Holzmann, Bell Laboratories, USA. #