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.