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

[Tie Cheng]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20110921/4e68a0e8/attachment.htm>