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

Tie Cheng chengtie at gmail.com
Wed Sep 21 21:14:51 CEST 2011


Hello,

Thanks for your reply...

I have downloaded ppl-0.11.2, and followed normal steps to install it:

./configure
make
make check
make install

Do you mean if I need files like "ppl_ocaml.cma" (currently I do not find
it), I need to go to interfaces/OCaml/ and run a "make"?

Thank you very much

Tie


On Wed, Sep 21, 2011 at 4:00 PM, Enea Zaffanella <zaffanella at 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 at cs.unipr.it
> > http://www.cs.unipr.it/mailman/listinfo/ppl-devel
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20110921/9047eee0/attachment.htm>


More information about the PPL-devel mailing list