[Buildroot] [PATCH 1/1] package/gcc: fix disabling the documentation

[Peter Korsgaard]

On 22/11/2023 16.47, Nicolas Cavallari wrote:
> gcc.mk attempts to disable building the documentation by setting
> MAKEINFO=missing, but it is not working.  If makeinfo is installed
> and recent enough, gcc still uses it.  This can be checked easily:
> 
> grep BUILD_INFO='info' host-gcc-initial-*/build/gcc/config.log
> 
> It happens because the root ./configure script will check
> $MAKEINFO --version (aka 'missing --version') and will overwrite it with
> MAKEINFO='missing makeinfo' because the version does not match.
> 
> Having MAKEINFO='missing makeinfo' is a problem because
> 'missing makeinfo' will actually attempt to run 'makeinfo' before
> failing with an error message.  If makeinfo is installed on the host,
> then 'missing makeinfo' will successfully run makeinfo anyway.
> 
> Many gcc subprojects will check $MAKEINFO --version and enable building
> the documentation if it is recent enough.  This patch overrides these
> checks by forcing gcc_cv_prog_makeinfo_modern=no.
> 
> Building the GCC documentation can fail with the wrong makeinfo version.
> It happened at least when building GCC 11.3.0 with makeinfo 7.1.
> 
> Signed-off-by: Nicolas Cavallari <nicolas.cavallari at green-communications.fr>
> 
> ---
> 
> This patch is mostly useful when backported to 2023.02

Committed to 2023.02.x and 2023.08.x, thanks.

-- 
Bye, Peter Korsgaard