Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Wed, 10 Apr 2024 11:24:01 +0000 (14:24 +0300)
committerIlias Tsitsimpis <iliastsi@debian.org>
Wed, 10 Apr 2024 11:24:01 +0000 (14:24 +0300)
commit1acc4b787dfe7b1faa26a8a91fa7f157d15e7f76
treec54dc972f8009fd360706b459463a5f7d8f40db2
parent1a30194d8643908621e7021410bb53766ddf2900
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