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

* Re: Build failures, possibly 32 bit only, with OCaml 4.13.1
  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
  0 siblings, 1 reply; 4+ messages in thread
From: Julia Lawall @ 2021-10-05 13:45 UTC (permalink / raw)
  To: Richard W.M. Jones; +Cc: cocci



On Tue, 5 Oct 2021, Richard W.M. Jones wrote:

> [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)

Thanks for the report, I will see if something can be done.

julia

>
> 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

* Re: Build failures, possibly 32 bit only, with OCaml 4.13.1
  2021-10-05 13:45 ` Julia Lawall
@ 2021-10-05 14:01   ` Richard W.M. Jones
  2021-10-05 19:49     ` Nicolas Palix
  0 siblings, 1 reply; 4+ messages in thread
From: Richard W.M. Jones @ 2021-10-05 14:01 UTC (permalink / raw)
  To: Julia Lawall; +Cc: cocci

On Tue, Oct 05, 2021 at 03:45:56PM +0200, Julia Lawall wrote:
> 
> 
> On Tue, 5 Oct 2021, Richard W.M. Jones wrote:
> 
> > [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)
> 
> Thanks for the report, I will see if something can be done.

After saying all that I noticed there's a newer version available,
and upgrading actually fixes it:

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

I didn't notice any particular change that mentioned "32 bit".
So that's .. strange, but at least it's fixed!

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-p2v converts physical machines to virtual machines.  Boot with a
live CD or over the network (PXE) and turn machines into KVM guests.
http://libguestfs.org/virt-v2v


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

* Re: Build failures, possibly 32 bit only, with OCaml 4.13.1
  2021-10-05 14:01   ` Richard W.M. Jones
@ 2021-10-05 19:49     ` Nicolas Palix
  0 siblings, 0 replies; 4+ messages in thread
From: Nicolas Palix @ 2021-10-05 19:49 UTC (permalink / raw)
  To: Richard W.M. Jones, Julia Lawall; +Cc: cocci

Hi,

According to the log, it seems to be some warning about some deprecated 
function calls and the error was about Python integration.


Great if it is fixed !

Nico.

On 05/10/2021 16:01, Richard W.M. Jones wrote:
> On Tue, Oct 05, 2021 at 03:45:56PM +0200, Julia Lawall wrote:
>>
>>
>> On Tue, 5 Oct 2021, Richard W.M. Jones wrote:
>>
>>> [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)
>>
>> Thanks for the report, I will see if something can be done.
> 
> After saying all that I noticed there's a newer version available,
> and upgrading actually fixes it:
> 
> https://koji.fedoraproject.org/koji/taskinfo?taskID=76743322
> 
> I didn't notice any particular change that mentioned "32 bit".
> So that's .. strange, but at least it's fixed!
> 
> Rich.
> 


-- 
Nicolas Palix

^ 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.