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/4af1f7ec60b442ef815c056ce95519cfe1621ca3 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 _______________________________________________ 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
