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

disable i686 (#2098425)

This commit is contained in:
Jens Petersen 2022-06-19 14:58:13 +08:00
parent f6f1c37003
commit 31a616d83e
1 changed files with 15 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
Agda.spec
View File

@ -28,10 +28,21 @@ 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]
# armv7hl:
#[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
#
# i686: hangs in ghc_lib_install
#Installing executable agda-mode in /builddir/build/BUILDROOT/Agda-2.6.2.2-36.fc37.i386/usr/bin
#Warning: Executable installed in
#/builddir/build/BUILDROOT/Agda-2.6.2.2-36.fc37.i386/usr/bin
#Installing library in /builddir/build/BUILDROOT/Agda-2.6.2.2-36.fc37.i386/usr/lib/ghc-8.10.7/Agda-2.6.2.2
#Installing executable agda in /builddir/build/BUILDROOT/Agda-2.6.2.2-36.fc37.i386/usr/bin
#Warning: Executable installed in
#/builddir/build/BUILDROOT/Agda-2.6.2.2-36.fc37.i386/usr/bin
# https://bugzilla.redhat.com/show_bug.cgi?id=2098425
ExcludeArch: armv7hl %{ix86}
# Begin cabal-rpm deps:
BuildRequires: ghc-Cabal-devel
@ -263,6 +274,7 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
%changelog
* Tue Jun 7 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.2-36
- https://hackage.haskell.org/package/Agda-2.6.2.2/changelog
- disable i686 (#2098425)
* Mon Mar 07 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.1-35
- https://hackage.haskell.org/package/Agda-2.6.2.1/changelog