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 B927C3858001 for ; Mon, 1 Nov 2021 22:19:58 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org B927C3858001 Received: from mx1.investici.org (unknown [127.0.0.1]) by confino.investici.org (Postfix) with ESMTP id 4HjnXD20kXz10xm; Mon, 1 Nov 2021 22:19:56 +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 4HjnXD12XBz10xk; Mon, 1 Nov 2021 22:19:56 +0000 (UTC) From: Andrea Monaco To: simark@simark.ca Cc: gdb@sourceware.org Subject: Re: gdb 11.1: configure doesn't check for gmp existence In-Reply-To: <878ry7x3zh.fsf@autistici.org> Date: Mon, 01 Nov 2021 23:19:55 +0100 Message-ID: <87ilxb8qno.fsf@autistici.org> MIME-Version: 1.0 Content-Type: text/plain X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00, 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 22:20:00 -0000 > Can you show the error you get? Normally, when you type "make" at > the top-level that will run the configure script in the gdb > directory, and that's when it should fail. Upon check, yes, that's what happens. But it's an unusual build system: it's common to have Makefiles in subdirectories, while multiple configures are less common. Anyway, if gmp is an essential dependency, why does the top-level configure complete without it? Andrea Monaco