Re: Mirage & dynlink

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

It will be, but not yet.  There's a few things to be done:

- stabilise the ocaml_plugin API to be portable to non-Linux.  This is almost done (it has a slightly mental strategy of turning the entire ocaml compiler into a .o file which is then linked in as a C library to the binary, to let it recompile the plugin).

- make the native code ocamlopt not require an external assembler.  This has been done by Benedikt's ocamlnat -- see http://arxiv.org/pdf/1110.1029.pdf

- remove filesystem dependencies (easy once previous two bits are done)

-anil

On 27 Jun 2013, at 21:19, William Le Ferrand <warnegia@xxxxxxxxx> wrote:

Hi,

I'm new to mirage and not sure where to post : is mirage compatible with plugins/dynlinking strategies such as the one offered by https://github.com/janestreet/ocaml_plugin?

Thanks!

William

--
William Le Ferrand

Mobile : (+1) (415) 683-1484

Web : http://williamleferrand.github.com/