On Mon, Feb 24, 2020 at 1:57 AM Richard W.M. Jones <rjones(a)redhat.com> wrote:
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.
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/