All of lore.kernel.org
 help / color / mirror / Atom feed
* Build failures, possibly 32 bit only, with OCaml 4.13.1
@ 2021-10-05 12:12 Richard W.M. Jones
  2021-10-05 13:45 ` Julia Lawall
  0 siblings, 1 reply; 4+ messages in thread
From: Richard W.M. Jones @ 2021-10-05 12:12 UTC (permalink / raw)
  To: cocci

[resending to the new mailing list]

Hi Julia,

https://koji.fedoraproject.org/koji/taskinfo?taskID=76740903

I observed build failures with OCaml 4.13.1.  They manifest as
segmentation faults.  Unfortunately it's not easy to get the core
dump, but I might be able to get a stack trace later.  Apart from that
you can look at the build logs by clicking through the red links above
and going to "build.log".

The common factor may be 32 bit platforms.

We (Fedora) don't really care too much about cocci on 32 bit since
it's a development tool and every developer these days has a 64 bit
machine.  (It could of course be something unrelated to 32 bit)

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-top is 'top' for virtual machines.  Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://people.redhat.com/~rjones/virt-top


^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2021-10-05 19:50 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-10-05 12:12 Build failures, possibly 32 bit only, with OCaml 4.13.1 Richard W.M. Jones
2021-10-05 13:45 ` Julia Lawall
2021-10-05 14:01   ` Richard W.M. Jones
2021-10-05 19:49     ` Nicolas Palix

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.