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

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



> I expect that the procedure is, after having set your PATH
> to use /usr/local/Frama-C_Be/ocaml-3.11.1/bin/ocaml,
> to type "make static" in the Jessie Frama-C plug-in's
> directory, which is a sub-directory of the Why source
> distribution.

I forgot to point out that this would produce a
single binary containing Frama-C and Jessie, and that this
binary would be named "frama-c-Jessie".

An alternative is to compile a dynamic version of the new
Jessie on Leopard, where everything works, and to copy
the obtained binary plug-in over to a Snow Leopard
(where dynlink works for already compiled object files)
installation of Frama-C.
I will try to prepare this soon.

Pascal