Re: FYI Fedora 34 OCaml 4.11.1 rebuild

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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@xxxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
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@xxxxxxxxxxxxxxxxxxxxxxx




[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Users]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]

  Powered by Linux