--- layout: fc_discuss_archives title: Message 37 from Frama-C-discuss on December 2014 ---
Thanks.. 35Mb executable ;) Anyway I could get a dynamically linked executable and get end-users to copy the frama-c libs? On Wed, Dec 24, 2014 at 8:03 PM, Virgile Prevosto <virgile.prevosto at m4x.org> wrote: > 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 > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss