From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 2 Jul 2014 19:22:22 +0000 (-0400)
Subject: Fix cut-release script for new configure rules.
X-Git-Tag: cvc5-1.0.0~6703
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a5df93270d53400687d64822a9f2a7e9412a55f5;p=cvc5.git

Fix cut-release script for new configure rules.
---

diff --git a/contrib/cut-release b/contrib/cut-release
index ed39da6e4..7f14a8d7e 100755
--- a/contrib/cut-release
+++ b/contrib/cut-release
@@ -183,11 +183,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 --with-readline --with-portfolio; \
+	../configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd; \
 	make dist "$@"; \
 	tar xf "cvc4-$version.tar.gz"; \
 	cd "cvc4-$version"; \
-	./configure production-staticbinary --disable-shared --enable-unit-testing --with-readline --with-portfolio; \
+	./configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd; \
 	make check "$@"; \
 	make distcheck "$@"; \
 '; then