Re: gnulib: update

[Hans Åberg]

> On 31 Jul 2022, at 11:23, Akim Demaille <akim.demaille@gmail.com> wrote:
> 
> Hans,
> 
>> Le 31 juil. 2022 à 11:17, Hans Åberg <haberg-1@telia.com> a écrit :
>> 
>> 
>>> On 31 Jul 2022, at 11:04, Akim Demaille <akim.demaille@gmail.com> wrote:
>>> 
>>> We are still unable to complete distcheck successfully.
>> 
>> I found it useless, because it makes the sources read only, and then force 
>> compiles sources that are set to not compile: lexer, parser, PDF, or 
>> whatever. So if one has set it so that only developers should compile those 
>> because ordinary users may not have access to the correct tools and updating 
>> in the source directory, it will fail. The developers of the feature see no 
>> problem in this.
> 
> That's the goal indeed: making sure it works even if the sources are on a 
> readonly support.
> 
> So the feature works as expected.

That is not what I am speaking about. There is no need to compile the Bison 
sources, as the output is intended to be platform independent, and if the user 
does not have an up-to-date version they will not be able to compile. So it 
might be prudent to set make to not compile them.

Then distcheck makes a read only copy, and tries to make in a separated 
directory, not according to the recipe specified by the make file, but with 
changes. But that will fail if the Bison compile is set to the sources 
directory.