diff options
| author | Norikatsu Shigemura <nork@FreeBSD.org> | 2003-04-11 16:33:33 +0000 |
|---|---|---|
| committer | Norikatsu Shigemura <nork@FreeBSD.org> | 2003-04-11 16:33:33 +0000 |
| commit | b233f5dbd88ac79cc03376aac6a2256d2e642429 (patch) | |
| tree | 3e24c1f955e0cd708c33b2d0af06bb222c190f14 /devel/spin/files | |
| parent | Update 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-aa | 11 | ||||
| -rw-r--r-- | devel/spin/files/patch-ab | 14 | ||||
| -rw-r--r-- | devel/spin/files/patch-make_unix | 14 | ||||
| -rw-r--r-- | devel/spin/files/patch-xspin | 24 |
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. # |
