Re: [MirageOS-devel] the future of 4.01 support

[Thomas Leonard <talex5@xxxxxxxxx>]

Also, I committed a change to mirage-skeleton a few days ago that
requires OCaml >= 4.02.

On 18 March 2016 at 15:56, Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx> wrote:
> Hum, I’ve maybe been a bit too fast by v2.7.1[1] yesterday which check the 
> OCaml version and complains if it’s not 4.02.3 (as @fxfactorial went into 
> that issue during the Hackfest).That'll certainly accelerate the move to drop 
> 4.01 support...
>
> Thomas
>
> [1] https://github.com/mirage/mirage/releases/tag/v2.7.1
>
>
>
>> On 18 Mar 2016, at 15:00, Mindy <mindy@xxxxxxxxxxxxxxxxxxx> wrote:
>>
>> If I remember correctly, at some point we decided to move toward dropping 
>> support of OCaml 4.01.  A lot of progress was made during the MirageOS hack 
>> retreat last week on work needed to flip to 4.02+ppx (thanks in particular 
>> to djs55 and samoht, who did a huge amount of camlp4 extraction).
>>
>> Is there a tracking issue or list of packages with outstanding issues to 
>> consult for the work we need to do to completely drop support for 4.01?  (A 
>> documentation audit should be part of this too, at least at the level of 
>> `for i in README; do grep 4.01 $i; done`.)
>>
>> Thanks,
>> Mindy
>>
>> _______________________________________________
>> 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



-- 
Dr Thomas Leonard        http://roscidus.com/blog/
GPG: DA98 25AE CAD0 8975 7CDA  BD8E 0713 3F96 CA74 D8BA

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