If there are no objections, I intent to commit the following patch tomorrow as obvious.
Tobias On Tue, Oct 27, 2015 at 11:27:41AM +0100, Tobias Burnus wrote: > recently, support for ISL 0.15 was added to GCC and also > ftp://gcc.gnu.org/pub/gcc/infrastructure/ now contains ISL 0.15. > > Hence, there is no reason not to download the newest version by > download_prerequisites. > > OK for the trunk? (One could also add it to GCC 5 as the ISL 0.15 > patches landed there as well on 2015-10-12.) > > > Side remark: I think one could could consider to also put newer versions > of the other prerequisites on the FTP server, which currently has quite > old versions: > - GMP: 4.3.2 of January 2010 - current is 6.0.0a of March 2014 (6.1RC is Oct > 2015) > - MPFR: 2.4.2 of mid 2009 - current is 3.1.3 of June 2015 (the web page > has additionally 3 post-relase bug-fix patches) > - MPC: 0.8.1 of end of 2009 - current is 1.0.2 of February 2015 > > Cheers, > > Tobias > > > contrib/ > * download_prerequisites: Download ISL 0.15. > > diff --git a/contrib/download_prerequisites b/contrib/download_prerequisites > index 6940330..a685a1d 100755 > --- a/contrib/download_prerequisites > +++ b/contrib/download_prerequisites > @@ -48,7 +48,7 @@ ln -sf $MPC mpc || exit 1 > > # Necessary to build GCC with the Graphite loop optimizations. > if [ "$GRAPHITE_LOOP_OPT" = "yes" ] ; then > - ISL=isl-0.14 > + ISL=isl-0.15 > > wget ftp://gcc.gnu.org/pub/gcc/infrastructure/$ISL.tar.bz2 || exit 1 > tar xjf $ISL.tar.bz2 || exit 1
