From 1891eb9abf6e37a34c732211a8f11d08720fb2b7 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 4 Oct 2010 09:31:11 +0000
Subject: [PATCH] fix regular expressions in build system

---
 config/cvc4.m4 | 16 ++++++++--------
 1 file 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
-- 
2.30.2