--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on December 2009 ---
Hi Pascal, I installed the new Why version, but it is incompatible with the Frama-C release for Mac OS Snow Leopard that is available on the web page. The problem is that after install the new why version, if I call: > frama-c -jessie-analysis sample.c it gives the following output: [kernel] warning: cannot load file "/usr/local/Frama-C_Be/lib/frama-c/plugins/Jessie.cmxs" (dynlink error "error loading shared library: dlopen(/usr/local/Frama-C_Be/lib/frama-c/plugins/Jessie.cmxs, 138): no suitable image found. Did find: /usr/local/Frama-C_Be/lib/frama-c/plugins/Jessie.cmxs: mach-o, but wrong architecture") [kernel] user error: option `-jessie-analysis' is unknown. use `frama-c -help' for more information. [kernel] Plugin kernel aborted because of invalid user input(s). It seems that we need to re-compile the new why release in a different architecture. Can you update the Frama-c release that you put on the web page with the new Why release? Best regards, B?rbara