diff options
Diffstat (limited to 'math/spin/files/patch-ab')
| -rw-r--r-- | math/spin/files/patch-ab | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/math/spin/files/patch-ab b/math/spin/files/patch-ab deleted file mode 100644 index a50e73daae58..000000000000 --- a/math/spin/files/patch-ab +++ /dev/null @@ -1,14 +0,0 @@ ---- makefile.orig Wed Feb 20 13:40:54 2002 -+++ makefile Sun Apr 7 17:44:50 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 # if you need the X operator in LTL --CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include -+# CC=cc -g -DNXT # if you need 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 |