Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Fri, 31 Jul 2020 15:48:26 +0000 (16:48 +0100)
committerGianfranco Costamagna <locutusofborg@debian.org>
Fri, 31 Jul 2020 15:48:26 +0000 (16:48 +0100)
commitc4126e846c592f57dc2886d9a8ae825c0cdffb97
treeaa4346355a5607f2dd9b6133220c2aa9c92d7bf8
parente41cb2863194c2ee8f149cfb6d053534d1e3f6dc
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