Re: [PATCH] configure: remove dependencies on gmp and mpfr when gdb is disabled

2023-01-06 Thread Richard Biener via Gcc-patches
> Am 06.01.2023 um 09:44 schrieb Clément Chigot via Gcc-patches > : > > On Fri, Jan 6, 2023 at 9:39 AM Clément Chigot wrote: >> >> Since 91e0d22025e0bf2af2e364cb7214a05512a0c431, the configure checks >> about GMP and MPFR for gdb builds have been moved to the toplevel >> configure. >> Howev

Re: [PATCH] configure: remove dependencies on gmp and mpfr when gdb is disabled

2023-01-06 Thread Clément Chigot via Gcc-patches
On Fri, Jan 6, 2023 at 9:39 AM Clément Chigot wrote: > > Since 91e0d22025e0bf2af2e364cb7214a05512a0c431, the configure checks > about GMP and MPFR for gdb builds have been moved to the toplevel > configure. > However, it doesn't take into account the --disable-gdb option. Meaning > that a build wi