[PPL-devel] Error: Unbound value Ppl.manager_alloc_strict

[Tie Cheng]

Hello all,

I just installed Ppl, 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

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 file.ml", I got an error "Unbound value
Ppl.manager_alloc_strict".

    open Apron;;
    open Mpqf;;
    open Format;;

    let print_array = Abstract0.print_array;;
    let lincons1_array_print fmt x =
      Lincons1.array_print fmt x
    ;;
    let generator1_array_print fmt x =
      Generator1.array_print fmt x
    ;;

    let manpk = Polka.manager_alloc_strict();;
    let manbox = Box.manager_alloc ();;
    let manoct = Oct.manager_alloc ();;
    let manppl = Ppl.manager_alloc_strict();;
    ...

Does anyone know what happened? Thank you very much!

Tie CHENG
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20110921/08d3a3d9/attachment.htm>