diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-31 14:29:58 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-19 19:09:27 -0400 |
| commit | 7dd316a13b796d02985be63b1b03975a756fb624 (patch) | |
| tree | ab348129940e25c4dde47c19568aea40d31a51ea /Makefile | |
| parent | 89a1304db9208a366c10136e8dee722f634015e9 (diff) | |
Remove PropositionalQuery class and all CUDD-related build stuff (and references)
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -47,7 +47,7 @@ submission submission-main: exit 1; \ fi ./autogen.sh - ./configure competition --disable-shared --enable-static-binary --with-cln --without-cudd + ./configure competition --disable-shared --enable-static-binary --with-cln $(MAKE) strip builds/bin/cvc4 $(MAKE) check @@ -67,7 +67,7 @@ submission-application: exit 1; \ fi ./autogen.sh - ./configure competition --disable-shared --enable-static-binary --with-cln --without-cudd CXXFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK CFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK + ./configure competition --disable-shared --enable-static-binary --with-cln CXXFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK CFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK $(MAKE) strip builds/bin/cvc4 $(MAKE) check @@ -88,7 +88,7 @@ submission-parallel: exit 1; \ fi ./autogen.sh - ./configure competition --disable-shared --enable-static-binary --with-gmp --without-cudd --with-portfolio + ./configure competition --disable-shared --enable-static-binary --with-gmp --with-portfolio $(MAKE) strip builds/bin/pcvc4 # some test cases fail (and are known to fail) |