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