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 - 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 - 0.9.9.1-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild