--- layout: fc_discuss_archives title: Message 32 from Frama-C-discuss on February 2012 ---
On Thu, 2012-02-09 at 09:35 +0100, Julien Signoles wrote: > This message only indicates that you do not specify any C file on the > Frama-C command line. It should not be related to your visitor. I did specify an input file. > The example provided in the Plug-in Developer Guide is out-of-date and, > if I remember correctly, it does not compile anymore with the last > version of Frama-C, even if the call to File.create_project_from_visitor > should be correct. Thus you probably try something else. What do you > exactly try? I dynamically register the plugin and call File.create_project_from_visitor to initialize the visitor. I changed the example, it compiles and frama-c -help lists the plugin. This is what happens: $ frama-c -nonzero t.c [kernel] warning: no input file. [kernel] preprocessing with "gcc -C -E -I. t.c" $ -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120209/3a88bb6e/attachment.htm> -------------- next part -------------- A non-text attachment was scrubbed... Name: non_zero_divisor.ml Type: text/x-ocaml Size: 1173 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120209/3a88bb6e/attachment.bin>