--- 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