Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] New Why Release on Mac OS Snow Leopard
  • From: barbaraisabelvieira at (Barbara Vieira)
  • Date: Wed, 2 Dec 2009 11:22:04 +0000

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,