From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 6 Jul 2017 23:24:41 +0000 (-0700)
Subject: Fix passing antlr arguments to configure in contrib/cut-release
X-Git-Tag: cvc5-1.0.0~5742
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6b7841227b0a4bdce72c848b170aac8230cf4cba;p=cvc5.git

Fix passing antlr arguments to configure in contrib/cut-release

Also fixes passing of makeargs.
---

diff --git a/contrib/cut-release b/contrib/cut-release
index f2d09816d..995196a88 100755
--- a/contrib/cut-release
+++ b/contrib/cut-release
@@ -249,13 +249,13 @@ 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-portfolio --bsd '$configantlr'; \
-	make dist '$makeargs'; \
+	../configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd '"$configantlr"'; \
+	make dist '"$makeargs"'; \
 	tar xf "cvc4-$version.tar.gz"; \
 	cd "cvc4-$version"; \
-	./configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd '$configantlr'; \
-	make check '$makeargs'; \
-	make distcheck '$makeargs'; \
+	./configure production-staticbinary --disable-shared --enable-unit-testing --with-portfolio --bsd '"$configantlr"'; \
+	make check '"$makeargs"'; \
+	make distcheck '"$makeargs"'; \
 '; then
   exit 1
 fi