From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Wed, 26 May 2010 20:52:42 +0000 (+0000)
Subject: Adding contrib/my-configure
X-Git-Tag: cvc5-1.0.0~9046
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a9c80b635526aa6007322c83df19f8f32c4d9dc1;p=cvc5.git

Adding contrib/my-configure
---

diff --git a/contrib/my-configure b/contrib/my-configure
new file mode 100755
index 000000000..af5cb01f7
--- /dev/null
+++ b/contrib/my-configure
@@ -0,0 +1,9 @@
+#! /bin/bash
+
+CONFIG_OPTIONS=
+
+if [ -e .cvc4_config ]; then
+  CONFIG_OPTIONS=`cat .cvc4_config`
+fi
+
+echo ./configure $CONFIG_OPTIONS $*