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

[Sebastian Pop <sebpop at gmail dot com>]

Jeff Law wrote:
> On 07/14/2015 08:45 AM, Mike Frysinger wrote:
> >---
> >  gcc/config.in               |  6 ++++++
> >  gcc/configure               | 31 +++++++++++++++++++++++++++++++
> >  gcc/configure.ac            | 14 ++++++++++++++
> >  gcc/graphite-dependences.c  | 14 +++++++-------
> >  gcc/graphite-optimize-isl.c |  8 ++++++--
> >  gcc/graphite-poly.h         |  5 +++++
> >  6 files changed, 69 insertions(+), 9 deletions(-)
> Thanks.  I needed Bernhard's follow-up to get a successful build
> with isl-0.15 installed.
> 
> For testing I verified there were no regressions using bootstrapped
> compilers built with isl-0.13 vs isl-0.15.  I also verified that GCC
> would bootstrap with the patch installed, but no ISL installed.
> 
> I've installed both patches on the trunk.

Thanks Jeff.

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.

Thanks,
Sebastian

>From 189565d5f0cdcb54aac309316316456b88957ef6 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 required isl version

---
 gcc/doc/install.texi |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 212008a..192ca91 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
 
 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
+as @file{isl-0.15.tar.bz2}.  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