https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91034
--- Comment #15 from Marc Glisse <glisse at gcc dot gnu.org> --- https://gmplib.org/manual/Build-Options.html#index-Generic-C documents --disable-assembly as the official way to disable asm. But I am surprised that even with the snapshot you had asm. Looking at the current sources, if you configure for a host none-*-*, it sets enable_assembly=no, same as --disable-assembly.