1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-07 22:58:11 +00:00
freebsd-ports/devel/spin/files/patch-ab
Ade Lovett b630d590c1 Update to 3.4.1
PR:		21181
Submitted by:	maintainer
2000-09-16 20:18:20 +00:00

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