From 599997e63306d017da5999af818fa015d6785127 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Feb 06 2015 19:58:26 +0000
Subject: exclude armv7hl: "evacuate(static): strange closure type"


../dist/build/idris/idris --build base.ipkg
idris: internal error: evacuate(static): strange closure type 63788
    (GHC version 7.8.4 for arm_unknown_linux)
    Please report this as a GHC bug:
    http://www.haskell.org/ghc/reportabug

https://ghc.haskell.org/trac/ghc/ticket/10029

---

diff --git a/idris.spec b/idris.spec
index 6c5060e..2450365 100644
--- a/idris.spec
+++ b/idris.spec
@@ -11,6 +11,7 @@ Source0:        https://hackage.haskell.org/package/%{name}-%{version}/%{name}-%
 Patch0:         idris-ASTBuilding-ghc78.patch
 Patch1:         idris-rts-opt-fprintf.patch
 
+ExcludeArch:    armv7hl
 BuildRequires:  ghc-Cabal-devel
 BuildRequires:  ghc-rpm-macros
 # Begin cabal-rpm deps:
@@ -91,6 +92,7 @@ cabal_configure_extra_options=--datadir=%{_libdir}
 * Wed Jan 28 2015 Jens Petersen <petersen@redhat.com> - 0.9.9.1-4
 - cblrpm refresh
 - fix build with ghc78
+- temporarily exclude armv7hl until RTS issues resolved (#1190261)
 
 * Sat Aug 16 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.9.9.1-3
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild