armhf build fails in Ubuntu (7.4.1)
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information