[PATCH] configure: remove dependencies on gmp and mpfr when gdb is disabled

["Clément Chigot" <chigot@adacore.com>]

Since 991180627851801f1999d1ebbc0e569a17e47c74, the configure checks
about GMP and MPFR for gdb builds have been moved to the toplevel
configure.
However, it doesn't take into account the --disable-gdb option. Meaning
that a build without gdb will require these libraries even if not
needed.

ChangeLog:

	* configure.ac: Skip GMP and MPFR errors when --disable-gdb is
	provided.
	* configure: Regenerate.
---
 configure    | 4 +++-
 configure.ac | 4 +++-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/configure b/configure
index 417fc5a970c..0fb8279cb8f 100755
--- a/configure
+++ b/configure
@@ -8426,11 +8426,13 @@ you obtained GMP, MPFR and/or MPC from a vendor distribution package,
 make sure that you have installed both the libraries and the header
 files.  They may be located in separate packages." "$LINENO" 5
     else
-      as_fn_error $? "Building GDB requires GMP 4.2+, and MPFR 3.1.0+.
+      if test "x$enable_gdb" != xno; then
+        as_fn_error $? "Building GDB requires GMP 4.2+, and MPFR 3.1.0+.
 Try the --with-gmp and/or --with-mpfr options to specify
 their locations.  If you obtained GMP and/or MPFR from a vendor
 distribution package, make sure that you have installed both the libraries
 and the header files.  They may be located in separate packages." "$LINENO" 5
+      fi
     fi
   fi
 fi
diff --git a/configure.ac b/configure.ac
index 3a1eb0357e5..0ec2fffcb56 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1814,11 +1814,13 @@ you obtained GMP, MPFR and/or MPC from a vendor distribution package,
 make sure that you have installed both the libraries and the header
 files.  They may be located in separate packages.])
     else
-      AC_MSG_ERROR([Building GDB requires GMP 4.2+, and MPFR 3.1.0+.
+      if test "x$enable_gdb" != xno; then
+        AC_MSG_ERROR([Building GDB requires GMP 4.2+, and MPFR 3.1.0+.
 Try the --with-gmp and/or --with-mpfr options to specify
 their locations.  If you obtained GMP and/or MPFR from a vendor
 distribution package, make sure that you have installed both the libraries
 and the header files.  They may be located in separate packages.])
+      fi
     fi
   fi
 fi
-- 
2.25.1