[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
- Re: MinGw port of gawkextlib, (continued)
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/13
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/13
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/13
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/14
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/16
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/16
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/16
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/16
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/16
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/16
- Re: MinGw port of gawkextlib,
Andrew J. Schorr <=
- Re: MinGw port of gawkextlib, Manuel Collado, 2022/05/17
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/17
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/17
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/17
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/17
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/17
- Re: MinGw port of gawkextlib, Manuel Collado, 2022/05/18
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/18
- Re: MinGw port of gawkextlib, arnold, 2022/05/17
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/17