c02fa3f
--- ghc-7.8.3/aclocal.m4~	2014-07-10 13:27:16.000000000 +0900
c02fa3f
+++ ghc-7.8.3/aclocal.m4	2014-11-05 12:19:08.530044128 +0900
c02fa3f
@@ -408,7 +408,7 @@
c02fa3f
                 )],
c02fa3f
                 [changequote(, )dnl
c02fa3f
                  ARM_ISA=ARMv7
c02fa3f
-                 ARM_ISA_EXT="[VFPv3,NEON]"
c02fa3f
+                 ARM_ISA_EXT="[VFPv3D16]"
c02fa3f
                  changequote([, ])dnl
c02fa3f
                 ])
c02fa3f
         ])