configure: remove dependencies on gmp and mpfr when gdb is disabled
authorClément Chigot <chigot@adacore.com>
Tue, 3 Jan 2023 13:24:43 +0000 (14:24 +0100)
committerClément Chigot <chigot@adacore.com>
Fri, 6 Jan 2023 08:32:07 +0000 (09:32 +0100)
commit5fb0e308577143ceb313fde5538dc9ecb038f29f
tree3f68073bc5274f2e2a40e9f7dd151c947df379cf
parentdcd469925324f430e8cf656c7f63538dd7a01d08
configure: remove dependencies on gmp and mpfr when gdb is disabled

Since 991180627851801f1999d1ebbc0e569a17e47c74, the configure checks
about GMP and MPFR for gdb builds have been moved to the toplevel
configure.
However, it doesn't take into account the --disable-gdb option. Meaning
that a build without gdb will require these libraries even if not
needed.

ChangeLog:

* configure.ac: Skip GMP and MPFR when --disable-gdb is
provided.
* configure: Regenerate.
configure
configure.ac