--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on December 2013 ---
Hi all, I am currently working on a frama-c plugin project which used in Frama-c-Lithium. After make, I moved the .cmo file of the plugin to the Frama-c -print-path /plugin/. However it seems not been loaded to the Frama-c-Lithium. When I followed the Plugin Manual of Lithium to load a dynamic module, it seems not work either. How can I do to load the plugin into the Frama-c-Lithium? Thanks! -- Kind regards, Qi Alfred Chen PhD Student, Department of Electrical Engineering and Computer Science, University of Michigan - Ann Arbor, 48105 Tel: 1-734-834-2916 Alt. Email: adios737 at gmail.com Homepage: www.eecs.umich.edu/~alfchen -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131205/70d8681d/attachment.html>