Re: Extension packaging

[Eli Zaretskii]

> Date: Tue, 10 May 2022 12:29:05 -0400
> From: "Andrew J. Schorr" <aschorr@telemetry-investments.com>
> Cc: mcollado2011@gmail.com, pjfarley3@earthlink.net, bug-gawk@gnu.org
> 
> OK, sorry, it never occurred to me that somebody would install
> the gawkextlib.h header file without actually installing the
> entire gawkextlib package.

I just followed your instructions here, that's all.  I had no other
information handy.

> My initial instructions were sloppy. They should have said:
> 
> wget https://sourceforge.net/projects/gawkextlib/files/gawkextlib-1.0.4.tar.gz
> tar xf gawkextlib-1.0.4.tar.gz
> cd gawkextlib-1.0.4.tar.gz
> ./configure && make && make check && make install && echo Success.
> cd ..
> wget https://sourceforge.net/projects/gawkextlib/files/gawk-mpfr-1.1.0.tar.gz
> tar xf gawk-mpfr-1.1.0.tar.gz
> cd gawk-mpfr-1.1.0
> ./configure && make && make check && make install && echo Success.

OK, will do.  However, ...

> But this still may have some problems with installation paths.
> We need to make sure that the shared libaries end up in the AWKLIBPATH
> directory, as revealed by:
>    gawk 'BEGIN {print ENVIRON["AWKLIBPATH"]}'

... this surprises me: since this project is specifically for building
extension libraries for Gawk, why doesn't "make install" automatically
install the shared libraries in the right place?  All it needs to do,
to know where that is, is to ask Gawk itself, right?  Or provide a
separate configure switch for the user to specify that explicitly.  So
what am I missing here?

> But I am curious as to whether you can get this to work on MinGW if you're
> willing to waste a few more minutes on this.

I will try and report.