| From 17294931e3e361bee6810b1a39493e214b38c5e5 Mon Sep 17 00:00:00 2001 |
| From: =?UTF-8?q?Cl=C3=A9ment=20Chigot?= <chigot@adacore.com> |
| Date: Tue, 3 Jan 2023 14:24:43 +0100 |
| Subject: [PATCH 40/50] 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. |
| |
| (cherry picked from commit 5fb0e308577143ceb313fde5538dc9ecb038f29f) |
| --- |
| configure | 4 +++- |
| configure.ac | 4 +++- |
| 2 files changed, 6 insertions(+), 2 deletions(-) |
| |
| --- a/configure |
| +++ b/configure |
| @@ -8032,7 +8032,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" |
| --- a/configure.ac |
| +++ b/configure.ac |
| @@ -1585,7 +1585,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" |