Re: Avoid gawkextlib as a separate shared library

[Eli Zaretskii]

> From: Manuel Collado <mcollado2011@gmail.com>
> Date: Thu, 19 May 2022 11:29:27 +0200
> Cc: aschorr@telemetry-investments.com, bug-gawk@gnu.org
> 
> > 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?

The former.  On my system, the MinGW tree and what you call the
"target tree" are identical.

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

   $ ./configure --prefix=d:/usr --with-gawk=d:/usr/bin
   $ make
   $ make install