--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on August 2011 ---
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.