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"
