[packages/z3] - added includes patch (missing <cstdint> include); release 2

[qboosh]

commit bb2993cfb1348c4bf2cee7220ca844aaf8d8f263
Author: Jakub Bogusz <qboosh at pld-linux.org>
Date:   Sat Nov 11 19:54:55 2023 +0100

    - added includes patch (missing <cstdint> include); release 2

 z3-includes.patch | 11 +++++++++++
 z3.spec           |  4 +++-
 2 files changed, 14 insertions(+), 1 deletion(-)
---
diff --git a/z3.spec b/z3.spec
index 4d5d05d..bd50a87 100644
--- a/z3.spec
+++ b/z3.spec
@@ -18,7 +18,7 @@ Summary:	High-performance theorem prover developed at Microsoft Research
 Summary(pl.UTF-8):	Wydajne narzędzie do dowodzenia twierdzeń tworzone przez Microsoft Research
 Name:		z3
 Version:	4.12.2
-Release:	1
+Release:	2
 License:	MIT
 Group:		Applications/Engineering
 #Source0Download: https://github.com/Z3Prover/z3/releases
@@ -26,6 +26,7 @@ Source0:	https://github.com/Z3Prover/z3/archive/z3-%{version}.tar.gz
 # Source0-md5:	4061317f7948c19abd13041c5a32b057
 Patch0:		%{name}-pld.patch
 Patch1:		%{name}-sse.patch
+Patch2:		%{name}-includes.patch
 URL:		https://github.com/Z3Prover/z3
 BuildRequires:	cmake >= 3.4
 %{?with_apidocs:BuildRequires:	doxygen}
@@ -133,6 +134,7 @@ API języka Python do biblioteki dowodzenia twierdzeń Z3.
 %setup -q -n z3-z3-%{version}
 %patch0 -p1
 %patch1 -p1
+%patch2 -p1
 
 %if %{without sse2}
 # no cmake option to disable, just architecture+compiler check
diff --git a/z3-includes.patch b/z3-includes.patch
new file mode 100644
index 0000000..3a6784a
--- /dev/null
+++ b/z3-includes.patch
@@ -0,0 +1,11 @@
+--- z3-z3-4.12.2/src/util/tptr.h.orig	2023-05-12 21:59:04.000000000 +0200
++++ z3-z3-4.12.2/src/util/tptr.h	2023-11-11 19:34:59.863929393 +0100
+@@ -19,6 +19,8 @@ Revision History:
+ 
+ #pragma once
+ 
++#include <cstdint>
++
+ #include "util/machine.h"
+ 
+ #define TAG_SHIFT        PTR_ALIGNMENT
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/z3.git/commitdiff/bb2993cfb1348c4bf2cee7220ca844aaf8d8f263