summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
Diffstat (limited to 'config')
-rw-r--r--config/cvc4.m423
1 files changed, 20 insertions, 3 deletions
diff --git a/config/cvc4.m4 b/config/cvc4.m4
index e75476e8e..1b241feb4 100644
--- a/config/cvc4.m4
+++ b/config/cvc4.m4
@@ -13,9 +13,8 @@ dnl _AS_ME_PREPARE
AC_DEFUN([CVC4_REWRITE_ARGS_FOR_BUILD_PROFILE],
[m4_divert_push([PARSE_ARGS])dnl
-unset ac_cvc4_rewritten_args
-for ac_option
-do
+handle_option() {
+ ac_option="$[]1"
case $ac_option in
-*|*=*) ;;
production|production-*|debug|debug-*|default|default-*|competition|competition-*)
@@ -55,6 +54,24 @@ do
ac_option="--with-build=$ac_option_build"
esac
eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }'\'\$ac_option\'\"
+}
+
+unset ac_cvc4_rewritten_args
+for ac_option
+do
+ if test "$ac_option" = personal; then
+ if test -e personal.conf; then
+ handle_option --enable-personal-make-rules
+ while read arg; do
+ handle_option "$arg"
+ done < personal.conf
+ else
+ AC_MSG_ERROR([personal build profile selected, but cannot find personal.conf])
+ fi
+ else
+echo "calling for $ac_option"
+ handle_option "$ac_option"
+ fi
done
eval set x $ac_cvc4_rewritten_args
shift
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback