[PATCH 2/9] gdb: Make GMP a required dependency for building GDB
Joel Brobecker
brobecker@adacore.com
Sun Nov 8 06:30:10 GMT 2020
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.
---
gdb/configure | 3 +++
gdb/configure.ac | 3 +++
2 files changed, 6 insertions(+)
diff --git a/gdb/configure b/gdb/configure
index 2bf0856..a3e73b4 100755
--- 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 0264a4f..32f25d9 100644
--- 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)]),
--
2.1.4
More information about the Gdb-patches
mailing list