https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92719
--- Comment #5 from Nikhil Benesch <nikhil.benesch at gmail dot com> --- Ah, sorry, I was imprecise before. By “system gmp” I meant a gmp installed by Homebrew, as in `brew install gmp`. I believe this is a third option from the two you listed. (At least, it is on non-macOS platforms.) without a `—with-gmp-dir` option, Homebrew’s GMP installation gets automatically picked up by the top level configure script, but somehow the configure script in the gcc subdirectory can’t find gmp.h. If you think it’d be worthwhile, I’d be happy to undo the workaround and pull harder on this thread.
