Re: MinGw port of gawkextlib

[Eli Zaretskii]

> Date: Mon, 16 May 2022 12:52:40 -0400
> From: "Andrew J. Schorr" <aschorr@telemetry-investments.com>
> Cc: mcollado2011@gmail.com, bug-gawk@gnu.org
> 
> Were there other MinGW issues that we need to address besides getting
> "make install" to put things in the right place and pulling in gawkextlib as
> needed? I think a front-end "gawkext" script can handle those issues.

Here's the list of all the issues I discovered in my original build
attempt:

  . it would be nice to have in gawk-mpfr's README (and that of other
    extensions) something to the effect that gawkextlib should be
    built and installed first (or maybe the configure script should be
    more explicit about that when it doesn't find gawkextlib
    installed);

  . "make install" in gawk-mpfr installs the shared library in the
    wrong place;

  . GAWKPROG in test/Makefile didn't pick up the value of --with-gawk=
    command-line arguments to the configure script;

  . problems with running the test suite due to values of CMP and AWK
    in test/Makefile.

I believe that the last issue is now solved.

Thanks.