FYI Fedora 34 OCaml 4.11.1 rebuild

[Richard W.M. Jones]

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.

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.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-builder quickly builds VMs from scratch
http://libguestfs.org/virt-builder.1.html

[Jeff Law]

On Tue, 2020-09-01 at 17:27 +0100, Richard W.M. Jones 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. 
ACK.  If anything new pops up in
the LTO space, please reach out.

JEff
>

[Jerry James]

On Tue, Sep 1, 2020 at 10:28 AM Richard W.M. Jones <rjones(a)redhat.com&gt; 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/

[Richard W.M. Jones]

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&gt; 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