On Mon, 2024-06-03 at 11:30 +0100, Maciej W. Rozycki wrote: > On Tue, 28 May 2024, David Malcolm wrote: > > > I've pushed this to gcc trunk as r15-872-g7cc529fe514cc6 (having > > bootstrapped and lightly tested it on x86_64-pc-linux-gnu) > > Thank you for fixing this up. Is this a new requirement now for > .opt > file changes?
Yes, as of GCC 14. I posted the objectives here: https://gcc.gnu.org/pipermail/gcc-patches/2023-November/636060.html > Why does it have to be called by hand then rather than > being a make dependency? IIRC, the idea is: (a) to avoid requiring Python 3 as a build dependency, and (b) to avoid requiring the HTML docs to be built before gcc's code can be built since missing a few URLs is a relatively minor issue that we don't want to complicate the build for. Hence we decided to check for it in CI instead. Hope the trade-off sounds reasonable Dave