gdb/configure: Add --with-libgmp-prefix option
authorJoel Brobecker <brobecker@adacore.com>
Sun, 15 Nov 2020 08:07:45 +0000 (03:07 -0500)
committerJoel Brobecker <brobecker@adacore.com>
Sun, 15 Nov 2020 08:07:45 +0000 (03:07 -0500)
commit2c947d9bc2ff3b84f1676b83577fe1bba05b4a5f
treed6b6b0bb010031ea838bf432a4a584896eaab205
parent0eb994e572a58d2f9421429e2610cdd36dea78c0
gdb/configure: Add --with-libgmp-prefix option

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
gdb/Makefile.in
gdb/config.in
gdb/configure
gdb/configure.ac