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

[Sebastian Pop <sebpop@gmail.com>]

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(-)

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 212008a..40c7e6e 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -383,11 +383,11 @@ installed but it is not in your default library search path, the
 @option{--with-mpc} configure option should be used.  See also
 @option{--with-mpc-lib} and @option{--with-mpc-include}.
 
-@item ISL Library version 0.14 (or 0.12.2)
+@item ISL Library version 0.15, 0.14, 0.13, or 0.12.2
 
 Necessary to build GCC with the Graphite loop optimizations.
-It can be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}
-as @file{isl-0.12.2.tar.bz2}.  If an ISL source distribution is found
+It can be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.
+If an ISL source distribution is found
 in a subdirectory of your GCC sources named @file{isl}, it will be
 built together with GCC.  Alternatively, the @option{--with-isl} configure
 option should be used if ISL is not installed in your default library
-- 
1.7.10.4