Hi all, currently, contrib/download_prerequisites downloads isl-0.12.2 from ftp://gcc.gnu.org/pub/gcc/infrastructure/$ISL.tar.bz2
However, that version has a bug which causes an ICE (PR 62289). End of October, ISL 0.14 was released, which should contain a fix for that issue. Hence, one should consider using 0.14 instead of /infrastructure/ and download_prerequisites. Download: http://isl.gforge.inria.fr Disclaimer: I haven't tested that version, yet. * * * The page https://gcc.gnu.org/install/prerequisites.html lists 0.12.2 as version to be used (without "(or later)"). The configure script does some version checks, but seeminly only to rule out early version of ISL as it is only the check for an include file. According to https://groups.google.com/forum/#!topic/isl-development/CQGVfj60SQM "0.14 was kept backward compatible with 0.13." [But 0.15 will break it.] Thus, assuming 0.13 works, 0.14 also should work. Release notes: http://repo.or.cz/w/isl.git/blob/HEAD:/ChangeLog * * * Comments? Especially from Richard and Tobias? * * * Finally, is CLooG still needed or will GCC also work with only ISL? Looking at https://gcc.gnu.org/ml/gcc-patches/2014-08/msg01742.html , it seems as if it is about the right time to remove it. Regards, Tobias
