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 <rjones@xxxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxxxxx/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. Yes I now see what you mean :-/ The current circular dep is something like: coq -> menhir -> dune -> ounit -> ... -> coq And it turns out dune has libraries, not just a binary, so what I previously said won't work. I temporarily removed the dependency of menhir on coq which will hopefully break that cycle. (Luckily there is no dune -> menhir dependency yet.) Not sure about the long term solution to this. I'd kind of like to avoid bootstrapping builds, but maybe there is no other option here. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com libguestfs lets you edit virtual machines. Supports shell scripting, bindings from many languages. http://libguestfs.org _______________________________________________ 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
