diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-25 13:27:59 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-25 13:27:59 -0700 |
| commit | 3772ffc372bcca1230857c16a5177c0059faa9c4 (patch) | |
| tree | cad28da78577e4c7346e176f697e2cc4c543883a /configure.sh | |
| parent | 7e8a8d4d46c910fcc356e13d83768f21042ccc68 (diff) | |
cmake: configure.sh wrapper: Removed unused option --gmp.
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 16764dd8a..0740ce396 100755 --- a/configure.sh +++ b/configure.sh @@ -50,7 +50,6 @@ The following options configure parameterized features. Optional Packages: The following flags enable optional packages (disable with --no-<option name>). --cln use CLN instead of GMP - --gmp use GMP instead of CLN --glpk use GLPK simplex solver --abc use the ABC AIG library --cadical use the CaDiCaL SAT solver |