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

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

commit:     adc145bc60a27b69c8d00f1eb7e44f33cd57be44
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Apr 18 12:59:27 2023 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Apr 18 13:55:09 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=adc145bc

sci-mathematics/cryptominisat: fix build with GCC 13

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

 sci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuild     |  2 ++
 .../cryptominisat/files/cryptominisat-5.11.4-gcc-13.patch     | 11 +++++++++++
 2 files changed, 13 insertions(+)

diff --git a/sci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuild b/sci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuild
index a4f699cc2afd..6ff76af75ca2 100644
--- a/sci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuild
+++ b/sci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuild
@@ -21,6 +21,8 @@ RDEPEND="
 "
 DEPEND="${RDEPEND}"
 
+PATCHES=( "${FILESDIR}"/${PN}-5.11.4-gcc-13.patch )
+
 src_configure() {
 	local -a mycmakeargs=(
 		-DNOBREAKID=ON

diff --git a/sci-mathematics/cryptominisat/files/cryptominisat-5.11.4-gcc-13.patch b/sci-mathematics/cryptominisat/files/cryptominisat-5.11.4-gcc-13.patch
new file mode 100644
index 000000000000..e9c7fade75fe
--- /dev/null
+++ b/sci-mathematics/cryptominisat/files/cryptominisat-5.11.4-gcc-13.patch
@@ -0,0 +1,11 @@
+index 0cf7910..54cb45e 100644
+--- a/src/ccnr.h
++++ b/src/ccnr.h
+@@ -23,6 +23,7 @@ THE SOFTWARE.
+ #ifndef CCNR_H
+ #define CCNR_H
+ 
++#include <cstdint>
+ #include <string>
+ #include <vector>
+ #include "ccnr_mersenne.h"