Le 31/01/2012 12:44, Hendrik Tews a écrit :
> What is the status dynlink.cmxa on armel?

It doesn't exist. There has been a discussion in [1] about that.
Retrospectively, maybe I would advocate a dummy implementation of
dynlink.cmxa everywhere... something like raising an exception, but
definitely not a segfaulting one, as it was the case before.

[1] http://caml.inria.fr/mantis/view.php?id=5049

> Camlp4 is a quite large library and the dynamic loading is just a
> minor point IMHO. One can think of many Camlp4 applications that
> do not need dynamic loading. If there is an architecture that has
> native compilation but no dynlink.cmxa, then there should be
> native camlp4 library on this architecture that does not depend
> on dynamic loading.

This is what I meant by "bug" :-)


Cheers,

-- 
Stéphane


-- 
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/4f27e115.9040...@debian.org

Reply via email to