--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on October 2011 ---
On 03/10/2011 16:43, DUPRAT Stephane wrote: > Hello, > > Is it possible to use an external library in dynamic plugin ? For > example, if I want to use sqlite3 OCaml library. I need to know the > path <GODI_install>/install/lib/ocaml/pkg-lib/sqlite3/ and archive > names sqlite3.cma and sqlite3.cmxa. > If you use ocamlfind, you can try "ocamlfind query sqlite3"? otherwise, you are left with checking that "ocamlc -where" corresponds to "<GODI_install>/install/lib/ocaml/" and adding "-I +pkg-lib/sqlite3" to your build flags. I've never used Godi though? so, I don't know how <GODI_install>/install/lib/ocaml/ is organized. Kind regards, -- Mehdi Dogguy ???? ????? http://dogguy.org/