Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Wed, 23 Dec 2020 22:15:42 +0000 (22:15 +0000)
committerGianfranco Costamagna <locutusofborg@debian.org>
Wed, 23 Dec 2020 22:15:42 +0000 (22:15 +0000)
commitcbf62e344fdbeddee43ff4e710e0a37f659a739f
tree9eebb81adf621f98d6ebffc597f6156912c97db1
parent04dc12c6c0edbc0ad1ab079551b1251e24a651d0
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
aclocal.m4