summaryrefslogtreecommitdiffstats
path: root/devel/spin/files/patch-make_unix
diff options
context:
space:
mode:
Diffstat (limited to 'devel/spin/files/patch-make_unix')
-rw-r--r--devel/spin/files/patch-make_unix14
1 files changed, 14 insertions, 0 deletions
diff --git a/devel/spin/files/patch-make_unix b/devel/spin/files/patch-make_unix
new file mode 100644
index 0000000..4345af5
--- /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
OpenPOWER on IntegriCloud