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>