From: trevor_hansen Date: Sun, 7 Mar 2010 14:07:42 +0000 (+0000) Subject: Fixing build. My last checkin forgot to add building "abc" to make all. X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=0862f31037373384358dabe4d4d102192fc5ffdb;p=francis%2Fstp.git Fixing build. My last checkin forgot to add building "abc" to make all. git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@626 e59a4935-1847-0410-ae03-e826735625c1 --- diff --git a/Makefile b/Makefile index 9ab6154..e5b1d61 100644 --- a/Makefile +++ b/Makefile @@ -16,7 +16,7 @@ LIBRARIES=lib/libstp.a HEADERS=$(SRC)/c_interface/*.h .PHONY: all -all: AST STPManager absrefine_counterexample to-sat simplifier printer c_interface extlib-constbv +all: AST STPManager absrefine_counterexample to-sat simplifier printer c_interface extlib-constbv extlib-abc ifdef CRYPTOMINISAT $(MAKE) -C $(SRC)/sat cryptominisat @@ -51,8 +51,7 @@ endif $(SRC)/parser/lexCVC.o \ $(SRC)/parser/parseSMT.o \ $(SRC)/parser/lexSMT.o \ - $(SRC)/main/*.o \ - + $(SRC)/main/*.o $(RANLIB) libstp.a @mkdir -p lib @mv libstp.a lib/ @@ -67,7 +66,7 @@ endif AST: $(MAKE) -C $(SRC)/$@ -STPManager absrefine_counterexample to-sat simplifier printer c_interface extlib-constbv: AST +STPManager absrefine_counterexample to-sat simplifier printer c_interface extlib-constbv extlib-abc: AST $(MAKE) -C $(SRC)/$@ #### diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 64a7a82..e5b1d61 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -16,7 +16,7 @@ LIBRARIES=lib/libstp.a HEADERS=$(SRC)/c_interface/*.h .PHONY: all -all: AST STPManager absrefine_counterexample to-sat simplifier printer c_interface extlib-constbv +all: AST STPManager absrefine_counterexample to-sat simplifier printer c_interface extlib-constbv extlib-abc ifdef CRYPTOMINISAT $(MAKE) -C $(SRC)/sat cryptominisat @@ -66,7 +66,7 @@ endif AST: $(MAKE) -C $(SRC)/$@ -STPManager absrefine_counterexample to-sat simplifier printer c_interface extlib-constbv: AST +STPManager absrefine_counterexample to-sat simplifier printer c_interface extlib-constbv extlib-abc: AST $(MAKE) -C $(SRC)/$@ ####