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 | |
| 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')
| -rwxr-xr-x | gdb/configure | 3 |
1 files changed, 3 insertions, 0 deletions
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. |