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>[email protected]</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"
+}
