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] 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