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

[Enea Zaffanella]

Il 21/09/2011 13:35, Tie Cheng ha scritto:
> 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 <http://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"?

The file is named ppl_ocaml.cma

Most binary packages only provide the C++ and C interfaces for PPL.
If you need the OCaml interface then probably you need to build the
library from sources (with proper configuration).
See interfaces/OCaml/README.ocaml

Enea.


> Thank you very much
> 
> Tie
> 
> 
> 
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel