--- layout: fc_discuss_archives title: Message 15 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



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