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
<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.
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