Skip to content

Instantly share code, notes, and snippets.

@wenkokke
Created August 24, 2014 10:18
Show Gist options
  • Save wenkokke/8cd47c96991a1474ebc3 to your computer and use it in GitHub Desktop.
Save wenkokke/8cd47c96991a1474ebc3 to your computer and use it in GitHub Desktop.
Fixes for one of the Prover9 Makefiles.
--- ./provers.src/Makefile 2013-11-24 18:48:09.000000000 +0100
+++ ./provers.src/Makefile 2013-11-24 18:49:38.000000000 +0100
@@ -63,25 +63,25 @@
$(MAKE) prover9
prover9: prover9.o $(OBJECTS)
- $(CC) $(CFLAGS) -lm -o prover9 prover9.o $(OBJECTS) ../ladr/libladr.a
+ $(CC) $(CFLAGS) -o prover9 prover9.o $(OBJECTS) ../ladr/libladr.a -lm
fof-prover9: fof-prover9.o $(OBJECTS)
- $(CC) $(CFLAGS) -lm -o fof-prover9 fof-prover9.o $(OBJECTS) ../ladr/libladr.a
+ $(CC) $(CFLAGS) -o fof-prover9 fof-prover9.o $(OBJECTS) ../ladr/libladr.a -lm
ladr_to_tptp: ladr_to_tptp.o $(OBJECTS)
- $(CC) $(CFLAGS) -lm -o ladr_to_tptp ladr_to_tptp.o $(OBJECTS) ../ladr/libladr.a
+ $(CC) $(CFLAGS) -o ladr_to_tptp ladr_to_tptp.o $(OBJECTS) ../ladr/libladr.a -lm
tptp_to_ladr: tptp_to_ladr.o $(OBJECTS)
- $(CC) $(CFLAGS) -lm -o tptp_to_ladr tptp_to_ladr.o $(OBJECTS) ../ladr/libladr.a
+ $(CC) $(CFLAGS) -o tptp_to_ladr tptp_to_ladr.o $(OBJECTS) ../ladr/libladr.a -lm
autosketches4: autosketches4.o $(OBJECTS)
- $(CC) $(CFLAGS) -lm -o autosketches4 autosketches4.o $(OBJECTS) ../ladr/libladr.a
+ $(CC) $(CFLAGS) -o autosketches4 autosketches4.o $(OBJECTS) ../ladr/libladr.a -lm
newauto: newauto.o $(OBJECTS)
- $(CC) $(CFLAGS) -lm -o newauto newauto.o $(OBJECTS) ../ladr/libladr.a
+ $(CC) $(CFLAGS) -o newauto newauto.o $(OBJECTS) ../ladr/libladr.a -lm
newsax: newsax.o $(OBJECTS)
- $(CC) $(CFLAGS) -lm -o newsax newsax.o $(OBJECTS) ../ladr/libladr.a
+ $(CC) $(CFLAGS) -o newsax newsax.o $(OBJECTS) ../ladr/libladr.a -lm
cgrep: cgrep.o $(OBJECTS)
$(CC) $(CFLAGS) -o cgrep cgrep.o $(OBJECTS) ../ladr/libladr.a
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment