From 7adf72129265d77da74162a048fb2f9ec9a4005a Mon Sep 17 00:00:00 2001
From: Maciej Barć <xgqt@gentoo.org>
Date: Wed, 11 Jan 2023 02:08:51 +0100
Subject: sci-mathematics/picosat: also install static libraries
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 sci-mathematics/picosat/picosat-965-r1.ebuild | 39 +++++++++++++++++++++++++++
 sci-mathematics/picosat/picosat-965.ebuild    | 38 --------------------------
 2 files changed, 39 insertions(+), 38 deletions(-)
 create mode 100644 sci-mathematics/picosat/picosat-965-r1.ebuild
 delete mode 100644 sci-mathematics/picosat/picosat-965.ebuild

(limited to 'sci-mathematics/picosat')

diff --git a/sci-mathematics/picosat/picosat-965-r1.ebuild b/sci-mathematics/picosat/picosat-965-r1.ebuild
new file mode 100644
index 000000000000..30e893f62288
--- /dev/null
+++ b/sci-mathematics/picosat/picosat-965-r1.ebuild
@@ -0,0 +1,39 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="SAT solver with proof and core support"
+HOMEPAGE="http://fmv.jku.at/picosat/"
+SRC_URI="http://fmv.jku.at/${PN}/${P}.tar.gz"
+
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+LICENSE="MIT"
+
+PATCHES=( "${FILESDIR}"/${P}-makefile.in.patch )
+
+src_configure() {
+	CC="$(tc-getCC)" sh ./configure.sh --shared --trace || die
+}
+
+src_compile() {
+	emake AR="$(tc-getAR)" RANLIB="$(tc-getRANLIB)" \
+		CFLAGS="${CFLAGS} ${LDFLAGS} -fPIC"
+}
+
+src_install() {
+	exeinto /usr/bin
+	doexe picomus picomcs picosat picogcnf
+
+	insinto /usr/share
+	newins VERSION picosat.version
+
+	dolib.a libpicosat.a
+	dolib.so libpicosat.so
+	doheader picosat.h
+
+	dodoc NEWS README
+}
diff --git a/sci-mathematics/picosat/picosat-965.ebuild b/sci-mathematics/picosat/picosat-965.ebuild
deleted file mode 100644
index 9803703a619b..000000000000
--- a/sci-mathematics/picosat/picosat-965.ebuild
+++ /dev/null
@@ -1,38 +0,0 @@
-# Copyright 1999-2022 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit toolchain-funcs
-
-DESCRIPTION="SAT solver with proof and core support"
-HOMEPAGE="http://fmv.jku.at/picosat/"
-SRC_URI="http://fmv.jku.at/${PN}/${P}.tar.gz"
-
-SLOT="0"
-KEYWORDS="~amd64 ~x86"
-LICENSE="MIT"
-
-PATCHES=( "${FILESDIR}"/${P}-makefile.in.patch )
-
-src_configure() {
-	CC="$(tc-getCC)" sh ./configure.sh --shared --trace || die
-}
-
-src_compile() {
-	emake AR="$(tc-getAR)" RANLIB="$(tc-getRANLIB)" \
-		CFLAGS="${CFLAGS} ${LDFLAGS} -fPIC"
-}
-
-src_install() {
-	exeinto /usr/bin
-	doexe picomus picomcs picosat picogcnf
-
-	insinto /usr/share
-	newins VERSION picosat.version
-
-	dolib.so libpicosat.so
-	doheader picosat.h
-
-	dodoc NEWS README
-}
-- 
cgit v1.2.3-65-gdbad