I\'m trying to compile a C library for Android. I have built the NDK toolchain following these instructions (that do seem to work at least for its subsequent use in Rust-based c
