From af736baab265afb0a455412cc7df07c43d225cbd Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Jan 18 2023 02:27:15 +0000
Subject: Add -include patch for GCC 13 compatibility.


---

diff --git a/cryptominisat-include.patch b/cryptominisat-include.patch
new file mode 100644
index 0000000..bad8ed5
--- /dev/null
+++ b/cryptominisat-include.patch
@@ -0,0 +1,10 @@
+--- src/ccnr.h.orig	2020-07-06 15:45:41.000000000 -0600
++++ src/ccnr.h	2023-01-17 19:24:13.235505927 -0700
+@@ -25,6 +25,7 @@ THE SOFTWARE.
+ 
+ #include <string>
+ #include <vector>
++#include <cstdint>
+ #include "ccnr_mersenne.h"
+ 
+ using std::vector;
diff --git a/cryptominisat.spec b/cryptominisat.spec
index 375e399..9569291 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -17,6 +17,8 @@ Source0:        https://github.com/msoos/%{name}/archive/%{version}/%{name}-%{ve
 Patch0:         %{name}-cmake.patch
 # Use setuptools instead of distutils (bz 2154857)
 Patch1:         %{name}-setuptools.patch
+# Add a missing #include statement
+Patch2:         %{name}-include.patch
 
 BuildRequires:  boost-devel
 BuildRequires:  chrpath
@@ -122,6 +124,9 @@ chrpath -d %{buildroot}%{python3_sitearch}/pycryptosat*.so
 %{python3_sitearch}/pycryptosat*
 
 %changelog
+* Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 5.8.0-11
+- Add -include patch for GCC 13 compatibility
+
 * Mon Dec 19 2022 Jerry James <loganjerry@gmail.com> - 5.8.0-11
 - Use setuptools instead of distutils (rhbz#2154857)