From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7854) id DB45F3858D33; Fri, 6 Jan 2023 09:03:35 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DB45F3858D33 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1672995815; bh=gQdFLlrwPksWGyqLpenfza3PihyBZkL2yz2lNqWjuTE=; h=From:To:Subject:Date:From; b=BkbCVI6GUS91N/e2s/2514YJMlIwwZm8bDLhvj90M1xv27Pgb51AH5ghn17++NoS6 lm9ionDFhNP9Zrp2IndOs/gVPe9T73xS97Btgr2XZ+gAuy7LGFS/YtivO1AmnwlpWr 8V6ea4T9LpXfPPrjBuXtV2VtMusgsP49bV1IPz4k= MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="utf-8" From: Cl?ment Chigot To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-5042] configure: remove dependencies on gmp and mpfr when gdb is disabled X-Act-Checkin: gcc X-Git-Author: =?utf-8?q?Cl=C3=A9ment_Chigot?= X-Git-Refname: refs/heads/master X-Git-Oldrev: 55f813f5cdf48922175c6dcd51e6fd263e5a93fa X-Git-Newrev: 5977d14a6081184ba10a671585e553e1e9ac0112 Message-Id: <20230106090335.DB45F3858D33@sourceware.org> Date: Fri, 6 Jan 2023 09:03:35 +0000 (GMT) List-Id: https://gcc.gnu.org/g:5977d14a6081184ba10a671585e553e1e9ac0112 commit r13-5042-g5977d14a6081184ba10a671585e553e1e9ac0112 Author: Clément Chigot Date: Tue Jan 3 14:24:43 2023 +0100 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. Diff: --- configure | 4 +++- configure.ac | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/configure b/configure index d6716e38e99..85883099410 100755 --- a/configure +++ b/configure @@ -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 737c1a1172b..2b612dce6e9 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"