From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from joooj.vinc17.net (joooj.vinc17.net [155.133.131.76]) by sourceware.org (Postfix) with ESMTPS id 64E9F3858C33 for ; Wed, 24 Aug 2022 20:00:33 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 64E9F3858C33 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=vinc17.org Authentication-Results: sourceware.org; spf=none smtp.mailfrom=vinc17.org Received: from smtp-zira.vinc17.net (128.119.75.86.rev.sfr.net [86.75.119.128]) by joooj.vinc17.net (Postfix) with ESMTPSA id 379A9300; Wed, 24 Aug 2022 22:00:31 +0200 (CEST) Received: by zira.vinc17.org (Postfix, from userid 1000) id F202428001F9; Wed, 24 Aug 2022 22:00:30 +0200 (CEST) Date: Wed, 24 Aug 2022 22:00:30 +0200 From: Vincent Lefevre To: "Matthew R. Wilson" , Dennis Clarke , gcc-help@gcc.gnu.org, mpfr@inria.fr Subject: Re: one of those annoying little things Message-ID: <20220824200030.GB32066@zira.vinc17.org> Mail-Followup-To: "Matthew R. Wilson" , Dennis Clarke , gcc-help@gcc.gnu.org, mpfr@inria.fr References: <49c6528e-13d9-fcff-2046-6a0a167c3fea@blastwave.org> <20220824082743.3jqs3owseaulpjh7@mattwilson.org> <20220824180423.dubtsnvgropsdtb3@mattwilson.org> <20220824192313.GA32066@zira.vinc17.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20220824192313.GA32066@zira.vinc17.org> X-Mailer-Info: https://www.vinc17.net/mutt/ User-Agent: Mutt/2.2.7+32 (d84696f2) vl-149028 (2022-08-22) X-Spam-Status: No, score=-3.4 required=5.0 tests=BAYES_00,KAM_DMARC_STATUS,KAM_LAZY_DOMAIN_SECURITY,SPF_HELO_NONE,SPF_NONE,TXREP,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On 2022-08-24 21:23:13 +0200, Vincent Lefevre wrote: > I'll update the MPFR text later in order to clarify it and give more > details. The text on https://www.mpfr.org/mpfr-current/ is now: Because make's rebuild decisions are based on timestamps, the -Z option is highly recommended: it sets the modification time of the patched files from timestamps given in the patch file, thus avoiding unnecessary rebuilds that could need some development utilities (such as autoconf); for the special PATCHES file, this may generate a "Not setting time" warning, which you can safely ignore. If the -Z option is not available, you can also avoid the unnecessary rebuilds by using the --disable-maintainer-mode configure option later. -- Vincent Lefèvre - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)