Re: coq build failure with OCaml 4.10
On Sun, Jan 19, 2020 at 01:10:28PM +0000, Richard W.M. Jones wrote:
https://koji.fedoraproject.org/koji/taskinfo?taskID=40738495
https://kojipkgs.fedoraproject.org//work/tasks/8495/40738495/build.log
To save a bit of time I'll tell you what's going on: Coq is trying to
use char *young_limit which is an internal OCaml garbage collector
field. This worked in older OCaml, but will not work in OCaml 4.10
since GC state is now kept in an indirect structure (because of
multicore GC). So Coq upstream is going to need to be fixed so
whatever it's trying to do with the GC internals it stops doing :-/
As I doubt this is going to be an easy fix, I blocked coq + dependent
packages from the mass rebuild.
I found a PR upstream which fixes this:
https://github.com/coq/coq/pull/11358/commits/4af1f7ec60b442ef815c056ce95...
I will add this and restart the build on the Coq packages + deps.
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
Fedora Windows cross-compiler. Compile Windows programs, test, and
build Windows installers. Over 100 libraries supported.
http://fedoraproject.org/wiki/MinGW