Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Tue, 19 Sep 2023 23:00:36 +0000 (00:00 +0100)
committerRaspbian forward porter <root@raspbian.org>
Tue, 19 Sep 2023 23:00:36 +0000 (00:00 +0100)
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

m4/fptools.m4

index 8c6c9b7062fb0af628f2f273ce6385337478e9d7..09e84b8d15945c6e42d2e12624b1de801cca91bb 100644 (file)
@@ -474,8 +474,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
                 ])
         ])