makefile.in: use LDFLAGS for linking instead of CFLAGS

arminbiere · May 29, 2021 · 360dbb6 · 360dbb6
1 parent 7d5db72
commit 360dbb6
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/makefile.in b/makefile.in
@@ -29,21 +29,21 @@ liblgl.a: lglib.o lglbnr.o lgldimacs.o lglopts.o makefile $(EXTRAOBJS)
 	ranlib $@
 
 lingeling: lglmain.o liblgl.a makefile $(LDEPS)
-	$(CC) $(CFLAGS) -o $@ lglmain.o -L. -llgl $(LIBS)
+	$(CC) $(LDFLAGS) -o $@ lglmain.o -L. -llgl $(LIBS)
 plingeling: plingeling.o liblgl.a makefile $(LDEPS)
-	$(CC) $(CFLAGS) -pthread -o $@ plingeling.o -L. -llgl $(LIBS)
+	$(CC) $(LDFLAGS) -pthread -o $@ plingeling.o -L. -llgl $(LIBS)
 treengeling: treengeling.o liblgl.a makefile $(LDEPS)
-	$(CC) $(CFLAGS) -pthread -o $@ treengeling.o -L. -llgl $(LIBS)
+	$(CC) $(LDFLAGS) -pthread -o $@ treengeling.o -L. -llgl $(LIBS)
 blimc: blimc.o liblgl.a makefile $(AIGER)/aiger.o $(LDEPS)
-	$(CC) $(CFLAGS) -o $@ blimc.o -L. $(AIGER)/aiger.o -llgl $(LIBS)
+	$(CC) $(LDFLAGS) -o $@ blimc.o -L. $(AIGER)/aiger.o -llgl $(LIBS)
 ilingeling: ilingeling.o liblgl.a makefile $(LDEPS)
-	$(CC) $(CFLAGS) -pthread -o $@ ilingeling.o -L. -llgl $(LIBS)
+	$(CC) $(LDFLAGS) -pthread -o $@ ilingeling.o -L. -llgl $(LIBS)
 lglmbt: lglmbt.o liblgl.a $(LDEPS)
-	$(CC) $(CFLAGS) -o $@ lglmbt.o -L. -llgl $(LIBS)
+	$(CC) $(LDFLAGS) -o $@ lglmbt.o -L. -llgl $(LIBS)
 lgluntrace: lgluntrace.o liblgl.a makefile $(LDEPS)
-	$(CC) $(CFLAGS) -o $@ lgluntrace.o -L. -llgl $(LIBS)
+	$(CC) $(LDFLAGS) -o $@ lgluntrace.o -L. -llgl $(LIBS)
 lglddtrace: lglddtrace.o liblgl.a makefile $(LDEPS)
-	$(CC) $(CFLAGS) -o $@ lglddtrace.o -L. -llgl $(LIBS)
+	$(CC) $(LDFLAGS) -o $@ lglddtrace.o -L. -llgl $(LIBS)
 
 lglmain.o: lglmain.c lglib.h makefile
 	$(CC) $(CFLAGS) -c lglmain.c