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				
