Does gdb/configure ignore --with-gmp?

[Stephen Casner]

On Wed, 3 Feb 2021, Joel Brobecker wrote:

> > > 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)

Thank you for the prompt reply.  That option is not listed by the
top-level configure -h which has only this to say about gmp:

  --with-gmp-dir=PATH     this option has been REMOVED
  --with-gmp=PATH         specify prefix directory for the installed GMP
                          package. Equivalent to
                          --with-gmp-include=PATH/include plus
                          --with-gmp-lib=PATH/lib
  --with-gmp-include=PATH specify directory for installed GMP include files
  --with-gmp-lib=PATH     specify directory for the installed GMP library

Is that a (minor) bug then?  Or is --with-gmp the proper form for gcc?

                                                        -- Steve