rpms
/
Agda
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

disable armv7hl: out of memory (#73471404)

This commit is contained in:
Jens Petersen 2021-08-09 02:10:31 +08:00
parent 5d5c715600
commit af39028c46
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Agda.spec
View File

@ -28,6 +28,11 @@ Source2: https://hackage.haskell.org/package/%{murmurhash}/%{murmurhash}.
# End cabal-rpm sources
Source10: agda-mode-init.el
# [372 of 397] Compiling Agda.Interaction.Imports
# ghc: out of memory [even with -O0]
# https://bugzilla.redhat.com/show_bug.cgi?id=1991261
ExcludeArch: armv7hl
# Begin cabal-rpm deps:
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-rpm-macros-extra
@ -260,6 +265,7 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
* Thu Aug 5 2021 Jens Petersen <petersen@redhat.com> - 2.6.2-32
- update to 2.6.2
- https://hackage.haskell.org/package/Agda-2.6.2/changelog
- disable armv7hl due to out of memory (#73471404)
* Thu Aug 5 2021 Jens Petersen <petersen@redhat.com> - 2.6.1.3-32
- update to 2.6.1.3