gdb: Make GMP a required dependency for building GDB

This commit modifies gdb's configure script to trigger an error
if we cannot find a usable libgmp.

For the record, making this a requirement was discussed in March 2018:
https://sourceware.org/pipermail/gdb-patches/2018-March/147373.html

gdb/ChangeLog:

        * configure.ac: Generate an error if a usable GMP library
        could not be found.
        * configure: Regenerate.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index ee1dea309f4e696c6a3aa66a9f8b6fa1ab20febe..8de390a7c729f68132118861b09f31fede2aa2c1 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,9 @@
+2020-11-15  Joel Brobecker  <brobecker@adacore.com>
+
+       * configure.ac: Generate an error if a usable GMP library
+       could not be found.
+       * configure: Regenerate.
+
 2020-11-15  Joel Brobecker  <brobecker@adacore.com>
 
        * configure.ac: Add support for --with-libgmp-prefix.

diff --git a/gdb/configure b/gdb/configure
index 2bf08569bf5733bcc36b3d9bb7bee741775c88ab..a3e73b431c4345e3490ff90aa7cb1a1d77d7ffc4 100755 (executable)
--- a/gdb/configure
+++ b/gdb/configure
@@ -10469,6 +10469,9 @@ $as_echo "$LIBGMP" >&6; }
 
 
 
+if test "$HAVE_LIBGMP" != yes; then
+  as_fn_error $? "GMP is missing or unusable" "$LINENO" 5
+fi
 
 
 # Check whether --with-mpfr was given.

diff --git a/gdb/configure.ac b/gdb/configure.ac
index 0264a4f2c9c9950e55ae39216603aa3a3920b60a..32f25d9655105b2947cf13973f9fa801bd849075 100644 (file)
--- a/gdb/configure.ac
+++ b/gdb/configure.ac
@@ -687,6 +687,9 @@ fi
 AC_LIB_HAVE_LINKFLAGS([gmp], [], [#include <gmp.h>],
                       [mpz_t n;
                        mpz_init (n);])
+if test "$HAVE_LIBGMP" != yes; then
+  AC_MSG_ERROR([GMP is missing or unusable])
+fi
 
 AC_ARG_WITH(mpfr,
   AS_HELP_STRING([--with-mpfr], [include MPFR support (auto/yes/no)]),