--- layout: fc_discuss_archives title: Message 9 from Frama-C-discuss on April 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Jessie plug-in



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>