Tom Tromey wrote: > I looked into this a little. It looks like the PPL checks don't work > properly in the case where PPL is a system library. I guess I need > --with-ppl=/usr ... I will try that later.
Were you using a --prefix? The PPL checks (by design I think) only look for
PPL in your prefix.
cheers,
DaveK
