[PATCH] gcc: fix building w/isl-0.15

[Jeff Law]

On 07/24/2015 03:53 PM, Sebastian Pop wrote:
> Jeff Law wrote:
>> 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.
>
> Right, I have misunderstood the patch, as I though that the configure bits would
> check for the existence of a file only distributed in isl-0.15.  Updated patch.
> Ok to commit to trunk?
>
> Thanks,
> Sebastian
>
>  From e9e2685bcffbfa3a9129a1e10574dee907fa4377 Mon Sep 17 00:00:00 2001
> From: Sebastian Pop <sebpop@gmail.com>
> Date: Tue, 21 Jul 2015 20:26:36 +0000
> Subject: [PATCH] update doc for supported isl versions
>
> ---
>   gcc/doc/install.texi |    6 +++---
>   1 file changed, 3 insertions(+), 3 deletions(-)
OK.
jeff