diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-11-05 08:42:21 -0800 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-11-05 08:42:21 -0800 |
| commit | 4d65e4b5efecc631bfda19900327cd5da2d740f7 (patch) | |
| tree | 263e7c9dbb863bbf2f38b595977624a23cfb3341 /configure.sh | |
| parent | 700ee947a84ee8df9a7a50d44999a48ccc2626d8 (diff) | |
configure.sh: Fix option parsing to match --help (#2611)
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 6 |
1 files changed, 3 insertions, 3 deletions
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;; |