Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Custom libraries in dynamic plugins


Le 23/08/2011 18:41, Damien Karkinsky a ?crit :
> How would one include a custom library to a dynamic plugin makefile? The
> library is required in the PLUGIN_GUI_CMO but
> PLUGIN_BFLAGS := -I +extralib
> PLUGIN_OFLAGS := -I +extralib
> PLUGIN_EXTRA_BYTE := extralib.cma
> PLUGIN_EXTRA_OPT:= extralib.cma

That is the right compilation flags, except that it should be 
extralib.cmxa instead of .cma for PLUGIN_EXTRA_OPT.

> gives me an /make/ error with no rule to make extralib.cma.

The library is added to the required dependencies of the plug-in for 
safety purpose. If you know that it is always up-to-date, just add the 
following empty rules to your Makefile:


Hope this helps,