https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67728
--- Comment #20 from Marc Glisse <glisse at gcc dot gnu.org> --- Does the latest GMP snapshot from https://gmplib.org/download/snapshot/ work for you? I moved NO_ASM to config.h, so GCC's approach of overriding CFLAGS should not break it anymore.
