--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on October 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to use external libraries in Dynamic Plugin



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/