[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: |
Tue, 17 May 2022 15:15:26 -0400 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Tue, May 17, 2022 at 10:07:21PM +0300, Eli Zaretskii wrote:
> > Date: Tue, 17 May 2022 14:48:59 -0400
> > From: "Andrew J. Schorr" <aschorr@telemetry-investments.com>
> > Cc: arnold@skeeve.com, mcollado2011@gmail.com, bug-gawk@gnu.org
> >
> > On Tue, May 17, 2022 at 09:33:10PM +0300, Eli Zaretskii wrote:
> > > > I have changed the help string to say:
> > > >
> > > > --with-gawk-program=PATH
> > > > Use gawk program binary in PATH for running
> > > > the test
> > > > suite, e.g. /usr/bin/gawk
> > > >
> > > > Is that clear enough?
> > >
> > > Yes, thanks. I still suggest not to use PATH here, especially since
> > > "binary in PATH" could cause someone to thing this is a
> > > colon-separated list of directories where the system looks for
> > > executables
> >
> > I gave an example to avoid any doubt. But which word do you prefer to PATH?
> > FILENAME?
>
> FILENAME is good. Or you could use PROG.
PROG it is.
I guess we may potentially need a --with-gawkextlib-include-dir option as well,
but let's see how things play out.
Thanks,
Andy
- Re: MinGw port of gawkextlib, (continued)
- Re: MinGw port of gawkextlib, arnold, 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, Andrew J. Schorr, 2022/05/17
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/17
- Re: MinGw port of gawkextlib,
Andrew J. Schorr <=
- Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib), Manuel Collado, 2022/05/17
- Re: Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib), Eli Zaretskii, 2022/05/17
- Re: Avoid gawkextlib as a separate shared library, Manuel Collado, 2022/05/18
- Re: Avoid gawkextlib as a separate shared library, Eli Zaretskii, 2022/05/18
- Re: Avoid gawkextlib as a separate shared library, Manuel Collado, 2022/05/19
- Re: Avoid gawkextlib as a separate shared library, Eli Zaretskii, 2022/05/19
- Re: Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib), Andrew J. Schorr, 2022/05/17
- Re: Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib), arnold, 2022/05/17
- Re: Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib), Andrew J. Schorr, 2022/05/17
- Re: Avoid gawkextlib as a separate shared library, Manuel Collado, 2022/05/18