blob: 4f4c6dd12fc5bfc03a5a6e03fcfefb4f75b6ea0c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
--- makefile.orig 2010-10-12 13:13:59.000000000 +0200
+++ makefile 2010-10-12 13:15:19.000000000 +0200
@@ -10,10 +10,6 @@
# Documentation: http://spinroot.com/
# Bug-reports: bugs@spinroot.com
-CC=gcc -DNXT # -DNXT enables the X operator in LTL
-# CC=cc -m32 -DNXT # for 32bit compilation on a 64bit system
-CFLAGS=-ansi -D_POSIX_SOURCE -Wno-format-security # on some systems add: -I/usr/include
-
# for a more picky compilation:
# CFLAGS=-std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -g
@@ -37,7 +33,7 @@
tl_mem.o tl_rewrt.o tl_cache.o
spin: $(SPIN_OS) $(TL_OS)
- $(CC) $(CFLAGS) -o spin $(SPIN_OS) $(TL_OS)
+ $(CC) $(CFLAGS) $(LDFLAGS) -o spin $(SPIN_OS) $(TL_OS)
spin.o: spin.y
$(YACC) $(YFLAGS) spin.y
|
GitWeb
