Maamoun TK maamoun.tk@googlemail.com writes:
It seems gcc for aarch64 doesn't support building 32-bit binaries, maybe we should remove the check of ABI since 64-bit is the only option.
Ok, that's a bit confusing. There's a command line flag for it, not -m32 but -mabi=ilp32, but that doesn't work out of the box with my (debian-packaged) cross compiler. Searching turns up this old (2015) email saying that gcc support is work-in-progress: https://gcc.gnu.org/legacy-ml/gcc-help/2015-02/msg00034.html
I would suggest keeping the ABI check, but leave asm_path empty (or maybe use asm_path=arm), until we have figured out how to build and test for that configuration.
Regards, /Niels