From 8faac28c15ebdccec28928b8d78c6e3579c414db Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Fri, 3 Apr 2015 18:22:16 +0900
Subject: [PATCH] enable arm and build in utf8

---
 Agda.spec | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Agda.spec b/Agda.spec
index 9e2750e..a86afed 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -53,8 +53,6 @@ ExclusiveArch:  %{ghc_arches_with_ghci}
 BuildRequires:  emacs(bin)
 # geniplate uses template-haskell
 ExclusiveArch:  %{ghc_arches_with_ghci}
-# bug 991929
-ExcludeArch:    %{arm}
 
 Requires:       ghc-%{name}-devel = %{version}-%{release}
 Requires:       emacs-agda = %{version}-%{release}
@@ -149,6 +147,8 @@ for i in *.el; do
 done
 cd -
 
+# cpphs: src/full/Agda/Interaction/BasicOps.hs: hGetContents: invalid argument (invalid byte sequence)
+LANG=en_US.utf8
 %ghc_lib_build
 
 # el6 macro does not add "." to load-path
@@ -218,6 +218,7 @@ rm %{buildroot}%{_docdir}/%{name}*/LICENSE
 %changelog
 * Fri Apr 03 2015 Jens Petersen <petersen@redhat.com> - 2.4.2.2-1
 - update to 2.4.2.2
+- enable arm
 
 * Fri Feb  6 2015 Jens Petersen <petersen@redhat.com> - 2.4.2-1
 - update to 2.4.2