--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on April 2013 ---
I used OCaml 4.00.1 (installed via MacPorts) to compile Why: plugins$ ocaml -version The OCaml toplevel, version 4.00.1 plugins$ which ocaml /opt/local/bin/ocaml The only reason I didn't use the binary in the Mac OS X Frama-C package is that it did not include ocamlgraph, required for Why. (I also got ocamlgraph from Macports: sudo port install ocaml-ocamlgraph) > Could you double-check that the Jessie.cmxs file in Frama-C plugins directory is not an old version ? I don't know how to do this: it's a binary file. -s On Apr 8, 2013, at 3:42 AM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote: > 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. > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130408/af0c021e/attachment.html>