Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Tue, 24 Mar 2020 01:50:31 +0000 (01:50 +0000)
committerSandro Tosi <morph@debian.org>
Tue, 24 Mar 2020 01:50:31 +0000 (01:50 +0000)
commit032c24d960a5fb551e5d0a40be4f55e24c9216a9
tree43f505d410b9efa7ee350f73854dc055b0e56233
parentbe9c96d0407c187cf6b32df3bc80ff5a5cf4f132
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