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

diff --git a/configure.sh b/configure.sh
index 16764dd8ab1a35efa9838a743262223b060a694d..0740ce396ecfb0203d804b853dabf86b1c50d82f 100755 (executable)
--- 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