diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-05 09:14:39 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-09-18 17:15:25 -0400 |
| commit | 54977fe59a1dd28a20f7c01d10523f966fd67213 (patch) | |
| tree | 508209ca34c7d7a2fcf35c2c0430c84334f2764b /config | |
| parent | aa16fb32ac7a66e327f32ea4c794a3ccf832c587 (diff) | |
Support a personal build configuration and make rules.
Diffstat (limited to 'config')
| -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 |