From 82faddb718aaae5f52001e09d0754a3d254e2285 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 11 Dec 2009 00:15:37 +0000
Subject: build fixes, configuration simplifications

---
 config/cvc4.m4 | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 config/cvc4.m4

(limited to 'config/cvc4.m4')

diff --git a/config/cvc4.m4 b/config/cvc4.m4
new file mode 100644
index 000000000..eea9478c6
--- /dev/null
+++ b/config/cvc4.m4
@@ -0,0 +1,30 @@
+# CVC4_AC_INIT
+# ------------
+# Do early initialization/diversion of autoconf things for CVC4 build process.
+AC_DEFUN([CVC4_AC_INIT],
+[CVC4_REWRITE_ARGS_FOR_BUILD_PROFILE
+])# CVC4_AC_INIT
+
+
+# CVC4_REWRITE_ARGS_FOR_BUILD_PROFILE
+# -----------------------------------
+# Rewrite (e.g.) "./configure debug" to "./configure --with-build=debug"
+AC_DEFUN([CVC4_REWRITE_ARGS_FOR_BUILD_PROFILE],
+[m4_divert_push([PARSE_ARGS])dnl
+
+unset ac_cvc4_rewritten_args
+for ac_option
+do
+  case $ac_option in
+    -*|*=*) ;;
+    *) ac_cvc4_build_profile_set=yes
+       AC_MSG_WARN([building profile $ac_option])
+       ac_option="--with-build=$ac_option" ;;
+  esac
+  eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"$ac_option\""'
+done
+eval set x $ac_cvc4_rewritten_args
+shift
+echo "args are now:" "${@}"
+m4_divert_pop([PARSE_ARGS])dnl
+])# CVC4_REWRITE_ARGS_FOR_BUILD_PROFILE
-- 
cgit v1.2.3