From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path: <gentoo-commits+bounces-1352863-garchives=archives.gentoo.org@lists.gentoo.org>
Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (2048 bits))
(No client certificate requested)
by finch.gentoo.org (Postfix) with ESMTPS id 45674158086
for <garchives@archives.gentoo.org>; Sun, 26 Dec 2021 15:41:29 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
by pigeon.gentoo.org (Postfix) with SMTP id 5BC5EE0809;
Sun, 26 Dec 2021 15:41:28 +0000 (UTC)
Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(No client certificate requested)
by pigeon.gentoo.org (Postfix) with ESMTPS id A1723E0809
for <gentoo-commits@lists.gentoo.org>; Sun, 26 Dec 2021 15:41:27 +0000 (UTC)
Received: from oystercatcher.gentoo.org (unknown [IPv6:2a01:4f8:202:4333:225:90ff:fed9:fc84])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256)
(No client certificate requested)
by smtp.gentoo.org (Postfix) with ESMTPS id 3E8C0342EE1
for <gentoo-commits@lists.gentoo.org>; Sun, 26 Dec 2021 15:41:26 +0000 (UTC)
Received: from localhost.localdomain (localhost [IPv6:::1])
by oystercatcher.gentoo.org (Postfix) with ESMTP id 9845F1FB
for <gentoo-commits@lists.gentoo.org>; Sun, 26 Dec 2021 15:41:24 +0000 (UTC)
From: "Maciej Barć" <xgqt@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Content-Transfer-Encoding: 8bit
Content-type: text/plain; charset=UTF-8
Reply-To: gentoo-dev@lists.gentoo.org, "Maciej Barć" <xgqt@gentoo.org>
Message-ID: <1640533282.c544a910fcb78324a9001fbe6c1bc4931e47c21f.xgqt@gentoo>
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/minisat/
X-VCS-Repository: repo/gentoo
X-VCS-Files: sci-mathematics/minisat/Manifest sci-mathematics/minisat/metadata.xml sci-mathematics/minisat/minisat-2.2.1.ebuild
X-VCS-Directories: sci-mathematics/minisat/
X-VCS-Committer: xgqt
X-VCS-Committer-Name: Maciej Barć
X-VCS-Revision: c544a910fcb78324a9001fbe6c1bc4931e47c21f
X-VCS-Branch: master
Date: Sun, 26 Dec 2021 15:41:24 +0000 (UTC)
Precedence: bulk
List-Post: <mailto:gentoo-commits@lists.gentoo.org>
List-Help: <mailto:gentoo-commits+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-commits+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-commits+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-commits.gentoo.org>
X-BeenThere: gentoo-commits@lists.gentoo.org
X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply
X-Archives-Salt: fccac44a-8764-48b0-9e4e-7be720d08f68
X-Archives-Hash: f516ea9ce0a464da412baedd95a763a5
commit: c544a910fcb78324a9001fbe6c1bc4931e47c21f
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sun Dec 26 15:19:38 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sun Dec 26 15:41:22 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c544a910
sci-mathematics/minisat: bump to 2.2.1
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/minisat/Manifest | 1 +
sci-mathematics/minisat/metadata.xml | 31 +++++++++++++++++++++-------
sci-mathematics/minisat/minisat-2.2.1.ebuild | 29 ++++++++++++++++++++++++++
3 files changed, 54 insertions(+), 7 deletions(-)
diff --git a/sci-mathematics/minisat/Manifest b/sci-mathematics/minisat/Manifest
index 4f851e3ea3c4..672e6b24bfa1 100644
--- a/sci-mathematics/minisat/Manifest
+++ b/sci-mathematics/minisat/Manifest
@@ -1,2 +1,3 @@
DIST MiniSat.pdf 327416 BLAKE2B 77f77d763c9554680b4c5e1688801e8462102e8ddbcc3b53badccee17a98f935ef0e971a636abeb04021a2b3a3e9d6acfe4828b5dd20e6ef8733d71788cc31b0 SHA512 94e70c721740c0b7fd52621c7a5e43dd9207eed92e60a1c64ee63b541b9861d2580d14ba64c49c6c4f273ac028ded43bc944c71131e51693cdd7d1763af582f6
DIST minisat-2.2.0_p20130925.tar.gz 49544 BLAKE2B 8c6893fb6c604140609c36cc912c02a73c1f2726d7f399595c50d674aff69c57f9c4914da6d95c37a46fefc218dd4b0550645bd7058d46640d08103e2a4ec333 SHA512 37fc35cc4f3104d7f0e8ee9f7123fc34e175df578658266799d809d71d6cf081e811919f304a02f6cb9c3827d308e59408149d63d1d1e7c6d0b495350f93b3d9
+DIST minisat-2.2.1.tar.gz 50485 BLAKE2B 58c292f0b90dd459fa29fadbf9e2b20106406c08df9ce98f40138b12a8f001b4ab72f661815d1254c6c90158c3d6e3df339c784552605a935ebc5e703b2d8768 SHA512 a69734e1a70fe056f9dfd479fe4e6e25bc418d3631c1c2d0dea1190ffe9f86b1fc5e9aabaf3772a752fe654551f1e84e47fcb8655f6fe25176efc8d8bc96c663
diff --git a/sci-mathematics/minisat/metadata.xml b/sci-mathematics/minisat/metadata.xml
index 970536799081..812aa0c09202 100644
--- a/sci-mathematics/minisat/metadata.xml
+++ b/sci-mathematics/minisat/metadata.xml
@@ -1,11 +1,28 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
<pkgmetadata>
- <maintainer type="project">
- <email>sci@gentoo.org</email>
- <name>Gentoo Science Project</name>
- </maintainer>
- <upstream>
- <remote-id type="github">niklasso/minisat</remote-id>
- </upstream>
+ <maintainer type="project">
+ <email>sci@gentoo.org</email>
+ <name>Gentoo Science Project</name>
+ </maintainer>
+ <longdescription>
+ MiniSat is a minimalistic, open-source SAT solver, developed to help
+ researchers and developers alike to get started on SAT. It is released
+ under the MIT licence, and is currently used in a number of projects.
+ MiniSat is small and well-documented, and possibly also well-designed,
+ making it an ideal starting point for adapting SAT based techniques to
+ domain specific problems.
+ Winning all the industrial categories of the SAT 2005 competition, MiniSat
+ is a good starting point both for future research in SAT, and for
+ applications using SAT.
+ MiniSat supports incremental SAT and has mechanisms for adding non-clausal
+ constraints. By virtue of being easy to modify, it is a good choice for
+ integrating as a backend to another tool, such as a model checker or a more
+ generic constraint solver.
+ </longdescription>
+ <upstream>
+ <remote-id type="github">niklasso/minisat</remote-id>
+ <remote-id type="github">stp/minisat</remote-id>
+ </upstream>
</pkgmetadata>
diff --git a/sci-mathematics/minisat/minisat-2.2.1.ebuild b/sci-mathematics/minisat/minisat-2.2.1.ebuild
new file mode 100644
index 000000000000..360c5a33082b
--- /dev/null
+++ b/sci-mathematics/minisat/minisat-2.2.1.ebuild
@@ -0,0 +1,29 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit cmake
+
+DESCRIPTION="Small yet efficient SAT solver with reference paper"
+HOMEPAGE="http://minisat.se/Main.html"
+SRC_URI="https://github.com/stp/${PN}/archive/releases/${PV}.tar.gz -> ${P}.tar.gz
+ doc? ( http://minisat.se/downloads/MiniSat.pdf )"
+S="${WORKDIR}/${PN}-releases-${PV}"
+
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+LICENSE="MIT"
+IUSE="doc"
+
+RDEPEND="sys-libs/zlib:="
+DEPEND="${RDEPEND}"
+
+src_install() {
+ cmake_src_install
+
+ mv "${D}"/usr/lib "${D}"/usr/$(get_libdir) || die
+ dosym libminisat.a /usr/$(get_libdir)/libMiniSat.a
+
+ use doc && dodoc "${DISTDIR}"/MiniSat.pdf
+}