Re: [MirageOS-devel] Mirage 1.1.0 pull req

[Dave Scott <Dave.Scott@xxxxxxxxxx>]

> On Feb 5, 2014, at 8:53 PM, "Amir Chaudhry" <amc79@xxxxxxxxx> wrote:
> 
> 
> 
> --
> sent via mobile
> 
>> On 5 Feb 2014, at 20:20, Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx> 
>> wrote:
>> 
>> 
>>> On 5 Feb 2014, at 18:02, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
>>> 
>>> Dave and I bravely wrestled with Git today
>> 
>> the bards will still sing of your names years hence!
> 
> [TODO: insert witty limerick]
> 
>>> This passes Travis (except for a few minor problems on OCaml 3.12.1),
>> 
>> we're still aiming to support 3.12.1 (and 4.00.1) then?
> 
> Is this an upstream thing? Wheezy has 3.12.x, so supporting that would make 
> getting started pretty quick (no need to wait for opam to get a newer 
> version). 

Tbh I've been ignoring 3.12 build failures since I'm pretty sure I'm using v4 
features around the place. I have been fixing 4.00.1 issues though (eg by 
defining |> )

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

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