Android build failure: "unrecognized command line option"

yallop / ocaml-ctypes

Library for binding to C libraries using pure OCaml

MIT License

371 stars 95 forks source link

Android build failure: "unrecognized command line option" #581

Open yallop opened 6 years ago

yallop commented 6 years ago

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 commented 5 years ago

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

whitequark commented 5 years ago

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 commented 5 years ago

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.