diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-10-04 09:31:11 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-10-04 09:31:11 +0000 |
| commit | 1891eb9abf6e37a34c732211a8f11d08720fb2b7 (patch) | |
| tree | 50560f9fc2bf530fa35f93c31fb2cb7481051d61 /config/cvc4.m4 | |
| parent | bd1f0cbc207b1f86a18d9e7f95826aff0a157f7d (diff) | |
fix regular expressions in build system
Diffstat (limited to 'config/cvc4.m4')
| -rw-r--r-- | config/cvc4.m4 | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/config/cvc4.m4 b/config/cvc4.m4 index 718cdadd3..76ea2cc79 100644 --- a/config/cvc4.m4 +++ b/config/cvc4.m4 @@ -24,30 +24,30 @@ do ac_cvc4_build_profile_set=yes AC_MSG_NOTICE([CVC4: building profile $ac_option_build]) for x in optimized statistics assertions tracing muzzle coverage profiling; do - if expr "$ac_option" : '.*-no'$x'-\{0,1\}$' >/dev/null; then + if expr "$ac_option" : '.*-no'$x'$' >/dev/null || expr "$ac_option" : '.*-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'-\{0,1\}$' >/dev/null; then + if expr "$ac_option" : '.*-'$x'$' >/dev/null || expr "$ac_option" : '.*-'$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" : '.*-nostaticbinary-\{0,1\}$' >/dev/null; then + if expr "$ac_option" : '.*-nostaticbinary$' >/dev/null || expr "$ac_option" : '.*-nostaticbinary-' >/dev/null; then eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"--disable-static-binary\""' fi - if expr "$ac_option" : '.*-staticbinary-\{0,1\}$' >/dev/null; then + if expr "$ac_option" : '.*-staticbinary$' >/dev/null || expr "$ac_option" : '.*-staticbinary-' >/dev/null; then eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"--enable-static-binary\""' fi - if expr "$ac_option" : '.*-nodebugsymbols-\{0,1\}$' >/dev/null; then + if expr "$ac_option" : '.*-nodebugsymbols$' >/dev/null || expr "$ac_option" : '.*-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-\{0,1\}$' >/dev/null; then + if expr "$ac_option" : '.*-debugsymbols$' >/dev/null || expr "$ac_option" : '.*-debugsymbols-' >/dev/null; then eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"--enable-debug-symbols\""' fi for x in cln gmp; do - if expr "$ac_option" : '.*-no'$x'-\{0,1\}$' >/dev/null; then + if expr "$ac_option" : '.*-no'$x'$' >/dev/null || expr "$ac_option" : '.*-no'$x'-' >/dev/null; then eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"--without-$x\""' fi - if expr "$ac_option" : '.*-'$x'-\{0,1\}$' >/dev/null; then + if expr "$ac_option" : '.*-'$x'$' >/dev/null || expr "$ac_option" : '.*-'$x'-' >/dev/null; then eval 'ac_cvc4_rewritten_args="${ac_cvc4_rewritten_args+$ac_cvc4_rewritten_args }\"--with-$x\""' fi done |