| Summary: | build requirement ghc-geniplate not available on PPC64 | ||
|---|---|---|---|
| Product: | [Fedora] Fedora | Reporter: | Karsten Hopp <karsten> |
| Component: | Agda | Assignee: | Jens Petersen <petersen> |
| Status: | CLOSED ERRATA | QA Contact: | Fedora Extras Quality Assurance <extras-qa> |
| Severity: | high | Docs Contact: | |
| Priority: | medium | ||
| Version: | 20 | CC: | haskell-devel, petersen |
| Target Milestone: | --- | ||
| Target Release: | --- | ||
| Hardware: | ppc64 | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Fixed In Version: | Agda-2.3.2.2-2.fc20 | Doc Type: | Bug Fix |
| Doc Text: | Story Points: | --- | |
| Clone Of: | Environment: | ||
| Last Closed: | 2014-02-04 02:50:49 UTC | Type: | Bug |
| Regression: | --- | Mount Type: | --- |
| Documentation: | --- | CRM: | |
| Verified Versions: | Category: | --- | |
| oVirt Team: | --- | RHEL 7.3 requirements from Atomic Host: | |
| Cloudforms Team: | --- | Target Upstream Version: | |
Thanks for the report - sorry just noticed it this week... Should be fixed in Agda-2.3.2.2-2. Agda-2.3.2.2-2.fc20 has been submitted as an update for Fedora 20. https://admin.fedoraproject.org/updates/FEDORA-2014-0936/Agda-2.3.2.2-2.fc20 Package Agda-2.3.2.2-2.fc20: * should fix your issue, * was pushed to the Fedora 20 testing repository, * should be available at your local mirror within two days. Update it with: # su -c 'yum update --enablerepo=updates-testing Agda-2.3.2.2-2.fc20' as soon as you are able to. Please go to the following url: https://admin.fedoraproject.org/updates/FEDORA-2014-0936/Agda-2.3.2.2-2.fc20 then log in and leave karma (feedback). Agda-2.3.2.2-2.fc20 has been pushed to the Fedora 20 stable repository. If problems still persist, please make note of it in this bug report. |
Description of problem: ghc-geniplate has an exclusivearch %{ghc_arches_with_ghci} which means that it isn't available on PPC64, only on PPC. If Agda doesn't build without ghc-geniplate, it needs to have the same exclusivearchs as ghc-geniplate, otherwise builds in secondary arch will always fail. Version-Release number of selected component (if applicable): Agda-2.3.2.1-5.fc20 How reproducible: always Steps to Reproduce: 1. ppc-koji build --scratch f20 Agda-2.3.2.1-5.fc20.src.rpm 2. 3. Actual results: Expected results: Additional info: