--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on October 2011 ---
Hello St?phane, 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. > > I have seen interesting informations in the devel manual with the use > of plugin_require_external macro, but it is for static plugin and I'm > wondering if it is really possible to have the same thing with > dynamic plugins and how to do that ? > If you include ${FRAMAC_SHARE}/configure.ac in your plugin's configure.ac file, as explained in section 4.2.6 of the developer's manual, you have access to all Frama-C's macros, regardless of the dynamic or static nature of the plugin. Note that plugin_require_external merely states that your plugin cannot be compiled without the given library. You should also have a corresponding configure_library call to detect if it is present, as explained in section 4.2.3. Best regards, -- E tutto per oggi, a la prossima volta Virgile