[Agda] exclude archs without ghci since geniplate uses template-haskell (#1038068)

Jens Petersen petersen at fedoraproject.org
Wed Jan 22 01:38:21 UTC 2014


commit e6f563dd1a28f96bfa8ea57154c7377bc9705278
Author: Jens Petersen <petersen at redhat.com>
Date:   Wed Jan 22 10:38:31 2014 +0900

    exclude archs without ghci since geniplate uses template-haskell (#1038068)

 Agda.spec |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)
---
diff --git a/Agda.spec b/Agda.spec
index 0f7ea9b..241ba1b 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -4,7 +4,7 @@
 
 Name:           %{pkg_name}
 Version:        2.3.2.2
-Release:        1%{?dist}
+Release:        2%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
 License:        MIT and BSD
@@ -42,6 +42,8 @@ BuildRequires:  ghc-zlib-devel
 BuildRequires:  happy
 # End cabal-rpm deps
 BuildRequires:  emacs(bin)
+# geniplate uses template-haskell
+ExclusiveArch:  %{ghc_arches_with_ghci}
 ExcludeArch:    armv7hl
 Requires:       ghc-%{name}-devel = %{version}-%{release}
 Requires:       emacs-agda = %{version}-%{release}
@@ -213,6 +215,9 @@ rm %{buildroot}%{_pkgdocdir}/LICENSE
 
 
 %changelog
+* Wed Jan 22 2014 Jens Petersen <petersen at redhat.com> - 2.3.2.2-2
+- exclude secondary arch's without template-haskell (#1038068)
+
 * Thu Oct 31 2013 Jens Petersen <petersen at redhat.com> - 2.3.2.2-1
 - update to 2.3.2.2
 


More information about the scm-commits mailing list