[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