https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70211
--- Comment #1 from Andrew Roberts <andrewm.roberts at sky dot com> --- Looking at the toplevel Makefile.in the gmp targets (maybe-configure-gmp, configure-gmp etc) use: --build=${build_alias} --host=none-${host_vendor}-${host_os} --target=none-${host_vendor}-${host_os} where as isl, mpfr etc all use: --build=${build_alias} --host=${host_alias} --target=${target_alias} Presumably there was a historic reason for this, is it still valid? As my previous comments say, this seems to have started causing problems on ARM from GMP 5.1 onwards.