--- 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