On Tue, Sep 1, 2020 at 10:28 AM Richard W.M. Jones <rjones(a)redhat.com> wrote:
We did a Fedora 34 OCaml 4.11.0 rebuild a couple of weeks back,
something like 170+ packages. Well, a compiler bug was found and
upstream released OCaml 4.11.1. Details here:
https://bugzilla.redhat.com/show_bug.cgi?id=1870368#c26
So I'm going to do a 4.11.1 build (into a side tag first). I'm not
expecting there to be any problems since we fixed all the build bugs
mostly related to ocaml-dune and LTO so recently.
This release is also supposed to contain a workaround for the problem
I had building prooftree:
https://github.com/ocaml/ocaml/issues/9859
Is prooftree on your list of OCaml packages? I may have neglected to
inform you of its existence.
I opened pull requests on ocaml-seq and ocaml-react a couple of hours
ago. If you have time, it would be great if you could look at those.
They represent an opportunity to get rid of patches, if nothing else.
I tried to update coq to version 8.12.0 yesterday, but the build
failed with a segfault on s390x. The OCaml 4.11.1 release notes talk
about possible segfaults with 4.11.0, so I hope 4.11.1 resolves the
issue. I'll need to push a few small updates to git for the packages
that sit on top of coq. I'll do that in the next hour or so.
At some point we will probably need to port all of this to Fedora 33
which is stuck on a 4.11.0 pre-release, but I'll worry about that
later.
Some F33 OCaml packages have broken deps right now, so a build of some
kind will be necessary.
Thanks for always doing the yeoman's work with the OCaml packages.
You probably don't get a lot of appreciation for that, so I just
wanted you to know that I appreciate it.
Regards,
--
Jerry James
http://www.jamezone.org/