diff options
author | Joel Brobecker <brobecker@adacore.com> | 2020-11-15 03:08:40 -0500 |
---|---|---|
committer | Joel Brobecker <brobecker@adacore.com> | 2020-11-15 03:08:40 -0500 |
commit | 1b4ac058f7daeb9bac9ab0e63a7e73535208dfef (patch) | |
tree | 1c5a9db5e417ec1e3a4b339fd23c4c6f8390ff0c /gdb/configure.ac | |
parent | 2c947d9bc2ff3b84f1676b83577fe1bba05b4a5f (diff) | |
download | gdb-1b4ac058f7daeb9bac9ab0e63a7e73535208dfef.zip gdb-1b4ac058f7daeb9bac9ab0e63a7e73535208dfef.tar.gz gdb-1b4ac058f7daeb9bac9ab0e63a7e73535208dfef.tar.bz2 |
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.
Diffstat (limited to 'gdb/configure.ac')
-rw-r--r-- | gdb/configure.ac | 3 |
1 files changed, 3 insertions, 0 deletions
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)]), |