update doc for supported isl versions

       * doc/install.texi: Document supported versions of ISL.

From-SVN: r226211

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index eebe69dcbb955e3b3bd74d985f0b768e01235661..e70f931288129f436f783e66cae30c89e9c22592 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2015-07-25  Sebastian Pop  <s.pop@samsung.com>
+
+       * doc/install.texi: Document supported versions of ISL.
+
 2015-07-25  Jeff Law  <law@redhat.com>
 
        Revert:

diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 772ff19c9d355e533d7f75208336643bf272dc3a..0e3093f03ee88730afc5104577e13d58ede5019b 100644 (file)
--- 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