[1/2,graphite] document minimal required version for isl

also update ISL to isl as requested by its author Sven Verdoolaege.
---
 gcc/doc/install.texi | 9 +++++----
 gcc/doc/invoke.texi  | 4 ++--
 2 files changed, 7 insertions(+), 6 deletions(-)

On Thu, Dec 10, 2015 at 6:05 PM, Sebastian Pop <s.pop@samsung.com> wrote:
> also update ISL to isl as requested by its author Sven Verdoolaege.

Ok.  Please always post ChangeLog entries as well.

Richard.

> ---
>  gcc/doc/install.texi | 9 +++++----
>  gcc/doc/invoke.texi  | 4 ++--
>  2 files changed, 7 insertions(+), 6 deletions(-)
>
> diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
> index 0b71bef..b43a3ec 100644
> --- a/gcc/doc/install.texi
> +++ b/gcc/doc/install.texi
> @@ -383,14 +383,15 @@ 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.15 or 0.14.
> +@item isl Library version 0.15 or 0.14.
>
> +Minimal isl version supported is 0.14 and it is highly recommended to use 0.15.
>  Necessary to build GCC with the Graphite loop optimizations.
>  It can be downloaded from @uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.
> -If an ISL source distribution is found
> +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
> +option should be used if isl is not installed in your default library
>  search path.
>
>  @end table
> @@ -1850,7 +1851,7 @@ a cross compiler, they will not be used to configure target libraries.
>  @item --with-isl=@var{pathname}
>  @itemx --with-isl-include=@var{pathname}
>  @itemx --with-isl-lib=@var{pathname}
> -If you do not have the ISL library installed in a standard location and you
> +If you do not have the isl library installed in a standard location and you
>  want to build GCC, you can explicitly specify the directory where it is
>  installed (@samp{--with-isl=@/@var{islinstalldir}}). The
>  @option{--with-isl=@/@var{islinstalldir}} option is shorthand for
> diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi
> index 5256031..7ae0849 100644
> --- a/gcc/doc/invoke.texi
> +++ b/gcc/doc/invoke.texi
> @@ -8939,12 +8939,12 @@ Enable the identity transformation for graphite.  For every SCoP we generate
>  the polyhedral representation and transform it back to gimple.  Using
>  @option{-fgraphite-identity} we can check the costs or benefits of the
>  GIMPLE -> GRAPHITE -> GIMPLE transformation.  Some minimal optimizations
> -are also performed by the code generator ISL, like index splitting and
> +are also performed by the code generator isl, like index splitting and
>  dead code elimination in loops.
>
>  @item -floop-nest-optimize
>  @opindex floop-nest-optimize
> -Enable the ISL based loop nest optimizer.  This is a generic loop nest
> +Enable the isl based loop nest optimizer.  This is a generic loop nest
>  optimizer based on the Pluto optimization algorithms.  It calculates a loop
>  structure optimized for data-locality and parallelism.  This option
>  is experimental.
> --
> 1.9.1
>