bug-gawk
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: MinGw port of gawkextlib


From: Andrew J. Schorr
Subject: Re: MinGw port of gawkextlib
Date: Mon, 16 May 2022 14:51:27 -0400
User-agent: Mutt/1.5.21 (2010-09-15)

On Mon, May 16, 2022 at 08:59:45PM +0300, Eli Zaretskii wrote:
> But if I download the gawk-mpfr-NN.MM.tar.gz tarball, I don't get that
> top-level README, do I?

You don't. But how would you download it without seeing the top-level README
that's displayed on the file download page? I guess you could fail to read
it if you were in a rush. I'm not aware of anybody's being in a rush to
download gawkextlib extensions.

Again, this won't matter after gawkext exists and does this for you.

> I see the problem.  The value of --with-gawk= is supposed to be the
> _directory_ of the Gawk executable.  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.

Thanks,
Andy



reply via email to

[Prev in Thread] Current Thread [Next in Thread]