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

[Ryan Hill <dirtyepic at gentoo dot org>]

On Thu, 6 Jan 2011 00:35:20 +0100 (CET)
Gerald Pfeifer <gerald@pfeifer.com> wrote:

> 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 > 
> Gerald
> 

> --with-ppl, whereas CLooG 0.16 via --enable-cloog-backend=isl ??

CLooG-PPL is configured with --with-ppl.  CLooG 0.16 is configured with
--with-isl (I think this is the default though so maybe not necessary).  To
use CLooG 0.16, GCC itself must be configured with
--enable-cloog-backend=isl.  The default is --enable-cloog-backend=ppl-legacy.

Could you also comment on whether or not PPL is still a dependency of GCC when
using CLooG 0.16 with the ISL backend?  I'm a little confused on this
matter.  Also, if CLooG-PPL will remain the default, will the minimum PPL
version remain 0.10 or be bumped to 0.11?  If the latter, you will need to
update the stated minimum CLooG-PPL filename to cloog-ppl-0.15.10.tar.gz.


-- 
fonts, gcc-porting,                  it makes no sense how it makes no sense
toolchain, wxwidgets                           but i'll take it free anytime
@ gentoo.org                EFFD 380E 047A 4B51 D2BD C64F 8AA8 8346 F9A4 0662

Attachment: signature.asc
Description: PGP signature