From e920903ce17dfb3a2b01e1aaf8cdd53f90dbd04f Mon Sep 17 00:00:00 2001 From: Jannik Vierling Date: Mon, 15 Oct 2018 10:59:49 +0200 Subject: [PATCH] fix provers makefile --- provers.src/Makefile | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/provers.src/Makefile b/provers.src/Makefile index 2913243..39e7b34 100644 --- a/provers.src/Makefile +++ b/provers.src/Makefile @@ -64,34 +64,34 @@ prover: $(MAKE) prover9 prover9: prover9.o $(OBJECTS) - $(CC) $(CFLAGS) -lm -o prover9 prover9.o $(OBJECTS) ../ladr/libladr.a + $(CC) $(CFLAGS) -o prover9 prover9.o $(OBJECTS) -lm ../ladr/libladr.a 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) -lm ../ladr/libladr.a 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) -lm ../ladr/libladr.a 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) -lm ../ladr/libladr.a autosketches4: autosketches4.o $(OBJECTS) - $(CC) $(CFLAGS) -lm -o autosketches4 autosketches4.o $(OBJECTS) ../ladr/libladr.a + $(CC) $(CFLAGS) -o autosketches4 autosketches4.o $(OBJECTS) -lm ../ladr/libladr.a newauto: newauto.o $(OBJECTS) - $(CC) $(CFLAGS) -lm -o newauto newauto.o $(OBJECTS) ../ladr/libladr.a + $(CC) $(CFLAGS) -o newauto newauto.o $(OBJECTS) -lm ../ladr/libladr.a newsax: newsax.o $(OBJECTS) - $(CC) $(CFLAGS) -lm -o newsax newsax.o $(OBJECTS) ../ladr/libladr.a + $(CC) $(CFLAGS) -o newsax newsax.o $(OBJECTS) -lm ../ladr/libladr.a cgrep: cgrep.o $(OBJECTS) - $(CC) $(CFLAGS) -o cgrep cgrep.o $(OBJECTS) ../ladr/libladr.a + $(CC) $(CFLAGS) -o cgrep cgrep.o $(OBJECTS) -lm ../ladr/libladr.a mprover: mprover.o $(OBJECTS) - $(CC) $(CFLAGS) -o mprover mprover.o $(OBJECTS) ../ladr/libladr.a ../mace4.src/libmace4.a + $(CC) $(CFLAGS) -o mprover mprover.o $(OBJECTS) -lm ../ladr/libladr.a ../mace4.src/libmace4.a iterate4: iterate4.o $(OBJECTS) - $(CC) $(CFLAGS) -o iterate4 iterate4.o $(OBJECTS) ../ladr/libladr.a + $(CC) $(CFLAGS) -o iterate4 iterate4.o $(OBJECTS) -lm ../ladr/libladr.a prover9.o mprover.o iterate4.o autosketches4.o fof-prover9.o: search.h utilities.h forward_subsume.h giv_select.h white_black.h demodulate.h actions.h index_lits.h pred_elim.h unfold.h provers.h