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

["Maciej Barć" <xgqt@gentoo.org>]

commit:     292ba8f849c4bfff03e68225287e22cea8f621a5
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jun 12 22:45:25 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jun 12 23:40:24 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=292ba8f8

sci-mathematics/cryptominisat: patch unistd include

Closes: https://bugs.gentoo.org/895118
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild   |  4 ++++
 .../cryptominisat/files/cryptominisat-5.11.21-unistd.patch   | 12 ++++++++++++
 2 files changed, 16 insertions(+)

diff --git a/sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild b/sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild
index 4beb16299f8c..7de12b4067d1 100644
--- a/sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild
+++ b/sci-mathematics/cryptominisat/cryptominisat-5.11.21.ebuild
@@ -31,6 +31,10 @@ DEPEND="
 	${RDEPEND}
 "
 
+PATCHES=(
+	"${FILESDIR}/${PN}-5.11.21-unistd.patch"
+)
+
 src_configure() {
 	local -a mycmakeargs=(
 		-DNOBREAKID=ON

diff --git a/sci-mathematics/cryptominisat/files/cryptominisat-5.11.21-unistd.patch b/sci-mathematics/cryptominisat/files/cryptominisat-5.11.21-unistd.patch
new file mode 100644
index 000000000000..c64228a17862
--- /dev/null
+++ b/sci-mathematics/cryptominisat/files/cryptominisat-5.11.21-unistd.patch
@@ -0,0 +1,12 @@
+index f0a9e33..85286be 100644
+--- a/src/picosat/picosat.c
++++ b/src/picosat/picosat.c
+@@ -8148,7 +8148,7 @@ picosat_stats (PS * ps)
+ #else
+ #include <sys/time.h>
+ #include <sys/resource.h>
+-#include <sys/unistd.h>
++#include <unistd.h>
+ #endif
+ 
+ double