[patch][graphite] Fix configure for PPL installed in /usr
Wed Dec 10 20:08:00 GMT 2008
On Wed, Dec 10, 2008 at 1:54 PM, Richard Guenther
> Are you sure? This works for me. Or did this break with your last patch
> for the BASELIBS?
I don't know, on my devpt machine I have both PPL and CLooG installed
in /usr and it continued to work even after the BASELIBS change. Now
I used a new machine where I installed everything from scratch and the
install of PPL in /usr did not worked.
As we have a similar mechanism for dealing with clooglibs, I don't see
why ppllibs should be dealt with in a different way: default should be
set to the -lflags and if the tests show that PPL does not exist, the
ppllibs is set to the empty string.
More information about the Gcc-patches