blob: b2adca81a35190fa7c0ee72861be6ed6b94fdf5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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>
|
