From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 25 Sep 2018 20:27:59 +0000 (-0700)
Subject: cmake: configure.sh wrapper: Removed unused option --gmp.
X-Git-Tag: cvc5-1.0.0~4505
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3772ffc372bcca1230857c16a5177c0059faa9c4;p=cvc5.git

cmake: configure.sh wrapper: Removed unused option --gmp.
---

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