https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96044
--- Comment #9 from Paul Zimmermann <zimmerma+gcc at loria dot fr> --- Dear Richard, about mini-gmp, note that MPFR 4.1.0 (rc2 now in test) will come with improved mini-gmp support. From NEWS: - Mini-gmp support: replaced --enable-mini-gmp configure option by --with-mini-gmp (still experimental, read doc/mini-gmp). Feel free to exercise this within GCC.