Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Backports:SLE-15-SP6
z3
0001-Fix-building-with-gcc-13-6723.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0001-Fix-building-with-gcc-13-6723.patch of Package z3
From: =?UTF-8?q?Tomasz=20K=C5=82oczko?= <31284574+kloczek@users.noreply.github.com> Date: Sat, 13 May 2023 17:37:35 +0100 Subject: Fix building with gcc 13 (#6723) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Patch-mainline: yes Git-commit: 520e692a43c41e8981eb091494bef0297ecbe3c6 References: build fix Trivial fix to build with gcc 13 reported in #6722. Signed-off-by: Tomasz Kłoczko <kloczek@github.com> Signed-off-by: Jiri Slaby <jslaby@suse.cz> --- src/util/tptr.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/util/tptr.h b/src/util/tptr.h index 6213b2ef..2a35af53 100644 --- a/src/util/tptr.h +++ b/src/util/tptr.h @@ -20,6 +20,7 @@ Revision History: #pragma once #include "util/machine.h" +#include <cstdint> #define TAG_SHIFT PTR_ALIGNMENT #define ALIGNMENT_VALUE (1 << PTR_ALIGNMENT) -- 2.35.3
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor