[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: AWKPATH and AWKLIBPATH: default values different from documentation
|
From: |
Andrew J. Schorr |
|
Subject: |
Re: AWKPATH and AWKLIBPATH: default values different from documentation (gawk 5.0.1) |
|
Date: |
Sat, 22 Feb 2020 15:36:12 -0500 |
|
User-agent: |
Mutt/1.5.21 (2010-09-15) |
Hi Jannick,
On Sat, Feb 22, 2020 at 08:41:39PM +0100, Jannick wrote:
> Let me take the conclusion one step further: the default values of AWKPATH
> and AWKLIBPATH are baked into gawk at compile-time and are governed by
> 'prefix' at configure-time (which could optionally be overridden at
> make/compile-time). At install-time another value for 'prefix' (e.g., /usr)
> could be used which might differ from the one effectively used at
> compile-time. The setting I am coming from was that 'prefix' is set to
> '/usr' at configure-time and not changed later on. So there are at least
> three times to be careful about which value 'prefix' has; different values
> can cause the issue raised.
I'm confused. As far as I can tell, the prefix is set once when configure runs.
After that, it is baked in by the compilation. So why are there three times to
be careful?
Regards,
Andy