forked from Lainports/freebsd-ports
14 lines
542 B
Text
14 lines
542 B
Text
--- 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
|