From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from rock.gnat.com (rock.gnat.com [205.232.38.15]) by sourceware.org (Postfix) with ESMTP id BC6E93861026 for ; Sun, 15 Nov 2020 08:36:02 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org BC6E93861026 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=brobecke@adacore.com Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 963D156011; Sun, 15 Nov 2020 03:36:02 -0500 (EST) X-Virus-Scanned: Debian amavisd-new at gnat.com Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id nT3UtyuMD422; Sun, 15 Nov 2020 03:36:02 -0500 (EST) Received: from tron.gnat.com (tron.gnat.com [IPv6:2620:20:4000:0:46a8:42ff:fe0e:e294]) by rock.gnat.com (Postfix) with ESMTP id 870935604D; Sun, 15 Nov 2020 03:36:02 -0500 (EST) Received: by tron.gnat.com (Postfix, from userid 4233) id 83D99111; Sun, 15 Nov 2020 03:36:02 -0500 (EST) From: Joel Brobecker To: gdb-patches@sourceware.org Cc: Simon Marchi , Joel Brobecker Subject: [pushed/v2 2/9] gdb: Make GMP a required dependency for building GDB Date: Sun, 15 Nov 2020 03:35:38 -0500 Message-Id: <1605429345-78384-3-git-send-email-brobecker@adacore.com> X-Mailer: git-send-email 2.1.4 In-Reply-To: <1605429345-78384-1-git-send-email-brobecker@adacore.com> References: <1604817017-25807-1-git-send-email-brobecker@adacore.com> <1605429345-78384-1-git-send-email-brobecker@adacore.com> X-Spam-Status: No, score=-9.7 required=5.0 tests=BAYES_00, GIT_PATCH_0, JMQ_SPF_NEUTRAL, KAM_DMARC_STATUS, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 15 Nov 2020 08:36:04 -0000 This commit modifies gdb's configure script to trigger an error if we cannot find a usable libgmp. For the record, making this a requirement was discussed in March 2018: https://sourceware.org/pipermail/gdb-patches/2018-March/147373.html gdb/ChangeLog: * configure.ac: Generate an error if a usable GMP library could not be found. * configure: Regenerate. --- gdb/ChangeLog | 6 ++++++ gdb/configure | 3 +++ gdb/configure.ac | 3 +++ 3 files changed, 12 insertions(+) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index ee1dea3..8de390a 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,11 @@ 2020-11-15 Joel Brobecker + * configure.ac: Generate an error if a usable GMP library + could not be found. + * configure: Regenerate. + +2020-11-15 Joel Brobecker + * configure.ac: Add support for --with-libgmp-prefix. * Makefile.in (LIBGMP): New variable. (CLIBS): Include $(LIBGMP). diff --git a/gdb/configure b/gdb/configure index 2bf0856..a3e73b4 100755 --- a/gdb/configure +++ b/gdb/configure @@ -10469,6 +10469,9 @@ $as_echo "$LIBGMP" >&6; } +if test "$HAVE_LIBGMP" != yes; then + as_fn_error $? "GMP is missing or unusable" "$LINENO" 5 +fi # Check whether --with-mpfr was given. diff --git a/gdb/configure.ac b/gdb/configure.ac index 0264a4f..32f25d9 100644 --- a/gdb/configure.ac +++ b/gdb/configure.ac @@ -687,6 +687,9 @@ fi AC_LIB_HAVE_LINKFLAGS([gmp], [], [#include ], [mpz_t n; mpz_init (n);]) +if test "$HAVE_LIBGMP" != yes; then + AC_MSG_ERROR([GMP is missing or unusable]) +fi AC_ARG_WITH(mpfr, AS_HELP_STRING([--with-mpfr], [include MPFR support (auto/yes/no)]), -- 2.1.4