Message ID | 20150724215313.GB12889@f1.c.bardezibar.internal |
---|---|
State | New |
Headers | show |
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
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