Re: one of those annoying little things

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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 <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)



[Index of Archives]     [Linux C Programming]     [Linux Kernel]     [eCos]     [Fedora Development]     [Fedora Announce]     [Autoconf]     [The DWARVES Debugging Tools]     [Yosemite Campsites]     [Yosemite News]     [Linux GCC]

  Powered by Linux