Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Mon, 17 Feb 2025 08:44:23 +0000 (09:44 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Mon, 17 Feb 2025 08:44:23 +0000 (09:44 +0100)
commit3e111b4ebfe7c702d061b7bb12d13c048a2f5f07
treeaa1ffd372eb415f7138a2bd8af46c812cbcfa023
parent5ead8bf325146ec7e60406d66e380b0284131133
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