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@xxxxxxxxx> 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.
Also - does this build need to connect to the external world at any point?
B/c our builders are.... ummm.... fairly well isolated.
-sv
--
devel mailing list
devel@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/devel
