Re: [PATCH 2/9] gdb: Make GMP a required dependency for building GDB

Joel Brobecker
2020-12-15T08:57:11Z

> On 08/11/2020 07:30, Joel Brobecker wrote:
> > 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.
>
> this new build requirement is not documented here:
>
> https://sourceware.org/gdb/download/onlinedocs/gdb/Requirements.html#Requirements

Indeed. I will fix that over the weekend.

Thank you,

--
Joel