Re: LWT 5.1.2? (was: Re: OCaml 4.10.0 build in Fedora 32 and 33)

2020-03-16 Thread Richard W.M. Jones
On Tue, Feb 25, 2020 at 12:22:10PM -0800, Michel Alexandre Salim wrote: > > On February 25, 2020 3:38 AM Richard W.M. Jones wrote: > > > > > > In the previous mass build LWT FTBFS because the tests failed on POWER > > and s/390 (https://bugzilla.redhat.com/1792780). There is also a new > > ver

Re: OCaml 4.10.0 build in Fedora 32 and 33

2020-02-27 Thread Kevin Fenzi
On Thu, Feb 27, 2020 at 12:04:42PM +0100, Fabio Valentini wrote: > > Yeah, because the updates-testing activation happened, which means > that just submitting builds is not enough anymore. > If you did things "normally", you'd need to create buildroot overrides > for each build, wait, submit the n

Re: OCaml 4.10.0 build in Fedora 32 and 33

2020-02-27 Thread Kevin Fenzi
On Thu, Feb 27, 2020 at 10:46:27AM +, Richard W.M. Jones wrote: > > This is where I might need help. I have a few questions: > > - There was something go on with Bodhi a few days ago which meant >that you didn't want me to start this. Can I start now? We were enabling it on tuesday an

Re: OCaml 4.10.0 build in Fedora 32 and 33

2020-02-27 Thread Fabio Valentini
On Thu, Feb 27, 2020 at 11:47 AM Richard W.M. Jones wrote: > > On Mon, Feb 24, 2020 at 08:56:04AM +, Richard W.M. Jones wrote: > > OCaml 4.10.0 was released over the weekend. > > > > We currently have OCaml 4.10.0 beta 1 in Rawhide. It's not that far > > away from 4.10.0. Unfortunately since

Re: OCaml 4.10.0 build in Fedora 32 and 33

2020-02-27 Thread Richard W.M. Jones
On Mon, Feb 24, 2020 at 08:56:04AM +, Richard W.M. Jones wrote: > OCaml 4.10.0 was released over the weekend. > > We currently have OCaml 4.10.0 beta 1 in Rawhide. It's not that far > away from 4.10.0. Unfortunately since building beta 1, Fedora 32 was > forked from Rawhide so we now have th

Re: OCaml 4.10.0 build in Fedora 32 and 33

2020-02-26 Thread Richard W.M. Jones
[This is mainly a note-to-self so I know what the problems are next time] On Mon, Feb 24, 2020 at 01:53:37PM -0700, Jerry James wrote: > I may have caused you a problem with the ocaml-ounit update I > requested. Now we have ocaml-ounit requiring ocaml-dune to build, and > ocaml-dune requiring oca

Re: OCaml 4.10.0 build in Fedora 32 and 33

2020-02-26 Thread Richard W.M. Jones
On Mon, Feb 24, 2020 at 01:53:37PM -0700, Jerry James wrote: > On Mon, Feb 24, 2020 at 1:57 AM Richard W.M. Jones wrote: > > * z3 - https://bugzilla.redhat.com/show_bug.cgi?id=1792740 > > Actually, z3 should build. I checked in a workaround. The bug is > still open to remind me to figure out an

Re: LWT 5.1.2? (was: Re: OCaml 4.10.0 build in Fedora 32 and 33)

2020-02-25 Thread Richard W.M. Jones
On Tue, Feb 25, 2020 at 12:22:10PM -0800, Michel Alexandre Salim wrote: > > On February 25, 2020 3:38 AM Richard W.M. Jones wrote: > > > > > > In the previous mass build LWT FTBFS because the tests failed on POWER > > and s/390 (https://bugzilla.redhat.com/1792780). There is also a new > > ver

Re: LWT 5.1.2? (was: Re: OCaml 4.10.0 build in Fedora 32 and 33)

2020-02-25 Thread Michel Alexandre Salim
> On February 25, 2020 3:38 AM Richard W.M. Jones wrote: > > > In the previous mass build LWT FTBFS because the tests failed on POWER > and s/390 (https://bugzilla.redhat.com/1792780). There is also a new > version of LWT (https://bugzilla.redhat.com/1755859). The new version > is noted as an

LWT 5.1.2? (was: Re: OCaml 4.10.0 build in Fedora 32 and 33)

2020-02-25 Thread Richard W.M. Jones
In the previous mass build LWT FTBFS because the tests failed on POWER and s/390 (https://bugzilla.redhat.com/1792780). There is also a new version of LWT (https://bugzilla.redhat.com/1755859). The new version is noted as an API break, although I don't know how that will affect other packages.

Re: OCaml 4.10.0 build in Fedora 32 and 33

2020-02-25 Thread Richard W.M. Jones
On Mon, Feb 24, 2020 at 01:53:37PM -0700, Jerry James wrote: > On Mon, Feb 24, 2020 at 1:57 AM Richard W.M. Jones wrote: > > * z3 - https://bugzilla.redhat.com/show_bug.cgi?id=1792740 > > Actually, z3 should build. I checked in a workaround. The bug is > still open to remind me to figure out an

Re: OCaml 4.10.0 build in Fedora 32 and 33

2020-02-25 Thread Richard W.M. Jones
On Mon, Feb 24, 2020 at 10:36:41AM -0800, Kevin Fenzi wrote: > On Mon, Feb 24, 2020 at 10:27:44AM +0100, Fabio Valentini wrote: > > On Mon, Feb 24, 2020 at 9:57 AM Richard W.M. Jones > > wrote: > > > > > > OCaml 4.10.0 was released over the weekend. > > > > > > We currently have OCaml 4.10.0 beta

Re: OCaml 4.10.0 build in Fedora 32 and 33

2020-02-24 Thread Jerry James
On Mon, Feb 24, 2020 at 1:57 AM Richard W.M. Jones wrote: > * z3 - https://bugzilla.redhat.com/show_bug.cgi?id=1792740 Actually, z3 should build. I checked in a workaround. The bug is still open to remind me to figure out and fix the real problem. > coq and friends failed last time, but I beli

Re: OCaml 4.10.0 build in Fedora 32 and 33

2020-02-24 Thread Kevin Fenzi
On Mon, Feb 24, 2020 at 10:27:44AM +0100, Fabio Valentini wrote: > On Mon, Feb 24, 2020 at 9:57 AM Richard W.M. Jones wrote: > > > > OCaml 4.10.0 was released over the weekend. > > > > We currently have OCaml 4.10.0 beta 1 in Rawhide. It's not that far > > away from 4.10.0. Unfortunately since b

Re: OCaml 4.10.0 build in Fedora 32 and 33

2020-02-24 Thread Fabio Valentini
On Mon, Feb 24, 2020 at 9:57 AM Richard W.M. Jones wrote: > > OCaml 4.10.0 was released over the weekend. > > We currently have OCaml 4.10.0 beta 1 in Rawhide. It's not that far > away from 4.10.0. Unfortunately since building beta 1, Fedora 32 was > forked from Rawhide so we now have the beta 1

OCaml 4.10.0 build in Fedora 32 and 33

2020-02-24 Thread Richard W.M. Jones
OCaml 4.10.0 was released over the weekend. We currently have OCaml 4.10.0 beta 1 in Rawhide. It's not that far away from 4.10.0. Unfortunately since building beta 1, Fedora 32 was forked from Rawhide so we now have the beta 1 build in Fedora 32 as well. Hopefully the plan is as follows: (1) R