Re: MinGw port of gawkextlib

[Manuel Collado]

El 16/05/2022 a las 20:51, Andrew J. Schorr escribió:
> On Mon, May 16, 2022 at 08:59:45PM +0300, Eli Zaretskii wrote:
> [...]
> > I see the problem.  The value of --with-gawk= is supposed to be the
> > _directory_ of the Gawk executable.

Well, not exactly. The expected value is not where gawk.exe resides 
(c:\gnu\bin in my case) but the --prefix value used to install gawk 
(c:\gnu in my case).

>  Whereas I used
> >    --with-gawk=d:/usr/bin/gawk.exe
> >
> > i.e., I specified the _file_name_ of the Gawk program executable.
> >
> > May I suggest that instead of
> >
> >    --with-gawk=PATH        Use gawk in PATH
> >
> > the configure script would say
> >
> >    --with-gawk=DIR        Use gawk in DIR
>
> I agree -- that is clearer. That patch is in the queue.

Shouldn't it be better --with-gawk=INSTALL_PREFIX ?

Regards.

--
Manuel Collado - http://mcollado.z15.es