2d889de
Description: If we are on armhf, tell llvm to generate code for this ABI. Not
2d889de
 forwarded upstream, because they will do a more 'proper' patch. See upstream
2d889de
 bug #5914.
2d889de
Author: Iain Lane <laney@debian.org>
2d889de
2d889de
Index: ghc/compiler/main/DriverPipeline.hs
2d889de
===================================================================
2d889de
--- ghc.orig/compiler/main/DriverPipeline.hs	2012-03-10 16:41:46.000000000 +0000
2d889de
+++ ghc/compiler/main/DriverPipeline.hs	2012-03-10 16:42:59.209169474 +0000
2d889de
@@ -1,5 +1,5 @@
2d889de
 {-# OPTIONS -fno-cse #-}
2d889de
-{-# LANGUAGE NamedFieldPuns #-}
2d889de
+{-# LANGUAGE NamedFieldPuns, CPP #-}
2d889de
 -- -fno-cse is needed for GLOBAL_VAR's to behave properly
2d889de
 
2d889de
 -----------------------------------------------------------------------------
2d889de
@@ -1379,6 +1379,9 @@
2d889de
                                       then ["-mattr=+v7,+vfp3"]
2d889de
                                       else if (elem VFPv3D16 ext)
2d889de
                                            then ["-mattr=+v7,+vfp3,+d16"]
2d889de
+#ifdef __ARM_PCS_VFP
2d889de
+                                                ++ ["-float-abi=hard"]
2d889de
+#endif
2d889de
                                            else []
2d889de
                    _               -> []
2d889de