petersen pushed to Agda (f22). "enable arm and build in utf8"

[notifications at fedoraproject.org]

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


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 at redhat.com> - 2.4.2.2-1
 - update to 2.4.2.2
+- enable arm
 
 * Fri Feb  6 2015 Jens Petersen <petersen at redhat.com> - 2.4.2-1
 - update to 2.4.2
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/Agda.git/commit/?h=f22&id=8faac28c15ebdccec28928b8d78c6e3579c414db