From: Jani Monoses <jani@ubuntu.com>
Date: Tue, 24 Mar 2020 01:50:31 +0000 (+0000)
Subject: Use VFPv3-D16 FPU for ARM builds
X-Git-Tag: archive/raspbian/8.8.1+dfsg1+is+8.6.5+dfsg1-3+rpi1^2~15
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=032c24d960a5fb551e5d0a40be4f55e24c9216a9;p=ghc.git

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
---

diff --git a/aclocal.m4 b/aclocal.m4
index 6eda0943..13160965 100644
--- a/aclocal.m4
+++ b/aclocal.m4
@@ -454,7 +454,7 @@ AC_DEFUN([GET_ARM_ISA],
                 )],
                 [changequote(, )dnl
                  ARM_ISA=ARMv7
-                 ARM_ISA_EXT="[VFPv3,NEON]"
+                 ARM_ISA_EXT="[VFPv3D16,NEON]"
                  changequote([, ])dnl
                 ])
         ])