diff options
author | 2020-05-28 17:52:24 +0200 | |
---|---|---|
committer | 2023-01-14 18:45:39 +0000 | |
commit | 7c1c4de9056cf0377ad629a0698cfdb36a743585 (patch) | |
tree | 8cd30e78c2c23493bcc6292ddff6f3415f62113b | |
parent | tox.ini: Call `make clean` (diff) | |
download | policy-guide-7c1c4de9056cf0377ad629a0698cfdb36a743585.tar.gz policy-guide-7c1c4de9056cf0377ad629a0698cfdb36a743585.tar.bz2 policy-guide-7c1c4de9056cf0377ad629a0698cfdb36a743585.zip |
installed-files: Indicate when .a files can be removed in install
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Closes: https://github.com/gentoo/policy-guide/pull/18
Signed-off-by: Sam James <sam@gentoo.org>
-rw-r--r-- | installed-files.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/installed-files.rst b/installed-files.rst index 1468288..19e72e4 100644 --- a/installed-files.rst +++ b/installed-files.rst @@ -57,6 +57,14 @@ really necessary (e.g. for recovery tools) but otherwise proliferating it is considered harmful. There is no point in installing static libraries if they are never going to be used. +.. Note:: + + If the package's build system does not support disabling static + library build, it is recommended to patch it and submit the patch + upstream. However, if that is not feasible and building both shared + and static libraries does not require compiling source files twice, + it is acceptable to strip static libraries in ``src_install()``. + .. index:: pair: installed files; libtool file |