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 <[email protected]> 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 <[email protected]> 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 >> [email protected] >> http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel > > > _______________________________________________ > MirageOS-devel mailing list > [email protected] > http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
