On Tue, Sep 1, 2020 at 10:28 AM Richard W.M. Jones <rjo...@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/ _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org 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@lists.fedoraproject.org
