From 39611174afd44e1973ad66ebb63d08ddab054a56 Mon Sep 17 00:00:00 2001
From: Jani Monoses <jani@ubuntu.com>
Date: Thu, 30 Sep 2021 19:21:04 +0100
Subject: [PATCH] Use VFPv3-D16 FPU for ARM builds

Upstream-Bug: https://ghc.haskell.org/trac/ghc/ticket/5914
Launchpad-Bug: https://ghc.haskell.org/trac/ghc/ticket/5914

Jani writes: The D16 part was Debian/Ubuntu specific, IIRC we define hardfloat
in that particular variant (16 double registers) or we had a different naming
for some reason.

Gbp-Pq: Name ARM-VFPv3D16
---
 aclocal.m4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/aclocal.m4 b/aclocal.m4
index 41cecf09..71f48ced 100644
--- a/aclocal.m4
+++ b/aclocal.m4
@@ -453,8 +453,8 @@ AC_DEFUN([GET_ARM_ISA],
                         ]
                 )],
                 [changequote(, )dnl
-                 ARM_ISA=ARMv7
-                 ARM_ISA_EXT="[VFPv3,NEON]"
+                 ARM_ISA=ARMv6
+                 ARM_ISA_EXT="[VFPv2]"
                  changequote([, ])dnl
                 ])
         ])
-- 
2.30.2