coq-8.2pl1-1.fc12.src.rpm Failed To Build From Source against the rawhide tree. See http://fedoraproject.org/wiki/FTBFS for more information. If you believe this is actually a bug in another package, do NOT change the component in this bug or close this bug. Instead, add the appropriate bug number from the other package to the "Depends on" line in this bug. If the other package does not yet have a bug created that you think matches, please create one. Doing so helps us properly track bugs and their dependencies, just as we track package dependencies. (If you close this bug, and the other package is not fixed before the next FTBFS run, a new bug will get created. Please follow the above advice to avoid such duplication.)
Created an attachment (id=444846) root.log root.log for i386
Created an attachment (id=444847) build.log build.log for i386
Created an attachment (id=444848) mock.log mock.log for i386
Created an attachment (id=444849) root.log root.log for x86_64
Created an attachment (id=444850) build.log build.log for x86_64
Created an attachment (id=444851) mock.log mock.log for x86_64
Created attachment 445505 [details] Fix FTBFS with make 8.82 Well... the configure script is not very flexible about this... Attached is an untested patch. Could someone try it? If it's OK, I'll commit it upstream...
FYI, Coq 8.3 should build with make 3.82 + the following patch: https://gforge.inria.fr/scm/viewvc.php?view=rev&root=coq&revision=13566
coq-8.3pl1-1.fc15 has been submitted as an update for Fedora 15. https://admin.fedoraproject.org/updates/coq-8.3pl1-1.fc15
Package coq-8.3pl1-1.fc15: * should fix your issue, * was pushed to the Fedora 15 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing coq-8.3pl1-1.fc15' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/coq-8.3pl1-1.fc15 then log in and leave karma (feedback).
coq-8.3pl1-2.fc15 has been submitted as an update for Fedora 15. https://admin.fedoraproject.org/updates/coq-8.3pl1-2.fc15
coq-8.3pl1-2.fc15 has been pushed to the Fedora 15 stable repository. If problems still persist, please make note of it in this bug report.