diff options
| author | Norikatsu Shigemura <nork@FreeBSD.org> | 2003-04-11 16:33:33 +0000 |
|---|---|---|
| committer | Norikatsu Shigemura <nork@FreeBSD.org> | 2003-04-11 16:33:33 +0000 |
| commit | b233f5dbd88ac79cc03376aac6a2256d2e642429 (patch) | |
| tree | 3e24c1f955e0cd708c33b2d0af06bb222c190f14 /devel/spin/files/patch-make_unix | |
| parent | Update to 0.19.2. (diff) | |
Update to 4.0.3.
PR: ports/50706
Submitted by: Jonathan Hanna <jhanna@shaw.ca> (maintainer)
Notes
Notes:
svn path=/head/; revision=78743
Diffstat (limited to 'devel/spin/files/patch-make_unix')
| -rw-r--r-- | devel/spin/files/patch-make_unix | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/devel/spin/files/patch-make_unix b/devel/spin/files/patch-make_unix new file mode 100644 index 000000000000..4345af58a4cc --- /dev/null +++ b/devel/spin/files/patch-make_unix @@ -0,0 +1,14 @@ +--- 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 |