On Tue, Jan 21, 2020 at 04:20:48PM +0100, Miro Hrončok wrote: > On 18. 01. 20 13:03, Richard W.M. Jones wrote: > >OCaml 4.10.0 beta1 was released upstream about a week ago > >(https://bugzilla.redhat.com/show_bug.cgi?id=1673688). I'm intending > >to build OCaml packages into a side tag starting today, and then > >if it seems to work well integrate it into F32. > > Hello. > > There are three packages that started to fail now and the log says > something about ocaml: > > https://koschei.fedoraproject.org/package/coq
This failed to build because it delves in some OCaml internals which is not permitted in OCaml 4.10, see: https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/#53UNTQFSVCKYX3ENCQVKG3TSW7DJZJF4 There isn't a BZ for this. Note there are several other packages which BR on coq and I wasn't able to rebuild any of them. > https://koschei.fedoraproject.org/package/xen I didn't try rebuilding this package. The link is a bit unclear, but maybe try kicking off a rebuild, or would you like me to try? > https://koschei.fedoraproject.org/package/z3 This fails and I filed a BZ about it (it's probably nothing to do with OCaml): https://bugzilla.redhat.com/show_bug.cgi?id=1792740 > All three interfere with our Python 3.9 rebuilds. Should I open > bugzillas or is this still work in progress? I think the coq thing can be consider a work in progress still. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-top is 'top' for virtual machines. Tiny program with many powerful monitoring features, net stats, disk stats, logging, etc. http://people.redhat.com/~rjones/virt-top _______________________________________________ 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
