| b.liu | e958203 | 2025-04-17 19:18:16 +0800 | [diff] [blame] | 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 |
| 5 | is disabled |
| 6 | |
| 7 | Since 991180627851801f1999d1ebbc0e569a17e47c74, the configure checks |
| 8 | about GMP and MPFR for gdb builds have been moved to the toplevel |
| 9 | configure. |
| 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 |
| 12 | needed. |
| 13 | |
| 14 | ChangeLog: |
| 15 | |
| 16 | * configure.ac: Skip GMP and MPFR when --disable-gdb is |
| 17 | provided. |
| 18 | * configure: Regenerate. |
| 19 | |
| 20 | (cherry picked from commit 5fb0e308577143ceb313fde5538dc9ecb038f29f) |
| 21 | --- |
| 22 | configure | 4 +++- |
| 23 | configure.ac | 4 +++- |
| 24 | 2 files changed, 6 insertions(+), 2 deletions(-) |
| 25 | |
| 26 | --- a/configure |
| 27 | +++ b/configure |
| 28 | @@ -8032,7 +8032,9 @@ if test -d ${srcdir}/gcc ; then |
| 29 | require_mpc=yes |
| 30 | fi |
| 31 | if test -d ${srcdir}/gdb ; then |
| 32 | - require_gmp=yes |
| 33 | + if test "x$enable_gdb" != xno; then |
| 34 | + require_gmp=yes |
| 35 | + fi |
| 36 | fi |
| 37 | |
| 38 | gmplibs="-lmpfr -lgmp" |
| 39 | --- a/configure.ac |
| 40 | +++ b/configure.ac |
| 41 | @@ -1585,7 +1585,9 @@ if test -d ${srcdir}/gcc ; then |
| 42 | require_mpc=yes |
| 43 | fi |
| 44 | if test -d ${srcdir}/gdb ; then |
| 45 | - require_gmp=yes |
| 46 | + if test "x$enable_gdb" != xno; then |
| 47 | + require_gmp=yes |
| 48 | + fi |
| 49 | fi |
| 50 | |
| 51 | gmplibs="-lmpfr -lgmp" |