diff options
| author | Sebastian Pop <s.pop@samsung.com> | 2015-07-25 09:14:55 +0000 |
|---|---|---|
| committer | Sebastian Pop <spop@gcc.gnu.org> | 2015-07-25 09:14:55 +0000 |
| commit | f50d98b54382e7a79e25ec15828f41fa35ad77d0 (patch) | |
| tree | c969c458cff3efe8a1659386493f423e53d2f308 | |
| parent | b23fdfb763ef1c226e80ed0033f4025f90f78666 (diff) | |
| download | gcc-f50d98b54382e7a79e25ec15828f41fa35ad77d0.zip gcc-f50d98b54382e7a79e25ec15828f41fa35ad77d0.tar.gz gcc-f50d98b54382e7a79e25ec15828f41fa35ad77d0.tar.bz2 | |
update doc for supported isl versions
* doc/install.texi: Document supported versions of ISL.
From-SVN: r226211
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/doc/install.texi | 6 |
2 files changed, 7 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index eebe69d..e70f931 100644 --- 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 772ff19..0e3093f 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 |