Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Sat, 24 Sep 2022 07:06:11 +0000 (08:06 +0100)
committerIlias Tsitsimpis <iliastsi@debian.org>
Sat, 24 Sep 2022 07:06:11 +0000 (08:06 +0100)
commitc90eebd6fab3445760d453838f007ffa9c2a56e6
tree00aab380b0f20b2eaf5ce486287eefc91655eefd
parent3bbbd86b081c4fc615fe73ef696db5c2ecf68249
Use VFPv3-D16 FPU for ARM builds

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