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

Sebastian Huber
2020-12-15T06:55:16Z

Hello Joel,

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

--
embedded brains GmbH
Herr Sebastian HUBER
Dornierstr. 4
82178 Puchheim
Germany
email: sebastian.huber@embedded-brains.de
phone: +49-89-18 94 741 - 16
fax: +49-89-18 94 741 - 08

Registergericht: Amtsgericht München
Registernummer: HRB 157899
Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
Unsere Datenschutzerklärung finden Sie hier: