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@cs.unipr.itwrote:
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.0I 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