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] installing Jessie plug-in

> On 04/08/2013 05:17 AM, Stephen Siegel wrote:
>> I've run into some problems installing the Jessie plugin on OS X 10.8.3,
>> with Frama-C Oxygen.
On Mon, Apr 8, 2013 at 6:47 AM, Claude Marche <Claude.Marche at>

> This is the typical message displayed when trying to load a plug-in that
> was compiled with a different OCaml version than the one used to compile
> Frama-C. Could you double-check that the Jessie.cmxs file in Frama-C
> plugins directory is not an old version ?

Note that the reason I mentioned the OCaml compiler in the binary Mac OS X
Frama-C package is that there is no object-level compatibility at all
between OCaml versions. In order to compile and link a plug-in with the
Frama-C from the binary package, one must use OCaml 4.00.1 (the version
that was used to compile the Frama-C kernel in that package).

One such compiler is provided in the package (at
/usr/local/Frama-C/ocaml-4.00.1p/bin ).

I am going to try and install the Jessie plug-in from Why 2.32 on top of
the Frama-C OS X binary package as soon as I have time for it, and I will
report on the difficulties I meet.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>