diff options
Diffstat (limited to 'devel/spin/files/patch-make_unix')
| -rw-r--r-- | devel/spin/files/patch-make_unix | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/devel/spin/files/patch-make_unix b/devel/spin/files/patch-make_unix deleted file mode 100644 index e1deddbdf8bd..000000000000 --- a/devel/spin/files/patch-make_unix +++ /dev/null @@ -1,14 +0,0 @@ ---- make_unix.orig Mon Apr 7 20:30:46 2003 -+++ make_unix Mon Apr 7 20:31:36 2003 -@@ -9,8 +9,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 |