On May 14, 2021 10:53:21 AM GMT+02:00, "Martin Liška" <mli...@suse.cz> wrote: >On 5/12/21 10:51 AM, Richard Biener via Gcc wrote: >> On Tue, May 11, 2021 at 6:34 PM Serge Belyshev via Gcc ><gcc@gcc.gnu.org> wrote: >>> >>> >>>> $ egrep "mpfr\.h" log/cfg/cfg.gcc-11.1.0.log >>>> checking for the correct version of mpfr.h... buggy but acceptable >>>> >>>> It appears "gcc-11.1.0/contrib/download_prerequisites" >>>> specifies "mpfr-3.1.4.tar.bz2" whereas top level 'configure' >>>> has "MPFR_VERSION_NUM(3,1,6)". >>>> >>>> Is there a reason mpfr 3.1.6 isn't being used? >>> >>> No good reason: that script was not updated with new versions. >GCC-11 is >>> also known to work fine with the most recent mpfr version 4.1.0. >> >> Yes, the update of the minimum version and the buggy check was >> done by Janne w/o adjusting the download script. >> >> Richard. >> > >Should I adjust download_prerequisites accordingly?
Yes. Richard. >Martin
