Does gdb/configure ignore --with-gmp?

[Joel Brobecker]

> > This even though I have the --with-gmp and /usr/local/lib/libgmp.*
> > exist.  I need to investigate that further.
> 
> The error is that gmp.h is not found when compiling conftest.  But the
> compile command does not include -I/usr/local/include which it should,
> based on the configure option.  Is that a bug in gdb/configure.ac?
> The option did get passed to gdb/configure as shown in gdb/config.log.

The correct option is the following:

`--with-libgmp-prefix=DIR'
     Build GDB using the GMP library installed at the directory DIR.
     If your host does not have GMP installed, you can get the latest
     version at `https://gmplib.org/'.

(it's documented in gdb/README, if you are looking for it)

-- 
Joel