From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from confino.investici.org (confino.investici.org [IPv6:2a00:c38:11e:ffff::a020]) by sourceware.org (Postfix) with ESMTPS id 216F93858020 for ; Mon, 1 Nov 2021 15:58:14 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 216F93858020 Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4Hjd3l5mfsz1118 for ; Mon, 1 Nov 2021 15:58:11 +0000 (UTC) Received: from [212.103.72.250] (mx1.investici.org [212.103.72.250]) (Authenticated sender: andrea.monaco@autistici.org) by localhost (Postfix) with ESMTPSA id 4Hjd3l4mb3z10wp for ; Mon, 1 Nov 2021 15:58:11 +0000 (UTC) From: Andrea Monaco To: gdb@sourceware.org Subject: gdb 11.1: configure doesn't check for gmp existence Date: Mon, 01 Nov 2021 16:58:10 +0100 Message-ID: <878ry7x3zh.fsf@autistici.org> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_50, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, SPF_HELO_PASS, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: gdb@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 01 Nov 2021 15:58:16 -0000 Hello, gdb 11.1 depends on the gmp library, as docs also confirm. But ./configure completes with success on my GNU/Hurd system even if the library is not present, and then make aborts. I think that configure should fail if a strict dependency is missing. Andrea Monaco