diff options
Diffstat (limited to 'config/cvc4.m4')
| -rw-r--r-- | config/cvc4.m4 | 23 |
1 files changed, 19 insertions, 4 deletions
diff --git a/config/cvc4.m4 b/config/cvc4.m4 index 1cde462b5..8106f1383 100644 --- a/config/cvc4.m4 +++ b/config/cvc4.m4 @@ -18,10 +18,25 @@ for ac_option do case $ac_option in -*|*=*) ;; - production|debug|default|competition) - ac_cvc4_build_profile_set=yes - AC_MSG_NOTICE([CVC4: building profile $ac_option]) - ac_option="--with-build=$ac_option" ;; + production|production-*|debug|debug-*|default|default-*|competition|competition-*) + ac_option_build=`expr "$ac_option" : '\([[^-]]*\)-\?'` + ac_cvc4_build_profile_set=yes + AC_MSG_NOTICE([CVC4: building profile $ac_option_build]) + for x in optimized assertions tracing muzzle coverage profiling; do + if expr "$ac_option" : '.*-no'$x'-\|.*-no'$x'$' >/dev/null; then + eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"--disable-$x\""' + fi + if expr "$ac_option" : '.*-'$x'-\|.*-'$x'$' >/dev/null; then + eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"--enable-$x\""' + fi + done + if expr "$ac_option" : '.*-nodebugsymbols-\|.*-nodebugsymbols$' >/dev/null; then + eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"--disable-debug-symbols\""' + fi + if expr "$ac_option" : '.*-debugsymbols-\|.*-debugsymbols$' >/dev/null; then + eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"--enable-debug-symbols\""' + fi + ac_option="--with-build=$ac_option_build" esac eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"$ac_option\""' done |