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.
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
