LGTM. Thanks!
Tobias Burnus wrote: > 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
