From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 1 Sep 2010 22:20:43 +0000 (+0000)
Subject: reflect in build strings that -gmp is now the default and -cln is an option
X-Git-Tag: cvc5-1.0.0~8879
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=594696734e9bd18b1ecc31d3b65a6001bae452a5;p=cvc5.git

reflect in build strings that -gmp is now the default and -cln is an option
---

diff --git a/config/build-type b/config/build-type
index 0449f3375..266ba2ca5 100755
--- a/config/build-type
+++ b/config/build-type
@@ -29,8 +29,8 @@
 #   coverage
 #   profiling
 #
-# Also you can specify "cln" or "gmp".  If "gmp", the build dir
-# contains the string "gmp".  (cln is considered the default.)
+# Also you can specify "cln" or "gmp".  If "cln", the build dir
+# contains the string "cln".  (gmp is considered the default.)
 #
 
 if [ $# -eq 0 ]; then
@@ -43,8 +43,8 @@ shift
 
 while [ $# -gt 0 ]; do
   case "$1" in
-    cln) ;;
-    gmp) gmp=1 ;;
+    cln) cln=1 ;;
+    gmp) ;;
     no*) eval `expr "$1" : 'no\(.*\)'`=0 ;;
     *)   eval $1=1 ;;
   esac
@@ -52,7 +52,7 @@ while [ $# -gt 0 ]; do
 done
 
 build_type_suffix=
-for arg in gmp staticbinary optimized debugsymbols statistics assertions tracing muzzle coverage profiling; do
+for arg in cln staticbinary optimized debugsymbols statistics assertions tracing muzzle coverage profiling; do
   if eval [ -n '"${'$arg'+set}"' ]; then
     if eval [ '"${'$arg'}"' -eq 0 ]; then
       build_type_suffix=$build_type_suffix-no$arg