[PPL-devel] can't find "ppl.cma"

Hello,

I have downloaded ppl package and follow the steps to install it under /usr/local/lib... Here is the result of "find -name "*ppl.*"" under "/usr/":

./lib/libppl.so.7.1.0 ./lib/libppl.so.7 ./lib/libcloog-ppl.so.0 ./local/share/man/man3/libppl.3 ./local/share/aclocal/ppl.m4 ./local/include/ppl.hh ./local/lib/libppl.so ./local/lib/libppl.la ./local/lib/libppl.a ./local/lib/libppl.so.9 ./local/lib/libppl.so.9.0.0

I have done "find -name "ppl.cma"" under "/", it finds nothing.

Does it mean the package has not been correctly installed? Where do you often find your "ppl.cma"?

Thank you very much

Tie