Re: [PATCH] gcc/configure: Re-introduce INSTALL_INFO

2024-02-05 Thread rep . dot . nop
On 5 February 2024 12:30:23 CET, Christophe Lyon wrote: >On Fri, 2 Feb 2024 at 11:40, Christophe Lyon >wrote: >> >> On Fri, 2 Feb 2024 at 11:10, wrote: >> > >> > On 1 February 2024 18:15:34 CET, Christophe Lyon >> > wrote: >> > >BUILD_INFO is currently a byproduct of checking makeinfo >> >

Re: [PATCH] gcc/configure: Re-introduce INSTALL_INFO

2024-02-05 Thread Christophe Lyon
On Fri, 2 Feb 2024 at 11:40, Christophe Lyon wrote: > > On Fri, 2 Feb 2024 at 11:10, wrote: > > > > On 1 February 2024 18:15:34 CET, Christophe Lyon > > wrote: > > >BUILD_INFO is currently a byproduct of checking makeinfo > > >presence/version. INSTALL_INFO used to be defined similarly, but

Re: [PATCH] gcc/configure: Re-introduce INSTALL_INFO

2024-02-02 Thread Christophe Lyon
On Fri, 2 Feb 2024 at 11:10, wrote: > > On 1 February 2024 18:15:34 CET, Christophe Lyon > wrote: > >BUILD_INFO is currently a byproduct of checking makeinfo > >presence/version. INSTALL_INFO used to be defined similarly, but was > >removed in 2000 (!) by commit

Re: [PATCH] gcc/configure: Re-introduce INSTALL_INFO

2024-02-02 Thread rep . dot . nop
On 1 February 2024 18:15:34 CET, Christophe Lyon wrote: >BUILD_INFO is currently a byproduct of checking makeinfo >presence/version. INSTALL_INFO used to be defined similarly, but was >removed in 2000 (!) by commit 17db658241d18cf6db59d31bc2d6eac96e9257df >(svn r38141). > >In order to save

[PATCH] gcc/configure: Re-introduce INSTALL_INFO

2024-02-01 Thread Christophe Lyon
BUILD_INFO is currently a byproduct of checking makeinfo presence/version. INSTALL_INFO used to be defined similarly, but was removed in 2000 (!) by commit 17db658241d18cf6db59d31bc2d6eac96e9257df (svn r38141). In order to save build time, our CI overrides BUILD_INFO="", which works when