[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: MinGw port of gawkextlib
From: |
Eli Zaretskii |
Subject: |
Re: MinGw port of gawkextlib |
Date: |
Tue, 17 May 2022 21:33:10 +0300 |
> Date: Tue, 17 May 2022 14:04:52 -0400
> From: "Andrew J. Schorr" <aschorr@telemetry-investments.com>
> Cc: arnold@skeeve.com, mcollado2011@gmail.com, bug-gawk@gnu.org
>
> > The question is: do you want to have gawkextlib extensions to have a
> > reasonable support of MinGW builds, including running the test suite?
>
> That would be nice if it's possible without an insane amount of effort.
>
> > If you do, then IMO you should provide a way for a user to tell the
> > configure script which Gawk executable to use for run-time tests,
> > because it is simply _impossible_ to run the test suite except by
> > using MSYS tools, and if MSYS is being used, the default Gawk is the
> > MSYS Gawk, which will never work for the test suite. If such an
> > option were not available, I'd have to hack test/Makefile by hand to
> > force the test suite to invoke the correct Gawk.
>
> I think I have now done that by adding the --with-gawk-program argument.
FTR, the above was written in response to an opinion that such an
option might be an overkill.
> 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
- Re: MinGw port of gawkextlib, (continued)
- 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
- 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 <=
- 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
- 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