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

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



Hello,

Le 23/08/2011 18:41, Damien Karkinsky a ?crit :
> PLUGIN_BFLAGS := -I +extralib
> PLUGIN_OFLAGS := -I +extralib
> PLUGIN_EXTRA_BYTE := extralib.cma
> PLUGIN_EXTRA_OPT:= extralib.cma
>
> gives me an /make/ error with no rule to make extralib.cma.

In a similar situation, I don't know why, but I had to use :
 > PLUGIN_BFLAGS := -I $(EXTRALIB_PATH)
 > PLUGIN_OFLAGS := -I $(EXTRALIB_PATH)
 > PLUGIN_EXTRA_BYTE := $(EXTRALIB_PATH)/extralib.cma
 > PLUGIN_EXTRA_OPT:= $(EXTRALIB_PATH)/extralib.cma

with EXTRALIB_PATH defined to be the [extralib] directory.

Hope this helps,
-- 
Anne.