[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/minisatp/files/, sci-mathematics/minisatp/

[Alessandro Barbieri]

commit:     47ea62d41d80d071626c566a9efaf6b2bc57ca2d
Author:     Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Fri Apr 29 00:59:33 2022 +0000
Commit:     Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Fri Apr 29 01:47:58 2022 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=47ea62d4

sci-mathematics/minisatp: new package, add 0.1_p20121002

Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>

 sci-mathematics/minisatp/Manifest                  |  1 +
 .../files/minisatp-0.1_p20121002-find-gmp.patch    | 25 ++++++++++++
 .../minisatp-0.1_p20121002-fix-build-errors.patch  | 41 +++++++++++++++++++
 sci-mathematics/minisatp/metadata.xml              | 12 ++++++
 .../minisatp/minisatp-0.1_p20121002.ebuild         | 46 ++++++++++++++++++++++
 5 files changed, 125 insertions(+)

diff --git a/sci-mathematics/minisatp/Manifest b/sci-mathematics/minisatp/Manifest
new file mode 100644
index 000000000..dbe60d53f
--- /dev/null
+++ b/sci-mathematics/minisatp/Manifest
@@ -0,0 +1 @@
+DIST minisatp-0.1_p20121002.tar.gz 47256 BLAKE2B e03d626cad913f4587d356a891e93e5031804912dc9794e0c6b7646aaa78c5d4ac015c927d36d2c8f57018301662b216efbdc47e56c9cee090920f63c613149d SHA512 01ebcd02fe195cccc06c4a579676ce5d72adce075fea4bb44f687e7f1865313346f6b7805b1d6230a97a3d1a5827c18f621dc2ad3e7c6bd2a7d955b459b01eaa

diff --git a/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-find-gmp.patch b/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-find-gmp.patch
new file mode 100644
index 000000000..57619871c
--- /dev/null
+++ b/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-find-gmp.patch
@@ -0,0 +1,25 @@
+--- a/CMakeLists.txt	2022-04-29 02:03:45.823385000 +0200
++++ b/CMakeLists.txt	2022-04-29 02:08:46.208369263 +0200
+@@ -31,8 +31,9 @@
+ #--------------------------------------------------------------------------------------------------
+ # Dependencies:
+ 
+-find_package(GMP REQUIRED)
+-include_directories(${GMP_INCLUDE_DIR})
++find_package(PkgConfig REQUIRED)
++pkg_check_modules(GMP REQUIRED gmp)
++include_directories(${GMP_INCLUDE_DIRS})
+ 
+ include_directories(${minisat_SOURCE_DIR})
+ include_directories(${minisatp_SOURCE_DIR})
+@@ -60,8 +61,8 @@
+ add_library(minisatp-lib-static STATIC ${MINISATP_LIB_SOURCES})
+ add_library(minisatp-lib-shared SHARED ${MINISATP_LIB_SOURCES})
+ 
+-target_link_libraries(minisatp-lib-shared minisat-lib-shared ${GMP_LIBRARY})
+-target_link_libraries(minisatp-lib-static minisat-lib-static ${GMP_LIBRARY})
++target_link_libraries(minisatp-lib-shared minisat gmp)
++target_link_libraries(minisatp-lib-static minisat gmp)
+ 
+ set_target_properties(minisatp-lib-static PROPERTIES OUTPUT_NAME "minisatp")
+ set_target_properties(minisatp-lib-shared 

diff --git a/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-fix-build-errors.patch b/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-fix-build-errors.patch
new file mode 100644
index 000000000..850845f3a
--- /dev/null
+++ b/sci-mathematics/minisatp/files/minisatp-0.1_p20121002-fix-build-errors.patch
@@ -0,0 +1,41 @@
+diff '--color=auto' -ru /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Debug.h minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Debug.h
+--- /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Debug.h	2012-10-02 13:42:07.000000000 +0200
++++ minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Debug.h	2022-04-29 02:47:15.776380427 +0200
+@@ -24,6 +24,10 @@
+ #include "PbSolver.h"
+ #include "FEnv.h"
+ 
++using Minisat::l_True;
++using Minisat::l_False;
++using Minisat::l_Undef;
++using Minisat::toInt;
+ 
+ //=================================================================================================
+ 
+diff '--color=auto' -ru /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Hardware.h minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Hardware.h
+--- /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Hardware.h	2012-10-02 13:42:07.000000000 +0200
++++ minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/Hardware.h	2022-04-29 02:48:41.173081698 +0200
+@@ -23,6 +23,9 @@
+ #include "PbSolver.h"
+ #include "FEnv.h"
+ 
++using Minisat::lit_Undef;
++using Minisat::var_Undef;
++
+ //=================================================================================================
+ 
+ 
+diff '--color=auto' -ru /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/PbSolver.h minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/PbSolver.h
+--- /var/tmp/portage/sci-mathematics/minisatp-0.1_p20121002/work/minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/PbSolver.h	2012-10-02 13:42:07.000000000 +0200
++++ minisatp-d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2/PbSolver.h	2022-04-29 02:46:20.361276449 +0200
+@@ -31,7 +31,9 @@
+ using Minisat::SimpSolver;
+ using Minisat::lbool;
+ using Minisat::mkLit;
+-using Minisat::lit_Undef;
++using Minisat::l_Undef;
++using Minisat::l_True;
++using Minisat::l_False;
+ 
+ //=================================================================================================
+ // Linear -- a class for storing pseudo-boolean constraints:

diff --git a/sci-mathematics/minisatp/metadata.xml b/sci-mathematics/minisatp/metadata.xml
new file mode 100644
index 000000000..c86eec107
--- /dev/null
+++ b/sci-mathematics/minisatp/metadata.xml
@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+  <maintainer type="person">
+    <email>lssndrbarbieri@×××××.com</email>
+    <name>Alessandro Barbieri</name>
+  </maintainer>
+  <upstream>
+    <bugs-to>https://github.com/niklasso/minisatp/issues</bugs-to>
+    <remote-id type="github">niklasso/minisatp</remote-id>
+  </upstream>
+</pkgmetadata>

diff --git a/sci-mathematics/minisatp/minisatp-0.1_p20121002.ebuild b/sci-mathematics/minisatp/minisatp-0.1_p20121002.ebuild
new file mode 100644
index 000000000..ed2fa8bd3
--- /dev/null
+++ b/sci-mathematics/minisatp/minisatp-0.1_p20121002.ebuild
@@ -0,0 +1,46 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+COMMIT="d91742bcd18bf9dc9b5e94f48a4aa59d3c954fd2"
+
+inherit cmake
+
+DESCRIPTION="solver for pseudo-Boolean constraints"
+HOMEPAGE="https://github.com/niklasso/minisatp/tree/master"
+SRC_URI="https://github.com/niklasso/minisatp/archive/${COMMIT}.tar.gz -> ${PF}.tar.gz"
+S="${WORKDIR}/${PN}-${COMMIT}"
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64"
+
+RDEPEND="
+	dev-libs/gmp
+	sci-mathematics/minisat
+	sys-libs/zlib
+"
+DEPEND="${RDEPEND}"
+
+PATCHES=(
+	"${FILESDIR}/${PF}-find-gmp.patch"
+	"${FILESDIR}/${PF}-fix-build-errors.patch"
+)
+
+src_configure() {
+	local mycmakeargs=(
+		-DSTATIC_BINARIES=OFF
+	)
+	cmake_src_configure
+}
+
+src_install() {
+	dodoc README
+	dodoc -r Examples
+	newman doc/minisat+.1 minisatp.1
+	dolib.so "${BUILD_DIR}/libminisatp.so"
+	dolib.so "${BUILD_DIR}/libminisatp.so.1"
+	dolib.so "${BUILD_DIR}/libminisatp.so.1.1.0"
+	dobin "${BUILD_DIR}/minisatp"
+}