--- layout: fc_discuss_archives title: Message 51 from Frama-C-discuss on March 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] compilation problem with one of the kernel modules



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.