Frama-C-discuss mailing list archives
This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Patch for ocaml 4.01.0
- Subject: [Frama-c-discuss] Patch for ocaml 4.01.0
- From: virgile.prevosto at m4x.org (Virgile Prevosto)
- Date: Tue, 17 Sep 2013 21:23:19 +0200
- In-reply-to: <CAHCOHQnLhTo7xE1_hQsRwQg3GHVma7E_dqwHj8-ahJsctJJC0Q@mail.gmail.com>
- References: <CAHCOHQnLhTo7xE1_hQsRwQg3GHVma7E_dqwHj8-ahJsctJJC0Q@mail.gmail.com>
Hello, Le mar. 17 sept. 2013 12:00:17 CEST, Jerry James <loganjerry at gmail.com> a ?crit : > 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. Many thanks for the report, and for taking care of packaging Frama-C for Fedora. As a matter of fact, these issues are already fixed in the development version, and a patch is also available in the opam package of Frama-C (https://github.com/OCamlPro/opam-repository/blob/master/packages/frama-c.20130601/files/4.01-compat.patch). It is pretty similar to yours, except for the implementation of find in hptset, where yours return directly its argument (in case it is in the set), while find_key will return the representative of its equivalence class according to the comparison function, which can be quite different when doing some hashconsing. Best regards, -- E tutto per oggi, a la prossima volta. Virgile
- References:
- [Frama-c-discuss] Patch for ocaml 4.01.0
- From: loganjerry at gmail.com (Jerry James)
- [Frama-c-discuss] Patch for ocaml 4.01.0
- Prev by Date: [Frama-c-discuss] Patch for ocaml 4.01.0
- Next by Date: [Frama-c-discuss] [Jessie] loop invariant
- Previous by thread: [Frama-c-discuss] Patch for ocaml 4.01.0
- Next by thread: [Frama-c-discuss] Jessie3 detecting issue Z3,3.2
- Index(es):