[PPL-devel] Re: configure problem in ppl