--- layout: fc_discuss_archives title: Message 111 from Frama-C-discuss on September 2013 ---
Fedora Rawhide updated to OCaml 4.01.0 a few days ago. We've been rebuilding ocaml packages ever since. I got to Frama-C last night, and found I needed to patch a few things to get a good build. The attached patch addresses the following. - There are two vlogic_info_decl methods in src/kernel/file.ml. OCaml 4.01.0 considers that an error, so this patch combines them. - The Set signature now includes a find method. This had to be added to src/lib/hptset.ml(i), src/lib/setWithNearest.ml, and src/wp/qed/src/idxset.ml. - OCaml 4.01.0 became confused by the order of "with" clauses in src/memory_state/cvalue.mli. It complained that the Map fields did not have the same type. The fix was to swap the order of the clauses, as shown in the patch. I'm sure this patch could be improved in a number of ways, by somebody who is actually a competent ocaml programmer (i.e., not me). Regards, -- Jerry James http://www.jamezone.org/ -------------- next part -------------- A non-text attachment was scrubbed... Name: frama-c-ocaml401.patch Type: application/octet-stream Size: 4635 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20130917/5334e260/attachment.obj>