From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 4 Jun 2014 22:08:34 +0000 (-0400)
Subject: SMT-COMP version gets built --with-abc.
X-Git-Tag: cvc5-1.0.0~6855
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0dce010bea47bc6a318eece2bd92ed2305b64c21;p=cvc5.git

SMT-COMP version gets built --with-abc.
---

diff --git a/Makefile b/Makefile
index 8e8a19952..ac0433103 100644
--- a/Makefile
+++ b/Makefile
@@ -54,7 +54,7 @@ submission submission-main:
 	  exit 1; \
 	fi
 	./autogen.sh
-	./configure competition --disable-shared --enable-static-binary --with-cln --with-glpk --enable-gpl
+	./configure competition --disable-shared --enable-static-binary --with-cln --with-glpk --with-abc --enable-gpl
 	$(MAKE)
 	strip builds/bin/cvc4
 	$(MAKE) check
@@ -81,7 +81,7 @@ submission-application:
 	  exit 1; \
 	fi
 	./autogen.sh
-	./configure competition --disable-shared --enable-static-binary --with-cln --with-glpk --enable-gpl CXXFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK CFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK
+	./configure competition --disable-shared --enable-static-binary --with-cln --with-glpk --with-abc --enable-gpl CXXFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK CFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK
 	$(MAKE)
 	strip builds/bin/cvc4
 	$(MAKE) check
@@ -108,7 +108,7 @@ submission-parallel:
 	  exit 1; \
 	fi
 	./autogen.sh
-	./configure competition --disable-shared --enable-static-binary --with-gmp --with-portfolio --with-glpk --enable-gpl
+	./configure competition --disable-shared --enable-static-binary --with-gmp --with-portfolio --with-glpk --with-abc --enable-gpl
 	$(MAKE)
 	strip builds/bin/pcvc4
 	# some test cases fail (and are known to fail)