Hello all,<div><br></div><div><div>I just installed Ppl, here is the result of `find -name "*ppl.*" under /usr/:</div><div><br></div><div>    ./lib/libppl.so.7.1.0</div><div>    ./lib/libppl.so.7</div><div>    ./lib/libcloog-ppl.so.0</div>
<div>    ./local/share/man/man3/libppl.3</div><div>    ./local/share/aclocal/ppl.m4</div><div>    ./local/include/ppl.hh</div><div>    ./local/lib/libppl.so</div><div>    ./local/lib/<a href="http://libppl.la">libppl.la</a></div>
<div>    ./local/lib/libppl.a</div><div>    ./local/lib/libppl.so.9</div><div>    ./local/lib/libppl.so.9.0.0</div><div><br></div><div>But when I run the following code by "ocamlc -I /usr/local/lib/ocaml/3.11.2/apron -I /usr/local/lib/ocaml/3.11.2/gmp/ -I /usr/local/lib/ -c <a href="http://file.ml">file.ml</a>", I got an error "Unbound value Ppl.manager_alloc_strict".</div>
<div><br></div><div>    open Apron;;</div><div>    open Mpqf;;</div><div>    open Format;;</div><div><br></div><div>    let print_array = Abstract0.print_array;;</div><div>    let lincons1_array_print fmt x =</div><div>      Lincons1.array_print fmt x</div>
<div>    ;;</div><div>    let generator1_array_print fmt x =</div><div>      Generator1.array_print fmt x</div><div>    ;;</div><div><br></div><div>    let manpk = Polka.manager_alloc_strict();;</div><div>    let manbox = Box.manager_alloc ();;</div>
<div>    let manoct = Oct.manager_alloc ();;</div><div>    let manppl = Ppl.manager_alloc_strict();;</div><div>    ...</div><div><br></div><div>Does anyone know what happened? Thank you very much!</div></div><div><br></div>
<div>Tie CHENG</div>