--- layout: fc_discuss_archives title: Message 13 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Compilation of Beryllium 20090901 without dynlink



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/