From 540194fe1a5e41700c6c12a4feb2a18e1961f649 Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Fri, 7 Oct 2016 10:58:49 +0900
Subject: [PATCH] disable dynlink on aarch64

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

diff --git a/Agda.spec b/Agda.spec
index 8c71944..19311d8 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -6,6 +6,10 @@
 %global pkgver %{pkg_name}-%{version}
 %global geniplate geniplate-mirror-0.7.4
 
+%ifarch aarch64
+%define ghc_without_dynamic yes
+%endif
+
 Name:           %{pkg_name}
 Version:        2.4.2.5
 Release:        1%{?dist}
@@ -201,6 +205,7 @@ rm -r %{buildroot}%{_datadir}/%{pkgver}/emacs-mode
 * Thu Oct  6 2016 Jens Petersen <petersen@redhat.com> - 2.4.2.5-1
 - update to 2.4.2.5
 - subpackage new dep geniplate-mirror
+- disable dynlink on aarch64
 
 * Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.2.2-6
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild