From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-bounces+public-inbox=simark.ca@sourceware.org>
Received: from simark.ca
	by simark.ca with LMTP
	id FdL1B8kOgGH4bQAAWB0awg
	(envelope-from <gdb-bounces+public-inbox=simark.ca@sourceware.org>)
	for <public-inbox@simark.ca>; Mon, 01 Nov 2021 11:59:05 -0400
Received: by simark.ca (Postfix, from userid 112)
	id 0D43E1F0BB; Mon,  1 Nov 2021 11:59:05 -0400 (EDT)
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on simark.ca
X-Spam-Level: 
X-Spam-Status: No, score=-0.7 required=5.0 tests=DKIM_SIGNED,DKIM_VALID,
	DKIM_VALID_AU,MAILING_LIST_MULTI,RDNS_DYNAMIC,URIBL_BLOCKED
	autolearn=ham autolearn_force=no version=3.4.2
Received: from sourceware.org (ip-8-43-85-97.sourceware.org [8.43.85.97])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256)
	(No client certificate requested)
	by simark.ca (Postfix) with ESMTPS id 77DB51EE14
	for <public-inbox@simark.ca>; Mon,  1 Nov 2021 11:59:04 -0400 (EDT)
Received: from server2.sourceware.org (localhost [IPv6:::1])
	by sourceware.org (Postfix) with ESMTP id 069FC3857800
	for <public-inbox@simark.ca>; Mon,  1 Nov 2021 15:59:04 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 069FC3857800
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org;
	s=default; t=1635782344;
	bh=x363/f/J9bFgR/deKtVHIyooXwlGBi6obZCA4RKqzn0=;
	h=To:Subject:Date:List-Id:List-Unsubscribe:List-Archive:List-Post:
	 List-Help:List-Subscribe:From:Reply-To:From;
	b=sS8VseP7F50FXOd+mKPGfIWjPQU6mq+wMLd65PCf7MmgY0HAbcEVu/toV+X9OcZ/S
	 017jY4aTjYx2MOu2qcPgqK1e7r4avBq+Dm1hvgMMUNh9SfIvHXVhT9OqrSr1hmWvFY
	 NyrWRAUKPdwGx2VKRZ1CT6e0DOo5UEEbEL0XU8QM=
Received: from confino.investici.org (confino.investici.org
 [IPv6:2a00:c38:11e:ffff::a020])
 by sourceware.org (Postfix) with ESMTPS id 216F93858020
 for <gdb@sourceware.org>; 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 <gdb@sourceware.org>; 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 <gdb@sourceware.org>; Mon,  1 Nov 2021 15:58:11 +0000 (UTC)
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-BeenThere: gdb@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gdb mailing list <gdb.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/gdb>,
 <mailto:gdb-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/gdb/>
List-Post: <mailto:gdb@sourceware.org>
List-Help: <mailto:gdb-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/gdb>,
 <mailto:gdb-request@sourceware.org?subject=subscribe>
From: Andrea Monaco via Gdb <gdb@sourceware.org>
Reply-To: Andrea Monaco <andrea.monaco@autistici.org>
Errors-To: gdb-bounces+public-inbox=simark.ca@sourceware.org
Sender: "Gdb" <gdb-bounces+public-inbox=simark.ca@sourceware.org>


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