Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Tue, 5 Nov 2024 23:21:23 +0000 (00:21 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Tue, 5 Nov 2024 23:21:23 +0000 (00:21 +0100)
commitb40a8e6f371796f84f332c152c0e6f60d91410df
treea003bb3595ba6daf0eef47ff1c7815fb94c21bf9
parent396db4d84586092e7995c4954cd63c712bf71d3f
Use VFPv3-D16 FPU for ARM builds

Upstream-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/get_arm_isa.m4