Hi Joel,

On 11/15/20 9:35 AM, Joel Brobecker wrote:
> This patch allows a user to tell gdb's configure script where
> his GMP library is installed.
> 
> gdb/ChangeLog:
> 
>         * configure.ac: Add support for --with-libgmp-prefix.
>         * Makefile.in (LIBGMP): New variable.
>         (CLIBS): Include $(LIBGMP).
>         * configure, config.in: Regenerate
> ---
>  gdb/ChangeLog    |   7 +
>  gdb/Makefile.in  |   5 +-
>  gdb/config.in    |   3 +
>  gdb/configure    | 488 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
>  gdb/configure.ac |   5 +
>  5 files changed, 507 insertions(+), 1 deletion(-)
> 

I noticed that this does not allow to build gmp in-tree like it is
possible for gcc.  I tried to overcome this by the attached patch.

While doing so, I also noticed an incompatibility with the top level
configure stript, which advertises, and passes -with-gmp-include
and -with-gmp-lib if in-tree gmp is found.

So the --with-libgmp-prefix is not that the top level configure
script suggests:

$ ./configure --help | grep gmp
  --with-gmp-dir=PATH     this option has been REMOVED
  --with-gmp=PATH         specify prefix directory for the installed GMP
                          --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

What do you think, can we allow these traditional configure options
additional to the new --with-libgmp-prefix?

Can we the top level Makefile.def change in binutils-gdb or has this
be checked-in first in gcc?


Thanks
Bernd.