On 07/21/2015 02:32 PM, Sebastian Pop wrote:
Could somebody with access to sourceware.org upload a tar.bz2 of the required
version of isl from http://isl.gforge.inria.fr/isl-0.15.tar.bz2?
Also, once that is done, I will commit the following patch updating the
documentation.
I've put isl-0.15.tar.bz2 into the ftp directory.
However, I don't think we've changed the required version of ISL for
gcc. If we were changing the required version, then I wouldn't have
bothered to verify that the trunk still works with 0.13 (and the patch
itself would have been simpler).
What I think we've done is merely allow the use of a newer ISL, possibly
changing the recommended version, but not the base required version.
Jeff