On Sun, Jan 19, 2020 at 9:39 AM Richard W.M. Jones wrote:
> ... Or maybe not. That patch fixes the first problem, but then
> there's a seemingly much harder problem:
>
> https://kojipkgs.fedoraproject.org//work/tasks/5534/40745534/build.log
>
> I'm going to leave Coq alone for now.
I found an up
... Or maybe not. That patch fixes the first problem, but then
there's a seemingly much harder problem:
https://kojipkgs.fedoraproject.org//work/tasks/5534/40745534/build.log
I'm going to leave Coq alone for now.
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/
On Sun, Jan 19, 2020 at 01:10:28PM +, 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
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
