On 06/03/2010 11:03 PM, Mehdi Dogguy wrote:
> % ocaml              
>         Objective Caml version 3.11.2
> 
> # #directory "+apron";;
> # #load "gmp.cma";;
> Cannot load required shared library dllgmp_caml.
> Reason: /usr/lib/ocaml/stublibs/dllgmp_caml.so: 
> /usr/lib/ocaml/stublibs/dllgmp_caml.so: undefined symbol: caml_ba_alloc_dims.
> #
> 

hum… stupid me :) It only needs to load bigarray.cma :)

-- 
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/



--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to