Re: [MirageOS-devel] Errors trying the "block" example with Mirage 2.0+ and Xen 4.4

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 26 Jan 2015, at 16:20, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
> 
>> (Side question: any way to change the "mirage" command to produce the `Unix 
>> | `Xen pattern match in the generated main.ml automatically?)
> 
> what do you mean?

I think Raphael is asking if the `mirage` command can be modified to 
incorporate this Xen vs Unix detection and naming heuristic as part of a normal 
build, instead of having to do so in every config.ml

This is a reasonably easy change to make directly within the tool; patches can 
be proposed at https://github.com/mirage/mirage/issues, or just create an issue 
so that it can be fixed later.

cheers,
Anil


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