[Bug 1038068] New: build requirement ghc-geniplate not available on PPC64
bugzilla at redhat.com
bugzilla at redhat.com
Wed Dec 4 11:04:58 UTC 2013
https://bugzilla.redhat.com/show_bug.cgi?id=1038068
Bug ID: 1038068
Summary: build requirement ghc-geniplate not available on PPC64
Product: Fedora
Version: 20
Component: Agda
Severity: high
Priority: medium
Assignee: petersen at redhat.com
Reporter: karsten at redhat.com
QA Contact: extras-qa at fedoraproject.org
CC: haskell-devel at lists.fedoraproject.org,
petersen at redhat.com
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:
--
You are receiving this mail because:
You are on the CC list for the bug.
Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=Ny0WzVOoQs&a=cc_unsubscribe
More information about the haskell-devel
mailing list