--- layout: fc_discuss_archives title: Message 51 from Frama-C-discuss on March 2011 ---
Hello, Le 23/03/2011 15:50, Damien Karkinsky a ?crit : > I'm trying to compile a dynamically loaded plugin. The plugin contains a > line of code > > let filelist = (File.get_all ()) and the compiler is complaining that > File.get_all is unbound value. > > The plugin can access all other modules under src/kernel such as Globals etc > > I am using latest version of Carbon. > > I think its a problem with the makefile could someone point me in the > right direction? That is quite surprising because I use myself module File in my own dynamic plug-in without any problem and I just do another try with Frama-C carbon + a custom plug-in using File.get_all successfully. The only issue I can think about is the following: you have a line "open Foobar" where Foobar is a module containing a sub-module called File. A good candidate is Cil_datatype from the Frama-C kernel. Open is evil: use it as few as possible ;-). Hope this helps, Julien.