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
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine. Supports Linux and Windows.
http://et.redhat.com/~rjones/virt-df/