--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on December 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Standalone application



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