From 55fb1c20eabd0d27732153329cc10d590b3e1d1c Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Tue, 6 Aug 2019 12:33:14 +0800
Subject: [PATCH] prof panics on i686

---
 Agda.spec | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Agda.spec b/Agda.spec
index 592c815..824e9f7 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -1,6 +1,11 @@
 # generated by cabal-rpm-1.0.1 --subpackage
 # https://fedoraproject.org/wiki/Packaging:Haskell
 
+# https://gitlab.haskell.org/ghc/ghc/issues/17030 panic
+%ifarch %{ix86}
+%bcond_with prof
+%endif
+
 %global pkg_name Agda
 %global pkgver %{pkg_name}-%{version}
 
@@ -270,6 +275,7 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 %changelog
 * Thu Jul 25 2019 Jens Petersen <petersen@redhat.com> - 2.6.0.1-19
 - update to 2.6.0.1
+- disable prof for i686
 
 * Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4.2-18
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild