[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: |
Andrew J. Schorr |
Subject: |
Re: Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib) |
Date: |
Tue, 17 May 2022 12:43:09 -0400 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Tue, May 17, 2022 at 08:54:01AM -0600, arnold@skeeve.com wrote:
> 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.
I don't mind discussing it, but I do mind implementing it. We have a working
solution that even MinGW libtool handles properly. With what few spare cycles
I have, I'd rather work on building a front-end installation script than
reengineering the existing infrastructure.
Regards,
Andy
- 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, 2022/05/17
- Re: Avoid gawkextlib as a separate shared library (was: MinGw port of gawkextlib),
Andrew J. Schorr <=
- 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
- Re: Found a libtool issue, Eli Zaretskii, 2022/05/19