--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on September 2012 ---
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/