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(a)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.o...
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