Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Wed, 23 Dec 2020 22:15:42 +0000 (22:15 +0000)
committerGianfranco Costamagna <locutusofborg@debian.org>
Wed, 23 Dec 2020 22:15:42 +0000 (22:15 +0000)
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

index 41cecf098b99294b5bd3bddc01c21e121d6314c5..b3b68b617a7e3e54c770ab8eef7a188f568182ad 100644 (file)
@@ -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
                 ])
         ])