[Contrib] Download ISL 0.15 by download_prerequisites

Hi all,

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.

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

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