--- makefile.orig	Sun Sep 29 08:47:34 2002
+++ makefile	Sun Oct  6 18:24:09 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	# enables the X operator in LTL
-CFLAGS=-ansi -D_POSIX_SOURCE	# on some systems add: -I/usr/include
+# CC=cc -g -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