On Wed, Sep 21, 2011 at 4:00 PM, Enea Zaffanella
<zaffanella@cs.unipr.it> wrote:
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@cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel