--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on February 2012 ---
I work in window7, change the environment OCALMLIB. and it works when I run $ make && make install but I got some errors of missing file, Will we need to add some environment Variable ? many thanks BR, Thuong Nguyen -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120211/f2e41d4b/attachment.htm> -------------- next part -------------- A non-text attachment was scrubbed... Name: jdcigefi.png Type: image/png Size: 5057 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120211/f2e41d4b/attachment.png>