[PATCH] * doc/install.texi: Document availability of cloog-0.16

[Gerald Pfeifer]

On Wed, 5 Jan 2011, Tobias Grosser wrote:
> +Necessary to build GCC with the Graphite loop optimizations.  There are
> +two versions available.  CLooG-PPL 0.15 as well as CLooG 0.16.  The current
> +default version used is version 0.15.  It can be downloaded from
> +@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  The code in
> +@file{cloog-ppl-0.15.tar.gz} comes from a branch of CLooG available from
> +@uref{http://repo.or.cz/w/cloog-ppl.git}.  CLooG-PPL should be configured with
> +@option{--with-ppl}.

I find this a bit confusing.  Assuming I managed to parse this correct,
how about saying "The former is the default right now.  It can be
downloaded from...and configured with" (and omit the "The code in...").

On the other hand, if this is the default, why does it need to be
configured explicitly?

>  The @option{--with-cloog} configure option should be used if CLooG is
>  not installed in your default library search path.

Ah, yes.  So is this only necessary for the other case, CLooG 0.16,
or for CLooG-PPL as well?  Or in both cases, in which case this should
be made explicit?

> +CLooG 0.16 support is still in testing stage, but will be the default in future
> +gcc releases.  It is available at
> +@uref{ftp://gcc.gnu.org/pub/gcc/infrastructure/}.  To use it configure with 
> +@option{--enable-cloog-backend=isl}. 

"GCC", please, when referring to the overall package.  And the first 
line is too long

Now you are really loosing me.  CLooG-PPL 0.15 is configured with 
--with-ppl, whereas CLooG 0.16 via --enable-cloog-backend=isl ??

Gerald