[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Avoid gawkextlib as a separate shared library (was: MinGw port of ga
From: |
arnold |
Subject: |
Re: Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib) |
Date: |
Tue, 17 May 2022 08:54:01 -0600 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
Manuel Collado <mcollado2011@gmail.com> wrote:
> IIRC, there have been other people confused about the role of gawkexlib
> as a required DLL. ....
>
> This issue has been discussed long time ago. My proposal was to move the
> stuff in /lib to /shared, and add strhash.{c,o} and varinit.{c.o} to the
> lists of files required by some extensions. I.e., link this stuff
> statically instead of a shared library.
>
> Both strhash and varinit are small. Is it really convenient to avoid
> duplicating this small code in the extensions that require them? I guess
> few people will install a bunch of extensions all of them requiring all
> the content of gawkextlib.
>
> Is it ok to discuss the issue again?
I don't object. I think anything that simplifies gawkextlib installation
is good.
Arnold
- Re: MinGw port of gawkextlib, (continued)
- 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 <=
- 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
- Re: Avoid gawkextlib as a separate shared library, Andrew J. Schorr, 2022/05/18
- 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/18
- Re: Avoid gawkextlib as a separate shared library, Eli Zaretskii, 2022/05/19
- Found a libtool issue (vas: Avoid gawkextlib as a separate shared library), Manuel Collado, 2022/05/19
- Re: Found a libtool issue (vas: Avoid gawkextlib as a separate shared library), Eli Zaretskii, 2022/05/19
- Re: Found a libtool issue, Manuel Collado, 2022/05/19