On Wed, Apr 22, 2020 at 08:28:45PM +0100, Richard W.M. Jones wrote: > https://bodhi.fedoraproject.org/updates/FEDORA-2020-150918c861 > > A summary of what happened: > > * Coq (and friends) don't build because camlp5 -> lablgtk3 -> coq. > camlp5 has not been ported upstream to OCaml 4.11. We actually now have camlp5: https://github.com/camlp5/camlp5/issues/58 There was also a code-gen bug in OCaml in RISC-V: https://github.com/ocaml/ocaml/issues/9515 The upshot of all this is that I will do a new rebuild of everything hopefully in the next few days. Rich. > * Same for haxe and why3. > > * I wasn't able to "unbootstrap" menhir and dune since they both > depend on Coq. > > * GPG verification is broken in Rawhide so I couldn't complete some of > my packages (https://bugzilla.redhat.com/show_bug.cgi?id=1826925) > > Everything else built, but you may have noticed that I had to push a > few rather ugly fixes to get several packages to build. In all cases > I have opened bugs upstream so with luck these will get fixed in time > for real OCaml 4.11. > > I scratch-built the OCaml compiler package on RISC-V, which if you can > remember a very long time ago was the whole purpose of the exercise. > I'll work with David to see if we can build the remaining packages for > Fedora/RISC-V. > > 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@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 -- 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
