Bug 631302
Summary: | FTBFS coq-8.2pl1-1.fc12 | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Product: | [Fedora] Fedora | Reporter: | FTBFS <ftbfs> | ||||||||||||||||
Component: | coq | Assignee: | Alan Dunn <amdunn> | ||||||||||||||||
Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> | ||||||||||||||||
Severity: | high | Docs Contact: | |||||||||||||||||
Priority: | high | ||||||||||||||||||
Version: | 14 | CC: | amdunn, fedora-ocaml-list, steph | ||||||||||||||||
Target Milestone: | --- | Keywords: | Triaged | ||||||||||||||||
Target Release: | --- | ||||||||||||||||||
Hardware: | All | ||||||||||||||||||
OS: | Linux | ||||||||||||||||||
URL: | http://linux.dell.com/files/fedora/FixBuildRequires/mock-results/ | ||||||||||||||||||
Whiteboard: | |||||||||||||||||||
Fixed In Version: | coq-8.3pl1-2.fc15 | Doc Type: | Bug Fix | ||||||||||||||||
Doc Text: | Story Points: | --- | |||||||||||||||||
Clone Of: | Environment: | ||||||||||||||||||
Last Closed: | 2011-04-15 21:48:09 UTC | Type: | --- | ||||||||||||||||
Regression: | --- | Mount Type: | --- | ||||||||||||||||
Documentation: | --- | CRM: | |||||||||||||||||
Verified Versions: | Category: | --- | |||||||||||||||||
oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |||||||||||||||||
Cloudforms Team: | --- | Target Upstream Version: | |||||||||||||||||
Embargoed: | |||||||||||||||||||
Bug Depends On: | 691896 | ||||||||||||||||||
Bug Blocks: | 596849 | ||||||||||||||||||
Attachments: |
|
Description
FTBFS
2010-09-07 18:19:27 UTC
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. |