Hi, I'd like to ping this patch: https://gcc.gnu.org/pipermail/gcc-patches/2022-June/596126.html (cc-ing the build machinery maintainers listed in MAINTAINERS this time) On Thu, Jun 2, 2022 at 11:53 AM Eric Gallager wrote: > > So, I'm working on fixing PR bootstrap/44425, and have this patch to > have the top-level configure script check in the value passed to > `--prefix=` when looking for gmp/mpfr/mpc. It "works" (in that > configuring with just `--prefix=` and none of > `--with-gmp=`/`--with-mpfr=`/`--with-mpc=` now works where it failed > before), but unfortunately it results in a bunch of duplicated > `-I`/`-L` flags stuck in ${gmplibs} and ${gmpinc}... is that > acceptable or should I try another approach? > Eric