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
