--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on December 2014 ---
Hello, 2014-12-23 1:03 GMT+01:00 Vanush Vaswani <vanush at gmail.com>: > Is it possible to write a plugin and have it link to Frama-C in a > standalone executable? If so, are there any example of the Makefile? > Do you mean statically link the plugin to obtain a new executable? If so, and if you're including Makefile.dynamic as suggested by the manual, 'make static' should achieve what you want (note however that this is not the most tested way of compiling a Frama-C plugin). Best regards, -- E tutto per oggi, a la prossima volta Virgile