--- layout: fc_discuss_archives title: Message 4 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



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