diff --git a/devel/smv/files/patch-makefile b/devel/smv/files/patch-makefile
index 3121491dc72e..5dcb9d876dfd 100644
--- a/devel/smv/files/patch-makefile
+++ b/devel/smv/files/patch-makefile
@@ -1,17 +1,27 @@
---- makefile.orig	2014-02-19 11:28:02.790529666 +0100
-+++ makefile	2014-02-19 11:28:28.407549409 +0100
+--- 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)
- LIB = -lm $(MACHLIB)
++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