id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
5914,armhf build fails in Ubuntu (7.4.1),jani@…,simonmar,"The ARM code generator calls llc in the same way regardless of the ABI being used. When the hardfloat EABI variant is in use - armhf in Debian/Ubuntu, llc needs to be passed -float-abi=hard.
This may mean the build scripts need to detect armel vs armhf and have a config option snippet in 
compiler/main/DriverPipeline.hs
I made a successful build on armhf by just piggybacking it to check it works.

 else if (elem VFPv3D16 ext)
-                                           then [""-mattr=+v7,+vfp3""]
+                                           then [""-mattr=+v7,+vfp3, ""-float-abi=hard""]

BTW for Debian/Ubuntu we will need +d16 passed there, but it is not strictly related to the build failure on armhf. ",bug,closed,high,7.6.1,Compiler (LLVM),7.4.1,fixed,,dterei juhp@…,Linux,arm,Building GHC failed,Unknown,,,,