All of lore.kernel.org
 help / color / mirror / Atom feed
From: "Richard W.M. Jones" <rjones@redhat.com>
To: cocci@inria.fr
Subject: Build failures, possibly 32 bit only, with OCaml 4.13.1
Date: Tue, 5 Oct 2021 13:12:04 +0100	[thread overview]
Message-ID: <20211005121204.GQ7596@redhat.com> (raw)

[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


             reply	other threads:[~2021-10-05 12:12 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-10-05 12:12 Richard W.M. Jones [this message]
2021-10-05 13:45 ` Build failures, possibly 32 bit only, with OCaml 4.13.1 Julia Lawall
2021-10-05 14:01   ` Richard W.M. Jones
2021-10-05 19:49     ` Nicolas Palix

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20211005121204.GQ7596@redhat.com \
    --to=rjones@redhat.com \
    --cc=cocci@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
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.