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



Le 24/08/2011 09:19, Anne Pacalet a ?crit :
> 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.

That is a correct alternative to my proposal. It works because make is 
able to find $(EXTRALIB_PATH)/extralib.cma and check that it is up-to-date.

--
Julien