rename the configure option --with-metasmt-default-solver to --with-metasmt-default-backend and improve the associated CXX flag

1 files changed, 28 insertions, 28 deletions

diff --git a/configure b/configure
index 3c71aff4..7f1839c0 100755
--- a/configure
+++ b/configure
@@ -624,7 +624,7 @@ ac_includes_default="\
 
 ac_subst_vars='LTLIBOBJS
 LIBOBJS
-METASMT_DEFAULT_SOLVER
+METASMT_DEFAULT_BACKEND
 ENABLE_METASMT
 METASMT_ROOT
 Z3_LDFLAGS
@@ -740,7 +740,7 @@ with_tcmalloc
 with_stp
 with_z3
 with_metasmt
-with_metasmt_default_solver
+with_metasmt_default_backend
 '
       ac_precious_vars='build_alias
 host_alias
@@ -1395,8 +1395,8 @@ Optional Packages:
   --with-stp              Location of STP installation directory
   --with-z3               Location of Z3 installation directory
   --with-metasmt          Location of metaSMT installation directory
-  --with-metasmt-default-solver
-                          Default solver of metaSMT (btor|stp|z3, stp if
+  --with-metasmt-default-backend
+                          Default backend of metaSMT (btor|stp|z3, stp if
                           unspecified)
 
 Some influential environment variables:
@@ -5398,41 +5398,41 @@ fi
 
 
 
-# Check whether --with-metasmt-default-solver was given.
-if test "${with_metasmt_default_solver+set}" = set; then :
-  withval=$with_metasmt_default_solver;
+# Check whether --with-metasmt-default-backend was given.
+if test "${with_metasmt_default_backend+set}" = set; then :
+  withval=$with_metasmt_default_backend;
 fi
 
 
-if test "X$with_metasmt_default_solver" != X ; then
+if test "X$with_metasmt_default_backend" != X ; then
   if test "X$ENABLE_METASMT" != X1 ; then
-    as_fn_error $? "--with-metasmt-default-solver requires metaSMT to be enabled" "$LINENO" 5
+    as_fn_error $? "--with-metasmt-default-backend requires metaSMT to be enabled" "$LINENO" 5
   fi
-  if test "$with_metasmt_default_solver" == "btor" ; then
-    METASMT_DEFAULT_SOLVER=BTOR
-    { $as_echo "$as_me:${as_lineno-$LINENO}: metaSMT uses Boolector as default solver" >&5
-$as_echo "$as_me: metaSMT uses Boolector as default solver" >&6;}
+  if test "$with_metasmt_default_backend" == "btor" ; then
+    METASMT_DEFAULT_BACKEND=BTOR
+    { $as_echo "$as_me:${as_lineno-$LINENO}: metaSMT uses Boolector as default backend" >&5
+$as_echo "$as_me: metaSMT uses Boolector as default backend" >&6;}
   fi
-  if test "$with_metasmt_default_solver" == "z3" ; then
-    METASMT_DEFAULT_SOLVER=Z3
-    { $as_echo "$as_me:${as_lineno-$LINENO}: metaSMT uses Z3 as default solver" >&5
-$as_echo "$as_me: metaSMT uses Z3 as default solver" >&6;}
+  if test "$with_metasmt_default_backend" == "z3" ; then
+    METASMT_DEFAULT_BACKEND=Z3
+    { $as_echo "$as_me:${as_lineno-$LINENO}: metaSMT uses Z3 as default backend" >&5
+$as_echo "$as_me: metaSMT uses Z3 as default backend" >&6;}
   fi
-  if test "$with_metasmt_default_solver" == "stp" ; then
-    METASMT_DEFAULT_SOLVER=STP
-    { $as_echo "$as_me:${as_lineno-$LINENO}: metaSMT uses STP as default solver" >&5
-$as_echo "$as_me: metaSMT uses STP as default solver" >&6;}
+  if test "$with_metasmt_default_backend" == "stp" ; then
+    METASMT_DEFAULT_BACKEND=STP
+    { $as_echo "$as_me:${as_lineno-$LINENO}: metaSMT uses STP as default backend" >&5
+$as_echo "$as_me: metaSMT uses STP as default backend" >&6;}
   fi
-  if test "X$METASMT_DEFAULT_SOLVER" == X ; then
-    METASMT_DEFAULT_SOLVER=STP
-    { $as_echo "$as_me:${as_lineno-$LINENO}: $with_metasmt_default_solver unsupported, metaSMT uses STP as default solver" >&5
-$as_echo "$as_me: $with_metasmt_default_solver unsupported, metaSMT uses STP as default solver" >&6;}
+  if test "X$METASMT_DEFAULT_BACKEND" == X ; then
+    METASMT_DEFAULT_BACKEND=STP
+    { $as_echo "$as_me:${as_lineno-$LINENO}: $with_metasmt_default_backend unsupported, metaSMT uses STP as default backend" >&5
+$as_echo "$as_me: $with_metasmt_default_backend unsupported, metaSMT uses STP as default backend" >&6;}
   fi
 else
   if test "X$ENABLE_METASMT" == X1 ; then
-    METASMT_DEFAULT_SOLVER=STP
-    { $as_echo "$as_me:${as_lineno-$LINENO}: No solver specified, metaSMT uses STP as default solver" >&5
-$as_echo "$as_me: No solver specified, metaSMT uses STP as default solver" >&6;}
+    METASMT_DEFAULT_BACKEND=STP
+    { $as_echo "$as_me:${as_lineno-$LINENO}: No solver specified, metaSMT uses STP as default backend" >&5
+$as_echo "$as_me: No solver specified, metaSMT uses STP as default backend" >&6;}
   fi
 fi