Re: [PATCHes] gawk-3.1.0 build problems under DJGPP

[Eli Zaretskii]

On Tue, 7 Aug 2001, Peter J. Farley III wrote:

> Plus, the "pre-built" files 
> *assume* a location for the "root" of the DJGPP environment, which I 
> have had several occasions to change on my system.  Using the v2.03 
> DJGPP notation "/dev/env/DJDIR" makes the files that are built 
> independent of the "root" location

I know about this, and deliberately left the current compiled-in
defaults as they were.  The reason for this is that Gawk, being a
package that makes sense on its own, might well be installed on a
system without the rest of DJGPP, in which case /dev/env/DJDIR will
not work.  OTOH, if DJGPP _is_ installed, the djgpp.env file already
takes care of the few Gawk-related environment variables.  So it
looked to me that changing the compiled-in defaults wasn't a good
idea.