The OCaml 5.2 build is ongoing.

flocq FTBFS on ppc64le (only) with a stack overflow:

  https://koji.fedoraproject.org/koji/buildinfo?buildID=2458620

I tried increasing the stack size in case it was just marginal, but to
no effect.

I have reserved a ppc64le system so I can take a look at this
tomorrow.  Let's see if I can at least get a stack trace.

This unfortunately affects several other packages:

 - gappalib-coq
 - why3
 - frama-c

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
libguestfs lets you edit virtual machines.  Supports shell scripting,
bindings from many languages.  http://libguestfs.org
--
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
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@lists.fedoraproject.org
Do not reply to spam, report it: 
https://pagure.io/fedora-infrastructure/new_issue

Reply via email to