[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Extension packaging
From: |
Eli Zaretskii |
Subject: |
Re: Extension packaging |
Date: |
Tue, 10 May 2022 20:26:12 +0300 |
> Date: Tue, 10 May 2022 20:21:10 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: mcollado2011@gmail.com, pjfarley3@earthlink.net, bug-gawk@gnu.org
>
> If you envision the need to install in a non-standard directory, you
> can provide a configure-time switch for that, and leave the default at
> what makes sense for users. I think.
And one more comment: having to use a separate script for installing
the built libraries is a problematic solution, because users will not
expect that. They expect "make install" to DTRT, as it does with any
other package we build for using on our systems. A separate script
will need to be documented, you need to rely on users to read that
documentation and understand it, and then to invoke the script. And
that's even before we talk about the language in which that script
will be written, and the complications with running it on non-Posix
platforms...
- RE: Extension packaging, (continued)
- RE: Extension packaging, pjfarley3, 2022/05/10
- Re: Extension packaging, Manuel Collado, 2022/05/10
- Re: Extension packaging, Andrew J. Schorr, 2022/05/10
- Re: Extension packaging, Eli Zaretskii, 2022/05/10
- Re: Extension packaging, Andrew J. Schorr, 2022/05/10
- Re: Extension packaging, Eli Zaretskii, 2022/05/10
- Re: Extension packaging, Andrew J. Schorr, 2022/05/10
- Re: Extension packaging, Eli Zaretskii, 2022/05/10
- Re: Extension packaging, Andrew J. Schorr, 2022/05/10
- Re: Extension packaging, Eli Zaretskii, 2022/05/10
- Re: Extension packaging,
Eli Zaretskii <=
- Re: Extension packaging, Andrew J. Schorr, 2022/05/10
- Re: Extension packaging, Andrew J. Schorr, 2022/05/10
- Re: Extension packaging, Eli Zaretskii, 2022/05/11
- MinGw port of gawkextlib (was: Extension packaging), Manuel Collado, 2022/05/11
- Re: MinGw port of gawkextlib (was: Extension packaging), Andrew J. Schorr, 2022/05/11
- Re: MinGw port of gawkextlib, Manuel Collado, 2022/05/11
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/11
- Re: MinGw port of gawkextlib, Manuel Collado, 2022/05/12
- Re: MinGw port of gawkextlib, Andrew J. Schorr, 2022/05/12
- Re: MinGw port of gawkextlib, Eli Zaretskii, 2022/05/12