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 9ab6154323036dd515eee9a010daaca2a1fddcbe..e5b1d61bae3424f7180161f127579f775be491ec 100644 (file)
--- 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 64a7a82f214120b4922ff0ece01ba5fa952880fb..e5b1d61bae3424f7180161f127579f775be491ec 100644 (file)
--- 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)/$@
 
 ####