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

[Enea Zaffanella]

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.