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 DB2C2385800D for ; Tue, 15 Dec 2020 08:57:06 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org DB2C2385800D Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=brobecker@adacore.com Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id AFC6E5613E; Tue, 15 Dec 2020 03:57:06 -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 u7OL9pA6+rLa; Tue, 15 Dec 2020 03:57:06 -0500 (EST) Received: from float.home (localhost.localdomain [127.0.0.1]) (using TLSv1.2 with cipher ADH-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by rock.gnat.com (Postfix) with ESMTPS id 538465613A; Tue, 15 Dec 2020 03:57:06 -0500 (EST) Received: by float.home (Postfix, from userid 1000) id D0C03A1916; Tue, 15 Dec 2020 12:57:00 +0400 (+04) Date: Tue, 15 Dec 2020 12:57:00 +0400 From: Joel Brobecker To: Sebastian Huber Cc: gdb-patches@sourceware.org Subject: Re: [PATCH 2/9] gdb: Make GMP a required dependency for building GDB Message-ID: <20201215085700.GM3461@adacore.com> References: <1604817017-25807-1-git-send-email-brobecker@adacore.com> <1604817017-25807-3-git-send-email-brobecker@adacore.com> <63b1f14c-b74b-828d-18cf-69926b4709ad@embedded-brains.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <63b1f14c-b74b-828d-18cf-69926b4709ad@embedded-brains.de> X-Spam-Status: No, score=-4.2 required=5.0 tests=BAYES_00, 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: Tue, 15 Dec 2020 08:57:08 -0000 > On 08/11/2020 07:30, Joel Brobecker wrote: > > 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. > > this new build requirement is not documented here: > > https://sourceware.org/gdb/download/onlinedocs/gdb/Requirements.html#Requirements Indeed. I will fix that over the weekend. Thank you, -- Joel