52 lines
1.3 KiB
Diff
52 lines
1.3 KiB
Diff
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"
|