New comment by mkohlhaas on void-packages repository https://github.com/void-linux/void-packages/pull/23821#issuecomment-664100870 Comment: Scryer Prolog uses the [GNU Multiple Precision Arithmetic Library GMP](https://gmplib.org/) as part of the FFI Rust library [gmp-mpfr-sys](https://crates.io/crates/gmp-mpfr-sys). When cross-compiling for i686 the configure script gets confusing information about the platform. It can't really figure out if it is 32 or 64 bit: ``` using ABI="64" ... configure: error: Oops, mp_limb_t is 32 bits, but the assembler code in this configuration expects 64 bits. ``` I think one could solve the issue by specifying: `configure ABI=32` according to the [GMP documentation](https://gmplib.org/manual/ABI-and-ISA#ABI-and-ISA). But how would this be possible with a build type of `cargo`?