I've noticed the cloog-ppl configure script looks for this library, additionally to ppl. http://icps.u-strasbg.fr/polylib/ Should we add it as a buildInput to cloog-ppl? Would we get any improvement? Anyone knows? :) Regards, Lluís.