Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Sun, 15 Sep 2024 21:17:25 +0000 (00:17 +0300)
committerIlias Tsitsimpis <iliastsi@debian.org>
Sun, 15 Sep 2024 21:17:25 +0000 (00:17 +0300)
commitbee70e557322b3aca6e27c0c97afb47d3fdc6bc1
tree3b97c7e6b1fc14d2afdbf66a6b4364f501622021
parent8e3328cf39bcf52458509168eedca968eeb4894c
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