Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.

[Tobias Grosser <grosser at fim dot uni-passau dot de>]

On 01/25/2011 10:45 AM, H.J. Lu wrote:
> On Tue, Jan 25, 2011 at 7:38 AM, Tobias Grosser
> <grosser@fim.uni-passau.de>  wrote:
> > On 01/25/2011 10:33 AM, H.J. Lu wrote:
> > > On Tue, Jan 25, 2011 at 6:53 AM, Richard Guenther
> > > <richard.guenther@gmail.com>    wrote:
> > > > On Tue, Jan 25, 2011 at 3:49 PM, H.J. Lu<hjl.tools@gmail.com>    wrote:
> >
> > > > > [...]
> > > >
> > > > One less shared libraray because of
> > > >
> > > > "Even if CLooG 0.16
> > > > does not use PPL, PPL is still required for Graphite."
> > >
> > > It makes no senses.  I installed ppl 0,11 and cloog 0.16.1. I got
> > >
> > > checking for version 0.11 (or later revision) of PPL... yes
> > > checking for installed CLooG PPL Legacy... no
> > > configure: error: Unable to find a usable CLooG.  See config.log for
> > > details.
> > >
> > > configure:5881: gcc -m32 -o conftest -g -I/opt/gnu/include
> > > -I/opt/gnu/include   -DCLOOG_INT_GMP -DCLOOG_ORG  -L/opt/gnu/lib
> > > -L/opt/gnu/lib -lppl_c -lppl -lgmpxx conftest.c -lcloog>&5
> > > conftest.c: In function 'main':
> > > conftest.c:15:5: error: 'choke' undeclared (first use in this function)
> >
> > > [...]
> > >
> > > Why does it check cloog-ppl at all?
> >
> > Cloog 0.15 (known as cloog-ppl) is still the default. If you installed
> > cloog-0.16.1 (known as cloog-isl) you need to explicitly state that you want
> > a Cloog other than the default. This is done by
> > '--enable-cloog-backend=isl' in the configure.
>
> There is no working cloog ppl for cloog 0.16.1. Why do you make it
> the default for 0.16.1?

Sorry for the confusion. There are those cloog versions available:

cloog 0.15 (Also known as cloog-ppl)
cloog 0.16.1 (Also known as cloog-isl)
cloog-parma 0.16.1 (Also known as cloog-parma)

We currently still default to cloog 0.15 (cloog-ppl). The next step for 
gcc 4.7 will be to update to cloog 0.16 (cloog-isl). With this update we 
will switch from using a ppl based cloog backend to an isl based cloog 
backend. However for gcc 4.6 we still default to use cloog 0.15 with the 
ppl based backend.

There will never be a 0.16 release of cloog-ppl. Its development is 
stopped in favor of cloog-isl and cloog-parma (Also using ppl as backend).

Cheers
Tobi