|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [MirageOS-devel] the future of 4.01 support
Another thing that might help with the move is that I've been working on the bulk build infrastructure and slowly documenting it up at https://github.com/avsm/ocaml-docker-infra/wiki. The good news is that for any PR in opam-repository (or any OPAM remote), I can do a bulk build and get HTML logs quickly with failures. For example, for Mirage 2.7.1: https://github.com/ocaml/opam-repository/pull/6030#issuecomment-198146184 and the corresponding HTML. I'm still prettying it up and it's still manual. But if you have a build problem, and you need some OPAM testing, and you don't know who to call... -anil > On 18 Mar 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 _______________________________________________ MirageOS-devel mailing list MirageOS-devel@xxxxxxxxxxxxxxxxxxxx http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
|
 |
Lists.xenproject.org is hosted with RackSpace, monitoring our |