Re: Avoid gawkextlib as a separate shared library

[Manuel Collado]

Enviado desde mi iPad

El 18 may 2022, a las 13:43, Eli Zaretskii <eliz@gnu.org> escribió:

>> Cc: aschorr@telemetry-investments.com, bug-gawk@gnu.org
>> From: Manuel Collado <mcollado2011@gmail.com>
>> Date: Wed, 18 May 2022 09:39:48 +0200
> Once I've built and installed gawkextlib, per Andy's subsequent and
> more detailed instructions, that problem never happened, because "make
> install" in the gawkextlib tree installed the DLL, the import library
> and the header file correctly.
> 
Where did you install gawkextlib? In the MinGW tree? Or in a target tree, like 
c:\gnu?

Could you show the exact “configure” invocation used to build and install 
gawkextlib

Thanks.