diff options
Diffstat (limited to 'math/spin/files/patch-ab')
| -rw-r--r-- | math/spin/files/patch-ab | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/math/spin/files/patch-ab b/math/spin/files/patch-ab index 8867ad2ed574..91869c5eed38 100644 --- a/math/spin/files/patch-ab +++ b/math/spin/files/patch-ab @@ -1,13 +1,15 @@ ---- makefile.orig Wed Jun 23 18:26:14 1999 -+++ makefile Wed Jun 23 18:27:41 1999 -@@ -10,8 +10,8 @@ +--- makefile.orig Sun Sep 10 19:59:06 2000 ++++ makefile Sun Sep 10 20:00:41 2000 +@@ -10,9 +10,10 @@ # Send bug-reports and/or questions to: gerard@research.bell-labs.com # The book is available frm www.amazon.com --CC=cc -O2 -DNXT # or any other ansi compatible c compiler +-CC=cc -g # or any other ansi compatible c compiler ++# 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 -O2 -DNXT # or any other ansi compatible c compiler +# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include ++CC += -DNXT # on Solaris: add -DSOLARIS # on PCs: add -DPC |