Re: gnulib: update

> On 31 Jul 2022, at 11:23, Akim Demaille <[email protected]> =
wrote:
>=20
> Hans,
>=20
>> Le 31 juil. 2022 =C3=A0 11:17, Hans =C3=85berg <[email protected]> a =
=C3=A9crit :
>>=20
>>=20
>>> On 31 Jul 2022, at 11:04, Akim Demaille <[email protected]> =
wrote:
>>>=20
>>> We are still unable to complete distcheck successfully.
>>=20
>> 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.
>=20
> That's the goal indeed: making sure it works even if the sources are =
on a readonly support.
>=20
> 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.