On Thu, Apr 9, 2020 at 3:23 AM Richard W.M. Jones <rjones(a)redhat.com> wrote:
It does seem as if you can now build against the new OCaml version.
I
have just rebuilt ocaml-menhir with Coq enabled.
I didn't touch frama-c or alt-ergo.
I actually tried to launch the builds last night, but they failed due
to the 32-bit glibc bug discussed on the list. I've just launched
them again. Thanks, Richard!
--
Jerry James
http://www.jamezone.org/