Android build failure: "unrecognized command line option"

[yallop]

The Android CI build is failing with the following errors:

# arm-linux-androideabi-gcc: error: unrecognized command line option '-m64'
# arm-linux-androideabi-gcc: error: unrecognized command line option '-mno-red-zone'

[yallop]

@whitequark: if you happen to know what's going on here, a PR would be very much appreciated.

[whitequark]

Sounds like you're invoking Android gcc as a linker but with x86 flags that appear from somewhere in the build process. Let me know if this doesn't give you enough information.

[avsm]

This looks suspiciously like the Xen cflags for MirageOS unikernels, which do not have a red zone. I'll investigate this as I'm working on the dune port in #574 that'll shortly have cross-compilation support using the current scheme.