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