... Or maybe not. That patch fixes the first problem, but then
there's a seemingly much harder problem:
https://kojipkgs.fedoraproject.org//work/tasks/5534/40745534/build.log
I'm going to leave Coq alone for now.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
Fedora Windows cross-compiler. Compile Windows programs, test, and
build Windows installers. Over 100 libraries supported.
http://fedoraproject.org/wiki/MinGW