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.
--
Jerry James
http://www.jamezone.org/