On Fri, Jul 27, 2012 at 05:04:47PM -0400, Seth Vidal wrote:
On Fri, 27 Jul 2012, Richard W.M. Jones wrote:
>On Fri, Jul 27, 2012 at 02:22:09PM -0600, Jerry James wrote:
>>On Fri, Jul 27, 2012 at 11:45 AM, Jerry James <loganjerry(a)gmail.com>
wrote:
>>>No, I never filed one. I've never been sure whether it was a coq
>>>problem, an ocaml problem, or something else. I also haven't tried
>>>building for awhile. I'm going to fire off a scratch build and see
>>>what happens.
>>
>>Same as before; the binaries are created successfully, but coqdoc
>>eventually segfaults on 32-bit x86 after some apparently random number
>>of runs:
>>
>>http://koji.fedoraproject.org/koji/taskinfo?taskID=4336975
>>
>>The coq build may be a good one for tripping over whatever is wrong
>>because of the sheer number of times coqdoc is invoked during the
>>build.
>
>Seth got me the IP addr where ocamlopt.opt was segfaulting,
>which is a good start:
>
>https://bugzilla.redhat.com/show_bug.cgi?id=843731#c4
If you can - test on your own system on an el6 vm.
Does Koji still use Xen, or is it now on qemu-kvm?
Also - does this build need to connect to the external world at any
point?
Definitely not :-)
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
virt-top is 'top' for virtual machines. Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://et.redhat.com/~rjones/virt-top