summaryrefslogtreecommitdiff
path: root/math/spin/files/patch-ab
diff options
context:
space:
mode:
authorAde Lovett <ade@FreeBSD.org>2000-09-16 20:18:20 +0000
committerAde Lovett <ade@FreeBSD.org>2000-09-16 20:18:20 +0000
commitb630d590c1d788ebb2cc9ee44cc23810225e86be (patch)
tree8b783994de518456fe450a3a6861a63fca71a24c /math/spin/files/patch-ab
parentUpdate to 0.82 (diff)
Update to 3.4.1
PR: 21181 Submitted by: maintainer
Notes
Notes: svn path=/head/; revision=32730
Diffstat (limited to 'math/spin/files/patch-ab')
-rw-r--r--math/spin/files/patch-ab12
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