[MirageOS-devel] ocaml 4.02 support

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

We need to start thinking about the best way to add OCaml 4.02.1 support.  I'd 
particularly like OCaml 4.03 support at the same time, since there are some 
very cool optimisation patches being proposed: 
https://github.com/ocaml/ocaml/pull/132

A few options:

- Just continue to copy the runtime into mirage-platform and have selection 
logic as we used to have for 4.01 and 4.00.  This lets us apply local patches 
easily.

- Use Thomas' new CFLAGS infrastructure to compile libasmrun from OCaml as a 
library just as we do everything else.

I'd prefer the latter as it gets yet more code out of mirage-platform, and we 
can still do custom patches via a fork (as we do with openlibm).  Thoughts?

-anil

(on the road atm, so email replies may be out of order and arbitrarily delayed 
:)
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel