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

[Frama-c-discuss] Dynamic Plugin



Dear Dillon,

> Indeed, I think I found what was "wrong" in my environment (maybe it can help other users): 
> I gave the file .ml and the plugin the same name (ie, hello.ml instead of hello_world.ml ... with a plugin name = hello) which overwrote .cmo files in the working directory and later on in the plugins one.
> Maybe the documentation should mention that the .ml and the plugin should not share the same name to avoid this kind of trouble ... for "too naming-lazy" plugin developers like me!

You're fully right. The plug-in development guide now highlights this
(under CVS).

Cheers,
Julien