The package rpms/Agda.git has added or updated architecture specific content in its
spec file (ExclusiveArch/ExcludeArch or %ifarch/%ifnarch) in commit(s):
https://src.fedoraproject.org/cgit/rpms/Agda.git/commit/?id=8b113d48b1f9d....
Change:
+%ifarch armv7hl
Thanks.
Full change:
============
commit 8b113d48b1f9d68a3aba10c118ea36be0b1865e7
Author: Jens Petersen <petersen(a)redhat.com>
Date: Mon Jul 20 13:21:15 2020 +0800
enable armv7hl with -O0 (#991929)
diff --git a/Agda.spec b/Agda.spec
index c0a4e8f..e320fa6 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -17,7 +17,7 @@
Name: %{pkg_name}
Version: 2.6.1
# can only be reset when all subpkgs bumped
-Release: 23%{?dist}
+Release: 24%{?dist}
Summary: A dependently typed functional programming language and proof assistant
License: MIT and BSD
@@ -79,8 +79,6 @@ BuildRequires: ghc-network-uri-prof
BuildRequires: ghc-utf8-string-prof
# End cabal-rpm deps
BuildRequires: emacs(bin)
-#
https://bugzilla.redhat.com/show_bug.cgi?id=991929
-ExcludeArch: %{arm}
# introduced for F23
Obsoletes: emacs-agda-el < 2.4.2.2-5
@@ -182,6 +180,9 @@ cd -
# Begin cabal-rpm build:
%ghc_libs_build %{subpkgs}
+%ifarch armv7hl
+%define cabal_configure_options --ghc-options="-O0"
+%endif
%ghc_lib_build
# End cabal-rpm build
@@ -246,6 +247,9 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
%changelog
+* Mon Jul 20 2020 Jens Petersen <petersen(a)redhat.com> - 2.6.1-24
+- enable armv7hl with -O0
+
* Sun Jun 07 2020 Jens Petersen <petersen(a)redhat.com> - 2.6.1-23
- update to 2.6.1
- drop EdisonCore and EdisonAPI deps