[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cryptominisat/

[Maciej Barć]

commit:     06daa4f02225c9ca702b4a86479109cb5b2518ec
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 26 19:51:47 2021 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Dec 26 19:52:23 2021 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06daa4f0

sci-mathematics/cryptominisat: new package; add version 5.8.0

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/cryptominisat/Manifest             |  1 +
 .../cryptominisat/cryptominisat-5.8.0.ebuild       | 41 ++++++++++++++++++++++
 sci-mathematics/cryptominisat/metadata.xml         | 20 +++++++++++
 3 files changed, 62 insertions(+)

diff --git a/sci-mathematics/cryptominisat/Manifest b/sci-mathematics/cryptominisat/Manifest
new file mode 100644
index 000000000000..9ed3ae1590c6
--- /dev/null
+++ b/sci-mathematics/cryptominisat/Manifest
@@ -0,0 +1 @@
+DIST cryptominisat-5.8.0.tar.gz 943785 BLAKE2B 534af88a8432c7e3da63989cad8fd5e1491bd69a80b44977fa681e0356e857a505a82dc860b0d04d07987e3edae2861da67ec9dd781261e03a1120dc342b9759 SHA512 3eb954f01524b189a8de57a05f6060471a083addc4b9077c1e32b769d26393ce3d33468819ba8169deedce43fc3663b0ad8bbad95c6afe5e562e438c57b75496

diff --git a/sci-mathematics/cryptominisat/cryptominisat-5.8.0.ebuild b/sci-mathematics/cryptominisat/cryptominisat-5.8.0.ebuild
new file mode 100644
index 000000000000..d4517fca935e
--- /dev/null
+++ b/sci-mathematics/cryptominisat/cryptominisat-5.8.0.ebuild
@@ -0,0 +1,41 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{8,9,10} )
+
+inherit python-single-r1 cmake
+
+DESCRIPTION="Advanced SAT solver with C++ and Python interfaces"
+HOMEPAGE="https://github.com/msoos/cryptominisat/"
+SRC_URI="https://github.com/msoos/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+LICENSE="GPL-2 MIT"
+IUSE="+python"
+REQUIRED_USE="python? ( ${PYTHON_REQUIRED_USE} )"
+RESTRICT="test"  # tests require many convoluted bundled (git) modules
+
+RDEPEND="
+	dev-libs/boost:=
+	sys-libs/zlib:=
+	python? ( ${PYTHON_DEPS} )
+"
+DEPEND="${RDEPEND}"
+
+pkg_setup() {
+	use python && python-single-r1_pkg_setup
+}
+
+src_configure() {
+	local mycmakeargs=(
+		-DNOBREAKID=ON
+		-DNOM4RI=ON
+		-DENABLE_PYTHON_INTERFACE=$(usex python)
+		-DFORCE_PYTHON3=$(usex python)
+		-DENABLE_TESTING=OFF
+	)
+	cmake_src_configure
+}

diff --git a/sci-mathematics/cryptominisat/metadata.xml b/sci-mathematics/cryptominisat/metadata.xml
new file mode 100644
index 000000000000..694a2c352cda
--- /dev/null
+++ b/sci-mathematics/cryptominisat/metadata.xml
@@ -0,0 +1,20 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+  <maintainer type="project">
+    <email>sci-mathematics@g.o</email>
+    <name>Gentoo Mathematics Project</name>
+  </maintainer>
+  <longdescription>
+    This system provides CryptoMiniSat, an advanced incremental SAT solver.
+    The system has 3 interfaces: command-line, C++ library and python.
+    The command-line interface takes a cnf as an input in the DIMACS format
+    with the extension of XOR clauses. The C++ and python interface mimics this
+    and also allows for incremental use: assumptions and multiple solve calls.
+  </longdescription>
+  <upstream>
+    <bugs-to>https://github.com/msoos/cryptominisat/issues/</bugs-to>
+    <remote-id type="github">msoos/cryptominisat</remote-id>
+  </upstream>
+</pkgmetadata>