[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[MirageOS-devel] ocaml 4.02 support

  • To: mirageos-devel <mirageos-devel@xxxxxxxxxxxxxxxxxxxx>
  • From: Anil Madhavapeddy <anil@xxxxxxxxxx>
  • Date: Fri, 19 Dec 2014 09:41:10 -0800
  • Delivery-date: Fri, 19 Dec 2014 17:41:17 +0000
  • List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

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: 

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 

- 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?


(on the road atm, so email replies may be out of order and arbitrarily delayed 
MirageOS-devel mailing list



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.