--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on September 2009 ---
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/