On Mon, Feb 24, 2020 at 9:57 AM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > > OCaml 4.10.0 was released over the weekend. > > We currently have OCaml 4.10.0 beta 1 in Rawhide. It's not that far > away from 4.10.0. Unfortunately since building beta 1, Fedora 32 was > forked from Rawhide so we now have the beta 1 build in Fedora 32 as > well. > > Hopefully the plan is as follows: > > (1) Rebuild OCaml 4.10.0 in a side tag then move it to Rawhide. I > don't expect any difficulties here since all the hard work was already > done when I built beta 1. > > (2) Merge all those changes into the f32 branches of the ocaml* > packages. > > (3) (This is where it gets more speculative because my mass rebuild > script has only ever been run against Rawhide ...) Rebuild in a side > tag of Fedora 32, and if that goes well then merge the side tag in > F32. > > This should start happening this afternoon / tomorrow. This is probably bad timing, since the updates-testing activation for f32 is planned for tomorrow, followed by the beta freeze :/ See point 12 here: https://fedorapeople.org/groups/schedule/f-32/f-32-key-tasks.html Fabio > There are some packages which are still failing to build: > > * coccinelle - Uses -unsafe-string, still waiting resolution upstream. > * nbdkit - Caused a crash in goals, all my code so I will try to > debug it this time > * plplot - FTBFS for unrelated reasons last time > * z3 - https://bugzilla.redhat.com/show_bug.cgi?id=1792740 > > coq and friends failed last time, but I believe they should work now. > Latest status is in this thread: > https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/ > > opam should be fixed now (was > https://bugzilla.redhat.com/show_bug.cgi?id=1792770) > > Mass rebuild script: > http://git.annexia.org/?p=fedora-ocaml-rebuild.git;a=summary > > Talk about mass rebuilding technique: > https://rwmj.wordpress.com/2020/01/14/goals-an-experimental-new-tool-which-generalizes-make/ > > Rich. > > -- > Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones > Read my programming and virtualization blog: http://rwmj.wordpress.com > virt-top is 'top' for virtual machines. Tiny program with many > powerful monitoring features, net stats, disk stats, logging, etc. > http://people.redhat.com/~rjones/virt-top > _______________________________________________ > devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx > To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx > Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ > List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines > List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
