--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on September 2009 ---
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? I just noticed the *native* word in the configure warning. If this is OK then I don't have much to say. (Sorry for the late answer and noise) Kind regards, -- Mehdi Dogguy ???? ????? http://dogguy.org/