git: f657d4c2d0d1 - main - devel/smv: Respect LDFLAGS
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 17 Feb 2025 18:37:13 UTC
The branch main has been updated by brooks:
URL: https://cgit.FreeBSD.org/ports/commit/?id=f657d4c2d0d1b9415016b19699a762da630fc679
commit f657d4c2d0d1b9415016b19699a762da630fc679
Author: Brooks Davis <brooks@FreeBSD.org>
AuthorDate: 2025-02-17 18:37:06 +0000
Commit: Brooks Davis <brooks@FreeBSD.org>
CommitDate: 2025-02-17 18:37:06 +0000
devel/smv: Respect LDFLAGS
No functional change intended.
---
devel/smv/files/patch-makefile | 16 +++++++++++++---
1 file changed, 13 insertions(+), 3 deletions(-)
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,12 +1,13 @@
---- 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
@@ -15,3 +16,12 @@
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