--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on October 2011 ---
Hi St?phane, this should be not a problem. I used to do that to link against APRON and other libraries. The Makefile variable PLUGIN_EXTRA_OPT should still exist, no ? I had somethinkg like that: # XML Output ifeq (no,yes) XMLP4 = -DXML_CHECK XML_LIB = xml-light XML_LINK = -I $(shell ocamlfind query xml-light) endif LINK = $(XML_LINK) -I $(shell ocamlfind query regexp) $(APRON_LINK) LIBS = $(XML_LIB) regexp $(APRON_LIBS) PLUGIN_BFLAGS = $(LINK) PLUGIN_OFLAGS = $(LINK) PLUGIN_LINK_OFLAGS = $(LINK) PLUGIN_EXTRA_OPT = $(LIBS:=.cmxa) $(APRON_LINK_OPTIONS) $(addprefix $(APRON_PATH )/,$(APRON_LIBSA)) Does it answer you question ? -- Pierre-Lo?c Garoche pierre-loic.garoche at onera.fr pierre-loic-garoche at uiowa.edu http://www.onera.fr/staff/pierre-loic-garoche/ -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 198 bytes Desc: Digital signature URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111003/f508b5f6/attachment.pgp>