--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on September 2009 ---
Mehdi Dogguy a ?crit : > Julien Signoles a ?crit : >>> [?] >>> checking for /usr/lib/ocaml/dynlink.cmxa... no >>> configure: WARNING: native dynlink unavailable (ocaml 3.11 or higher required) >>> [?] >> The configure is right: /usr/lib/ocaml/dynlink.cmxa does not exist for >> your platform. So dynlink does not properly work in native (i.e. with >> ocamlopt) but I have understood that you have no native compiler: that's ok. >> >> I don't understand your issue > > OK. Maybe I'm wrong then... I just noticed that on those platforms > dynlink_lower_311_byte.ml was used although there was an OCaml compiler > ? 3.11.1. So here is my stpind question: Why don't you use > dynlink_311_or_higher.ml in this case? You're right: that is the case in Beryllium. However my patch released yesterday by Pascal uses the right file (dynlink_311_or_higher.ml as you said) for fixing the bug #224 of the BTS. -- Julien