commit:     bb4495fb039500ccb76848dace66664b5414f7d1
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Aug  1 13:19:59 2025 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Aug  1 17:14:18 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bb4495fb

sci-mathematics/kissat: do not install static libs

Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/kissat/{kissat-3.1.1.ebuild => kissat-3.1.1-r1.ebuild} | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/sci-mathematics/kissat/kissat-3.1.1.ebuild 
b/sci-mathematics/kissat/kissat-3.1.1-r1.ebuild
similarity index 92%
rename from sci-mathematics/kissat/kissat-3.1.1.ebuild
rename to sci-mathematics/kissat/kissat-3.1.1-r1.ebuild
index 4c1fed10488f..3bc20c8f7ca9 100644
--- a/sci-mathematics/kissat/kissat-3.1.1.ebuild
+++ b/sci-mathematics/kissat/kissat-3.1.1-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -32,7 +32,6 @@ src_compile() {
 }
 
 src_install() {
-       dolib.a build/libkissat.a
        exeinto /usr/bin/
        doexe build/{kissat,kitten}
        dodoc CONTRIBUTING NEWS.md README.md

Reply via email to