16 lines
582 B
Plaintext
16 lines
582 B
Plaintext
--- 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
|