diff options
| author | Clément Chigot <chigot@adacore.com> | 2023-01-03 14:24:43 +0100 |
|---|---|---|
| committer | Clément Chigot <chigot@adacore.com> | 2023-01-06 09:36:52 +0100 |
| commit | 5977d14a6081184ba10a671585e553e1e9ac0112 (patch) | |
| tree | f9b04c1f216cc2a6257e688b1c5ae25580f320c3 | |
| parent | 55f813f5cdf48922175c6dcd51e6fd263e5a93fa (diff) | |
| download | gcc-5977d14a6081184ba10a671585e553e1e9ac0112.zip gcc-5977d14a6081184ba10a671585e553e1e9ac0112.tar.gz gcc-5977d14a6081184ba10a671585e553e1e9ac0112.tar.bz2 | |
configure: remove dependencies on gmp and mpfr when gdb is disabled
Since 91e0d22025e0bf2af2e364cb7214a05512a0c431, 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.
| -rwxr-xr-x | configure | 4 | ||||
| -rw-r--r-- | configure.ac | 4 |
2 files changed, 6 insertions, 2 deletions
@@ -7913,7 +7913,9 @@ if test -d ${srcdir}/gcc ; then require_mpc=yes fi if test -d ${srcdir}/gdb ; then - require_gmp=yes + if test "x$enable_gdb" != xno; then + require_gmp=yes + fi fi gmplibs="-lmpfr -lgmp" diff --git a/configure.ac b/configure.ac index 737c1a1..2b612dc 100644 --- a/configure.ac +++ b/configure.ac @@ -1489,7 +1489,9 @@ if test -d ${srcdir}/gcc ; then require_mpc=yes fi if test -d ${srcdir}/gdb ; then - require_gmp=yes + if test "x$enable_gdb" != xno; then + require_gmp=yes + fi fi gmplibs="-lmpfr -lgmp" |