blob: 91869c5eed38218c20593e759af1a0c5a2636ec9 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
--- 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 -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
+# CFLAGS=-ansi -D_POSIX_SOURCE # on some systems add: -I/usr/include
+CC += -DNXT
# on Solaris: add -DSOLARIS
# on PCs: add -DPC
|
