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 /contrib/cut-release | |
| parent | 89a1304db9208a366c10136e8dee722f634015e9 (diff) | |
Remove PropositionalQuery class and all CUDD-related build stuff (and references)
Diffstat (limited to 'contrib/cut-release')
| -rwxr-xr-x | contrib/cut-release | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/cut-release b/contrib/cut-release index 06fc12686..2b7f6f683 100755 --- a/contrib/cut-release +++ b/contrib/cut-release @@ -170,11 +170,11 @@ if ! $SHELL -c '\ ./autogen.sh || echo "autoconf failed; does library_versions have something to match $version?"; \ mkdir "release-$version"; \ cd "release-$version"; \ - ../configure production-staticbinary --disable-shared --enable-unit-testing --without-cudd --with-readline --with-portfolio; \ + ../configure production-staticbinary --disable-shared --enable-unit-testing --with-readline --with-portfolio; \ make dist "$@"; \ tar xf "cvc4-$version.tar.gz"; \ cd "cvc4-$version"; \ - ./configure production-staticbinary --disable-shared --enable-unit-testing --without-cudd --with-readline --with-portfolio; \ + ./configure production-staticbinary --disable-shared --enable-unit-testing --with-readline --with-portfolio; \ make check "$@"; \ make distcheck "$@"; \ '; then |