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