--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on September 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Patch for OCaml 4.00.0



Hello Virgile,

On Wed, Sep 12, 2012 at 2:49 AM, Virgile Prevosto
<virgile.prevosto at m4x.org> wrote:
> FWIW, I attach the patch file from the godi package related to ocaml
> 4.00 compatibility.

Thank you.  I found a patch like this one at
http://gallium.inria.fr/~doligez/ocaml-4.00.0-compatibility-patches/,
but couldn't use it, because it caused compilation of the why package
to fail with a complaint about mismatched signatures.  That seems to
be due to the introduction of Datatype.Hashtbl_S, which doesn't match
ocaml's Hashtbl signature.  That's why I took the approach described
in my first message, which leads to a good build of both frama-c and
why.  I'm still trying both of them out to see if any problems
surface.

Regards,
-- 
Jerry James
http://www.jamezone.org/