From 1b4ac058f7daeb9bac9ab0e63a7e73535208dfef Mon Sep 17 00:00:00 2001 From: Joel Brobecker Date: Sun, 15 Nov 2020 03:08:40 -0500 Subject: 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. --- gdb/configure | 3 +++ 1 file changed, 3 insertions(+) (limited to 'gdb/configure') 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. -- cgit v1.1