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



Hello,
How would one include a custom library to a dynamic plugin makefile? The
library is required in the PLUGIN_GUI_CMO but

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.

Thank you
Regards
Damien



-- 
------------------------------------------------------------------------

Dr. Damien Karkinsky

Safety-Critical Systems Consultant

Adelard LLP. (www.adelard.com)

Exmouth House, 3-11 Pine Street, London, EC1R 0JH

tel: +44(0)20-7832-5850   mob: +44(0)779-568-1233

------------------------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110823/1fd567f4/attachment.htm>