On 8 October 2015 at 12:48, Daniel Letai wrote: >> Or you can run ./contrib/download_prerequisites to fetch known-good >> versions (that uses isl-0.14) > > This reply is somewhat disingenuous in that the online documentation very > clearly stated isl-0.15 as compatible. Easiest is to simply change the > wording to only include 0.14, but better would be to conform to the new 0.15 > function names, as 0.15 contains several bug fixes and optimization. My reply was correct. As it says at https://gcc.gnu.org/install/ the page you are looking at "refers to the current development sources, instructions for specific released versions are included with the sources. " The current development sources work with ISL 0.15, so the prerequisites page was updated to document that, in https://gcc.gnu.org/r226211 That only happened a few months ago on trunk. For 5.2.0, as it says in the instructions in the 5.2.0 sources, 0.15 is not supported.
