summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2023-01-13 15:57:23 +0100
committerMaciej Barć <xgqt@gentoo.org>2023-01-13 16:42:37 +0100
commit6470b88ee3af3267b1433cec4ace458816e52830 (patch)
treebd2926e6c01b597e0b05b5bebfc82cc95ce70f23 /sci-mathematics/picosat
parentdev-util/perf: drop -Werror from Makefile (diff)
downloadgentoo-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