This bug is VERY annoying! Although not very reproducible, I can
usually hit it after about 4-6 hours of looping ‘fedpkg build’.
Considering the whole Coq build is quite lengthy you'd think that one
of these commands would hit it much more quickly:
$ while true ; do gdb -ex 'set args -coqlib . -q -native-compiler yes
theories/FSets/FMapFullAVL.v' -ex run bin/coqc -ex quit ; done
or
$ while bin/coqc -coqlib . -q -native-compiler yes theories/FSets/FMapFullAVL.v ; do
date; done
But nope ...
My latest thing is to run the gdb command above _and_ run fedpkg build
(in another directory) at the same time, in the hope that it's caused
by system load.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
virt-builder quickly builds VMs from scratch
http://libguestfs.org/virt-builder.1.html