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/Makefile.in | |
| 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/Makefile.in')
0 files changed, 0 insertions, 0 deletions