--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on April 2013 ---
> > 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 inria.fr> wrote: > > 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: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130408/6f444c02/attachment.html>