1 From 17294931e3e361bee6810b1a39493e214b38c5e5 Mon Sep 17 00:00:00 2001
2 From: =?UTF-8?q?Cl=C3=A9ment=20Chigot?= <chigot@adacore.com>
3 Date: Tue, 3 Jan 2023 14:24:43 +0100
4 Subject: [PATCH 40/50] configure: remove dependencies on gmp and mpfr when gdb
7 Since 991180627851801f1999d1ebbc0e569a17e47c74, the configure checks
8 about GMP and MPFR for gdb builds have been moved to the toplevel
10 However, it doesn't take into account the --disable-gdb option. Meaning
11 that a build without gdb will require these libraries even if not
16 * configure.ac: Skip GMP and MPFR when --disable-gdb is
18 * configure: Regenerate.
20 (cherry picked from commit 5fb0e308577143ceb313fde5538dc9ecb038f29f)
24 2 files changed, 6 insertions(+), 2 deletions(-)
28 @@ -8032,7 +8032,9 @@ if test -d ${srcdir}/gcc ; then
31 if test -d ${srcdir}/gdb ; then
33 + if test "x$enable_gdb" != xno; then
38 gmplibs="-lmpfr -lgmp"
41 @@ -1585,7 +1585,9 @@ if test -d ${srcdir}/gcc ; then
44 if test -d ${srcdir}/gdb ; then
46 + if test "x$enable_gdb" != xno; then
51 gmplibs="-lmpfr -lgmp"