>>>>> "Dave" == Dave Korn <dave.korn.cyg...@googlemail.com> writes:
Dave> Were you using a --prefix? The PPL checks (by design I think) only Dave> look for PPL in your prefix. Dave> I do not know it; I have merely observed the behaviour. It may Dave> even not be by design for all I know, though I suspect it makes Dave> sense - where else would you look but in the prefix? Prefixes Dave> exist to create separation between packages. That didn't seem to be what the code on Basile's branch does. But, if this is what the PPL checks do actually do somewhere, then they are broken. Prefix is for specifying the install tree -- specifying how the build is done is handled by other options. Tom
