blob: 5dcb9d876dfddef2c2c47c7df5361573a720e918 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
--- makefile.orig
+++ makefile
@@ -17,12 +17,12 @@
OPTFLAGS = -g
#DFLAGS = -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP -DSERGEYDEBUG
DFLAGS = -DBETTERHASH -DSMV_SIGNALS -DOTHER_SIMP
-CFLAGS = $(OPTFLAGS) -I. $(DFLAGS) $(REORDER) $(TIMING) $(VERFLAG)
-LIB = -lm $(MACHLIB)
+CFLAGS += $(OPTFLAGS) -I. $(DFLAGS) $(REORDER) $(TIMING) $(VERFLAG)
+LDFLAGS += -lm $(MACHLIB)
OBJ = grammar.o input.o init.o main.o assoc.o bdd.o hash.o node.o storage.o \
string.o symbols.o
EXEC = smv
-CC = gcc
+CC ?= gcc
M4 = m4
#M4 = gm4
@@ -38,7 +38,7 @@
$(EXEC): $(OBJ) $(DEBUG)
rm -f $(EXEC)
- $(CC) $(CFLAGS) $(OBJ) $(LIB) $(DEBUG) -o $(EXEC)
+ $(CC) $(CFLAGS) $(OBJ) $(LDFLAGS) $(DEBUG) -o $(EXEC)
grammar.y: grammar.m4
rm -f grammar.y
$(M4) $(TM4) grammar.m4 > grammar.y
|
