On Tue, Sep 01, 2020 at 11:10:56AM -0600, Jerry James wrote: > 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.
Nope, but it is now :-) For reference the list is here: http://git.annexia.org/?p=fedora-ocaml-rebuild.git;a=blob;f=Goalfile > 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. Oh right, I saw those but assumed it was somebody else's problem. I'll merge those in a minute. > 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. No probs! Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com Fedora Windows cross-compiler. Compile Windows programs, test, and build Windows installers. Over 100 libraries supported. http://fedoraproject.org/wiki/MinGW _______________________________________________ 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
