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

Re: [MirageOS-devel] ocaml 4.02 support

To: Anil Madhavapeddy <anil@xxxxxxxxxx>
From: Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>
Date: Sat, 20 Dec 2014 02:08:10 +0000
Cc: mirageos-devel <mirageos-devel@xxxxxxxxxxxxxxxxxxxx>
Delivery-date: Sat, 20 Dec 2014 02:08:18 +0000
List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

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

I think that's the only way to go!

Thomas
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

References:
- [MirageOS-devel] ocaml 4.02 support
  - From: Anil Madhavapeddy

Prev by Date: [MirageOS-devel] mirage-www over ipv6
Next by Date: Re: [MirageOS-devel] mirage-www over ipv6
Previous by thread: [MirageOS-devel] ocaml 4.02 support
Next by thread: Re: [MirageOS-devel] Irmrn - dedup on sync
Index(es):
- Date
- Thread

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