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

[Frama-c-discuss] How to use external libraries in Dynamic Plugin



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>