diff options
| author |   WANG Xuerui <xen0n@gentoo.org> | 2022-10-06 15:18:13 +0800 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2022-10-28 16:56:25 +0100 |
| commit | c7302e8af4a0b04bad97c53bb94c71e175117f2a (patch) | |
| tree | 9570df39d12e257e20c0bddbf0e1d61419df28a6 /dev-lang/jsonnet/files | |
| parent | media-video/vlc: fix build w/ gcc 13 (diff) | |
| download | gentoo-c7302e8af4a0b04bad97c53bb94c71e175117f2a.tar.gz gentoo-c7302e8af4a0b04bad97c53bb94c71e175117f2a.tar.bz2 gentoo-c7302e8af4a0b04bad97c53bb94c71e175117f2a.zip | |
dev-lang/jsonnet: fix build on gcc-13
Earlier versions couldn't be tested due to ancient versions of Python
being unavailable, but the patch may apply as well.
Closes: https://bugs.gentoo.org/875569
Closes: https://github.com/gentoo/gentoo/pull/27657
Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-lang/jsonnet/files')
| -rw-r--r-- | dev-lang/jsonnet/files/jsonnet-0.18.0-gcc-13.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/dev-lang/jsonnet/files/jsonnet-0.18.0-gcc-13.patch b/dev-lang/jsonnet/files/jsonnet-0.18.0-gcc-13.patch new file mode 100644 index 000000000000..b2adca81a351 --- /dev/null +++ b/dev-lang/jsonnet/files/jsonnet-0.18.0-gcc-13.patch @@ -0,0 +1,18 @@ +https://github.com/google/jsonnet/pull/1020 +From: WANG Xuerui <git@xen0n.name> +Date: Thu, 6 Oct 2022 15:04:47 +0800 +Subject: [PATCH] Add #include <cstdint> for gcc-13 builds + +See https://gcc.gnu.org/gcc-13/porting_to.html#header-dep-changes. + +This fixes Gentoo bug https://bugs.gentoo.org/875569. +--- a/include/libjsonnet++.h ++++ b/include/libjsonnet++.h +@@ -17,6 +17,7 @@ limitations under the License. + #ifndef CPP_JSONNET_H_ + #define CPP_JSONNET_H_ + ++#include <cstdint> + #include <cstring> + #include <functional> + #include <map> |