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



Pascal Cuoq wrote:
> Hello all,
> 
> Some of you may have noticed that the compilation of Beryllium 20090901
> is broken in some circumstances on platforms for which OCaml does not
> support dynamic loading of native code. This bug has been reported as
> http://bts.frama-c.com/view.php?id=224
> 

AFAICS, there is another issue which hasn't been fixed yet: Dynlink is not
properly activated when there is no `ocamlc -where`/dynlink.cmxa but only
`ocamlc -where`/dynlink.cma and I don't see any fix for that in the patch.

The test is simple:
- Move `ocamlc -where`/dynlink.cmxa to `ocamlc -where`/dynlink.cmxa.old
- Test presence of `ocamlc -where`/dynlink.cma (Just to be sure)
- Run ? ./configure ? and you'll get:
[?]
checking for /usr/lib/ocaml/dynlink.cmxa... no
configure: WARNING: native dynlink unavailable (ocaml 3.11 or higher required)
[?]

Kind regards,

-- 
Mehdi Dogguy ???? ?????
http://dogguy.org/