From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 5 Nov 2018 16:42:21 +0000 (-0800)
Subject: configure.sh: Fix option parsing to match --help (#2611)
X-Git-Tag: cvc5-1.0.0~4379
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4d65e4b5efecc631bfda19900327cd5da2d740f7;p=cvc5.git

configure.sh: Fix option parsing to match --help (#2611)
---

diff --git a/configure.sh b/configure.sh
index 1cc104c94..d5f466ec6 100755
--- a/configure.sh
+++ b/configure.sh
@@ -53,7 +53,7 @@ The following flags enable optional packages (disable with --no-<option name>).
   --glpk                   use GLPK simplex solver
   --abc                    use the ABC AIG library
   --cadical                use the CaDiCaL SAT solver
-  --cryptominisat          use the CryptoMiniSat sat solver
+  --cryptominisat          use the CryptoMiniSat SAT solver
   --lfsc                   use the LFSC proof checker
   --symfpu                 use SymFPU for floating point solver
   --portfolio              build the multithreaded portfolio version of CVC4
@@ -197,8 +197,8 @@ do
     --debug-symbols) debug_symbols=ON;;
     --no-debug-symbols) debug_symbols=OFF;;
 
-    --debug-context-memory-manager) debug_context_mm=ON;;
-    --no-debug-context-memory-manager) debug_context_mm=OFF;;
+    --debug-context-mm) debug_context_mm=ON;;
+    --no-debug-context-mm) debug_context_mm=OFF;;
 
     --dumping) dumping=ON;;
     --no-dumping) dumping=OFF;;