blob: a50e73daae58c2986f759afd6a6d51c1f8174896 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
--- 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
|
