commit bb2993cfb1348c4bf2cee7220ca844aaf8d8f263
Author: Jakub Bogusz <[email protected]>
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
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
