On Mon, Feb 24, 2020 at 1:57 AM Richard W.M. Jones <rjo...@redhat.com> 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 believe they should work now. > Latest status is in this thread: > https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org/thread/6I2CB4KNAZXH6TKX5WQZJ3ZQGBIOCNJK/ I'm still 3 package reviews away from being able to update the coq stack. Real soon now.... 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 ocaml-ounit to run its tests. I guess ocaml-dune will need a bootstrap mode where it does not run its tests. That's not going to be the end, either. There is a new upstream release of menhir, and it has switched to using dune to build. That means that we will have menhir requiring dune to build, and dune requiring menhir to run its tests. And then coq is in the process of switching over to using dune to build. It can still be built the old way, but some day that will not be possible. Then coq will need dune to build, menhir will need coq to build, and dune will need menhir to run its tests. -- Jerry James http://www.jamezone.org/ _______________________________________________ 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
