From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10]) by sourceware.org (Postfix) with ESMTPS id 789123858D32 for ; Fri, 10 Mar 2023 19:16:03 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 789123858D32 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gnu.org Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gnu.org Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1paiDh-0004qy-Kc; Fri, 10 Mar 2023 14:16:01 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=TrOEo52BQAARJi79jucpPhUIguh+vjjl2vMLKZNDLTM=; b=e3r5ZoJbNibK tQnebPvC1H3gxd00zD4SLL2yJve4FxwCkJ9f8LODlikoAgyzWDPRyxeNSDtt3yjfpJ0neV4AeISTS JEOEi3sEKIxX1gFJrYnsiw4heNXp396l+p0wu8yu+sTWj2r/QdTyE1evxWwTuryJ/5/aYjhg6lRm8 ttyyN/QGaDd/sC+zyj+ENXi0jpisOhLiF6rJGl+nvGYrtvVFyymktHlKMenZ/xjZKqZgDBaGc+X77 G5LkXzfa1h+qNkQFOsk2Q9Q8VNffboEyCp6zBna1vbreTPsgvTkz4prePwd7A9TKAP/+9m+B87+/S ZPnHANb2eoOI8528PjGCxA==; Received: from [87.69.77.57] (helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1paiDg-0004Bh-MU; Fri, 10 Mar 2023 14:16:01 -0500 Date: Fri, 10 Mar 2023 21:15:44 +0200 Message-Id: <83v8j8xvrz.fsf@gnu.org> From: Eli Zaretskii To: Philippe Blain Cc: gdb-patches@sourceware.org, apinski@marvell.com In-Reply-To: <20230306-doc-require-mpfr-fix-v1-1-8f207504dd3e@gmail.com> (message from Philippe Blain via Gdb-patches on Fri, 10 Mar 2023 12:46:56 -0500) Subject: Re: [PATCH 1/2] gdb/doc: MPFR is now a necessary requirement References: <20230306-doc-require-mpfr-fix-v1-0-8f207504dd3e@gmail.com> <20230306-doc-require-mpfr-fix-v1-1-8f207504dd3e@gmail.com> X-Spam-Status: No, score=1.7 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_BARRACUDACENTRAL,SPF_HELO_PASS,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Level: * X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: > Date: Fri, 10 Mar 2023 12:46:56 -0500 > Cc: Andrew Pinski > From: Philippe Blain via Gdb-patches > > Since 99118062785 (Use toplevel configure for GMP and MPFR for gdb, > 2022-11-08), MPFR is mandatory for building GDB. That commit adjusted > the "Requirements for Building GDB" section of the documentation so that > the MPFR entry mentions "now uses" instead of "can use", but left the > whole entry under the "Tools/Packages Optional for Building GDB" > heading. > > Move the MPFR entry to the "Tools/Packages Necessary for Building GDB" > heading. > --- > gdb/doc/gdb.texinfo | 30 +++++++++++++++--------------- > 1 file changed, 15 insertions(+), 15 deletions(-) Thanks, this is OK. Approved-By: Eli Zaretskii