[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: |
Thu, 12 May 2022 13:23:31 -0400 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Thu, May 12, 2022 at 08:19:55PM +0300, Eli Zaretskii wrote:
> If you know that no other extensions installed by Gawk will ever be
> needed, then yes, removing that would be a simplification. But then I
> wonder why you added that in the first place.
The question is whether an extension, when running it's own "check" code,
would need to pull in other extensions in addition to its own that was
just built. I added it for general safety, because that COULD happen, and
because I had no idea that it would break MinGW. But I don't know that
it actually DOES happen so far, and I'm not sure it's a terribly
likely scenario.
Like I said, I'll test whether removing that breaks "make check" for
any of the existing extensions. No need to worry about it further
until I report back.
Regards,
Andy
- Re: MinGw port of gawkextlib (was: Extension packaging), (continued)
- Re: MinGw port of gawkextlib (was: Extension packaging), Andrew J. Schorr, 2022/05/11
- Re: MinGw port of gawkextlib, Manuel Collado, 2022/05/11
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/11
- Re: MinGw port of gawkextlib, Manuel Collado, 2022/05/12
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/12
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/12
- Re: MinGw port of gawkextlib, Manuel Collado, 2022/05/12
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/12
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/12
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/12
- Re: MinGw port of gawkextlib,
Andrew J. Schorr <=
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/12
- 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