--- layout: fc_discuss_archives title: Message 50 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,

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?

Thank you

Best wishes
Damien

-- 
------------------------------------------------------------------------

Dr. Damien Karkinsky

IT Consultant

Adelard LLP. (www.adelard.com)

10 Northampton Square, London EC1V 0HB

tel: +44(0)20-7490-9464   mob: +44(0)779-568-1233

------------------------------------------------------------------------