Adding contrib/my-configure

diff --git a/contrib/my-configure b/contrib/my-configure
new file mode 100755 (executable)
index 0000000..af5cb01
--- /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 $*