From 31a616d83e79069cbd2b45edfb2b3b1fdb6ac8f4 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sun, 19 Jun 2022 14:58:13 +0800 Subject: [PATCH] disable i686 (#2098425) --- Agda.spec | 18 +++++++++++++++--- 1 file changed, 15 insertions(+), 3 deletions(-) diff --git a/Agda.spec b/Agda.spec index 4fc3271..778b6f8 100644 --- a/Agda.spec +++ b/Agda.spec @@ -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 - 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 - 2.6.2.1-35 - https://hackage.haskell.org/package/Agda-2.6.2.1/changelog