--- layout: fc_discuss_archives title: Message 50 from Frama-C-discuss on March 2011 ---
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 ------------------------------------------------------------------------