diff options
Diffstat (limited to 'config/cvc4.m4')
-rw-r--r-- | config/cvc4.m4 | 23 |
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 |