[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/picosat/, sci-mathematics/picosat/files/

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/picosat/, sci-mathematics/picosat/files/

[Maciej Barć]

commit:     4ba37122421305604b072844daa4b1da37f8202b
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Dec  6 02:18:34 2022 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Dec  6 02:19:20 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4ba37122

sci-mathematics/picosat: new package; add 965

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

 sci-mathematics/picosat/Manifest                   |  1 +
 .../picosat/files/picosat-965-makefile.in.patch    | 13 ++++++++
 sci-mathematics/picosat/metadata.xml               |  9 ++++++
 sci-mathematics/picosat/picosat-965.ebuild         | 35 ++++++++++++++++++++++
 4 files changed, 58 insertions(+)

diff --git a/sci-mathematics/picosat/Manifest b/sci-mathematics/picosat/Manifest
new file mode 100644
index 000000000000..d49711956ac4
--- /dev/null
+++ b/sci-mathematics/picosat/Manifest
@@ -0,0 +1 @@
+DIST picosat-965.tar.gz 64386 BLAKE2B 913b08a72c0b15065353c2ee1ff8fe5a9c0f7a2a8653d80f4cdcee8fdcf69eed7621e28f4259a9d0fb506fefb8eccfd293f06aa7c1b3ea3f6cc31eb319a30532 SHA512 b5372962a0079d70641fd76c431b4ab5042c2f3015179762e447634f220cf0744eea786ee40b00035a342f3ead482061ebe1a9e3726bd06e7adf8e0ac0c5eabf

diff --git a/sci-mathematics/picosat/files/picosat-965-makefile.in.patch b/sci-mathematics/picosat/files/picosat-965-makefile.in.patch
new file mode 100644
index 000000000000..bc0c501c9223
--- /dev/null
+++ b/sci-mathematics/picosat/files/picosat-965-makefile.in.patch
@@ -0,0 +1,13 @@
+--- a/makefile.in
++++ b/makefile.in
+@@ -49,8 +49,8 @@ config.h: makefile VERSION mkconfig.sh # and actually picosat.c
+ 	rm -f $@; ./mkconfig.sh > $@
+ 
+ libpicosat.a: picosat.o version.o
+-	ar rc $@ picosat.o version.o
+-	ranlib $@
++	$(AR) rc $@ picosat.o version.o
++	$(RANLIB) $@
+ 
+ SONAME=-Xlinker -soname -Xlinker libpicosat.so
+ libpicosat.so: picosat.o version.o

diff --git a/sci-mathematics/picosat/metadata.xml b/sci-mathematics/picosat/metadata.xml
new file mode 100644
index 000000000000..bfe27bd4a945
--- /dev/null
+++ b/sci-mathematics/picosat/metadata.xml
@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+  <maintainer type="project">
+    <email>sci-mathematics@gentoo.org</email>
+    <name>Gentoo Mathematics Project</name>
+  </maintainer>
+</pkgmetadata>

diff --git a/sci-mathematics/picosat/picosat-965.ebuild b/sci-mathematics/picosat/picosat-965.ebuild
new file mode 100644
index 000000000000..cff148733b40
--- /dev/null
+++ b/sci-mathematics/picosat/picosat-965.ebuild
@@ -0,0 +1,35 @@
+# 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"
+
+src_configure() {
+	CC="$(tc-getCC)" sh ./configure.sh --shared --trace || die
+}
+
+src_compile() {
+	emake 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
+}