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

diff --git a/Makefile b/Makefile
index 8e8a19952818acbb026715e993fd30cd8f9ac200..ac0433103a3aea0fdeb0ae7273f1311e7076da0c 100644 (file)
--- 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)