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
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
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
Il 21/09/2011 21:14, Tie Cheng ha scritto:
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"?
No. See Section 5 in README.configure:
5. Configuring the Language Interfaces [...]
Basically, it should be something like
./configure --enable-interfaces=c++,ocaml
followed by make, etc.
Note that the configuration command above will only enable the *default* PPL domain instantations (C_Polyhedron, NNC_Polyhedron, Grid, BD_Shape_mpz_class, etc.; the default list is output at some point by the configuration script). If you need an instantiations not in the default list you should provide appropriate values to option --enable-instantiations=[...]
The configure script is usually able to automatically find all it needs (in particular, the OCaml system), if it is installed into standard places. Note however that there are other requirements (e.g., the MLGMP wrapper). As said before, following the instructions in
interfaces/OCaml/README.ocaml
is definitely useful.
Enea.
participants (2)
-
Enea Zaffanella -
Tie Cheng