On Wed, May 29, 2024 at 11:44:48PM +0100, Richard W.M. Jones wrote: > The OCaml 5.2 build is ongoing. > > flocq FTBFS on ppc64le (only) with a stack overflow: > > https://koji.fedoraproject.org/koji/buildinfo?buildID=2458620 Since flocq seems to have no public bug tracker, I might as well write my findings here ... I believe the error is raised in this code: https://github.com/coq/coq/blob/ac1e5ebd3f50a53b46cdb59225887841f5d24d02/coqpp/coqpp_parser.ml#L36 I had a lot of trouble getting gdb to understand /usr/bin/coqc. Is it even a native code binary? As I couldn't place a breakpoint, I trapped on write system calls to fd=2, but no useful stack trace was forthcoming. I wonder if it's even a real stack overflow or some stack inside the parser? However I did observe that /usr/bin/coqc.byte does not have the same problem (so perhaps it is the real stack). I added this very ugly workaround to get it to compile: https://src.fedoraproject.org/rpms/flocq/c/c46c3bb8222dca716316841514ce91e864b83b13?branch=rawhide Also of note: OCaml 5.2 re-enables the ppc64le native code generator, which was previously disabled since OCaml 5, so perhaps this is a new bug in the OCaml compiler? > 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 I will re-enable these now and try to build them. Rich. > 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@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 > Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue -- 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 Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
