--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New Why Release on Mac OS Snow Leopard



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