diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-04-18 14:59:27 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-04-18 15:55:09 +0200 |
| commit | adc145bc60a27b69c8d00f1eb7e44f33cd57be44 (patch) | |
| tree | f15e5980687820166e02f5e106c1e9f26964a4ae /sci-mathematics | |
| parent | sci-mathematics/cryptominisat: drop old 5.8.0 (diff) | |
| download | gentoo-adc145bc60a27b69c8d00f1eb7e44f33cd57be44.tar.gz gentoo-adc145bc60a27b69c8d00f1eb7e44f33cd57be44.tar.bz2 gentoo-adc145bc60a27b69c8d00f1eb7e44f33cd57be44.zip | |
sci-mathematics/cryptominisat: fix build with GCC 13
Closes: https://bugs.gentoo.org/895116
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/cryptominisat/cryptominisat-5.11.4.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/cryptominisat/files/cryptominisat-5.11.4-gcc-13.patch | 11 |
2 files changed, 13 insertions, 0 deletions
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" |