From 2eaa9fc386ea71ac74bf6901c8e46feb5c4cd2f3 Mon Sep 17 00:00:00 2001
From: Rmys <muscnsl@hotmail.com>
Date: Sun, 18 Aug 2024 16:13:20 +0300
Subject: [PATCH] z3 rebuild

---
 programming/library/z3/files/gcc13.patch | 11 +++++++++++
 programming/library/z3/pspec.xml         |  2 +-
 2 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 programming/library/z3/files/gcc13.patch

diff --git a/programming/library/z3/files/gcc13.patch b/programming/library/z3/files/gcc13.patch
new file mode 100644
index 0000000000..7225f7761b
--- /dev/null
+++ b/programming/library/z3/files/gcc13.patch
@@ -0,0 +1,11 @@
+diff -Nuar a/src/util/tptr.h b/src/util/tptr.h
+--- a/src/util/tptr.h	2023-05-12 22:59:04.000000000 +0300
++++ b/src/util/tptr.h	2024-08-18 16:11:47.811835655 +0300
+@@ -20,6 +20,7 @@
+ #pragma once
+ 
+ #include "util/machine.h"
++#include <stdint.h>
+ 
+ #define TAG_SHIFT        PTR_ALIGNMENT
+ #define ALIGNMENT_VALUE  (1 << PTR_ALIGNMENT)
diff --git a/programming/library/z3/pspec.xml b/programming/library/z3/pspec.xml
index c433a9d799..5b141e064b 100644
--- a/programming/library/z3/pspec.xml
+++ b/programming/library/z3/pspec.xml
@@ -22,7 +22,7 @@
 			<Dependency>python3-setuptools</Dependency>
 		</BuildDependencies>
 		<Patches>
-			<!-- <Patch level="1">missing.patch</Patch> -->
+			<Patch level="1">gcc13.patch</Patch>
 		</Patches>
 	</Source>