diff options
Diffstat (limited to 'sci-mathematics/spin/files')
| -rw-r--r-- | sci-mathematics/spin/files/spin-makefile.patch | 13 | ||||
| -rw-r--r-- | sci-mathematics/spin/files/spin-xspin.patch | 26 |
2 files changed, 39 insertions, 0 deletions
diff --git a/sci-mathematics/spin/files/spin-makefile.patch b/sci-mathematics/spin/files/spin-makefile.patch new file mode 100644 index 000000000000..83fa9e95e12f --- /dev/null +++ b/sci-mathematics/spin/files/spin-makefile.patch @@ -0,0 +1,13 @@ +--- makefile.orig 2010-04-03 12:13:41.000000000 +0200 ++++ makefile 2010-04-03 12:14:21.000000000 +0200 +@@ -10,10 +10,6 @@ + # Documentation: http://spinroot.com/ + # Bug-reports: bugs@spinroot.com + +-CC=gcc -DNXT # -DNXT enables the X operator in LTL +-# CC=cc -m32 -DNXT # for 32bit compilation on a 64bit system +-CFLAGS=-ansi -D_POSIX_SOURCE -Wno-format-security # on some systems add: -I/usr/include +- + # for a more picky compilation: + # CFLAGS=-std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -g + diff --git a/sci-mathematics/spin/files/spin-xspin.patch b/sci-mathematics/spin/files/spin-xspin.patch new file mode 100644 index 000000000000..72b6f36acd3b --- /dev/null +++ b/sci-mathematics/spin/files/spin-xspin.patch @@ -0,0 +1,26 @@ +--- xspin523.tcl.orig 2010-04-03 12:26:48.000000000 +0200 ++++ xspin523.tcl 2010-04-03 12:27:26.000000000 +0200 +@@ -1,22 +1,4 @@ +-#!/bin/sh +-# the next line restarts using wish \ +-exec wish c:/cygwin/bin/xspin -- $* +- +-# cd ;# enable to cd to home directory by default +- +-# 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 ++#!/usr/bin/wish -f + + #======================================================================# + # Tcl/Tk Spin Controller, written by Gerard J. Holzmann, 1995-2009. # |