diff options
author | Maciej Barć <xgqt@gentoo.org> | 2023-01-13 15:57:23 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2023-01-13 16:42:37 +0100 |
commit | 6470b88ee3af3267b1433cec4ace458816e52830 (patch) | |
tree | bd2926e6c01b597e0b05b5bebfc82cc95ce70f23 /sci-mathematics/picosat | |
parent | dev-util/perf: drop -Werror from Makefile (diff) | |
download | gentoo-6470b88ee3af3267b1433cec4ace458816e52830.tar.gz gentoo-6470b88ee3af3267b1433cec4ace458816e52830.tar.bz2 gentoo-6470b88ee3af3267b1433cec4ace458816e52830.zip |
Revert "sci-mathematics/picosat: also install static libraries"
This reverts commit 7adf72129265d77da74162a048fb2f9ec9a4005a.
Closes: https://bugs.gentoo.org/890700
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/picosat')
-rw-r--r-- | sci-mathematics/picosat/picosat-965.ebuild (renamed from sci-mathematics/picosat/picosat-965-r1.ebuild) | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sci-mathematics/picosat/picosat-965-r1.ebuild b/sci-mathematics/picosat/picosat-965.ebuild index 30e893f62288..9803703a619b 100644 --- a/sci-mathematics/picosat/picosat-965-r1.ebuild +++ b/sci-mathematics/picosat/picosat-965.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -31,7 +31,6 @@ src_install() { insinto /usr/share newins VERSION picosat.version - dolib.a libpicosat.a dolib.so libpicosat.so doheader picosat.h |