[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