From 0a7bb5403d0290cea8b2356179d92e4c61ffd51d Mon Sep 17 00:00:00 2001 From: Julien Olivain Date: Wed, 15 Mar 2023 21:24:38 +0100 Subject: fesvr: fix compilation with gcc 13 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Compiling spike with gcc 13 (for example, included in Fedora 38 prerelease) fails with error: In file included from fesvr/syscall.h:6, from fesvr/syscall.cc:4: fesvr/device.h:15:30: error: ‘uint64_t’ was not declared in this scope 15 | typedef std::function callback_t; | ^~~~~~~~ This is due to a gcc header dependency change. See for reference: https://gcc.gnu.org/gcc-13/porting_to.html#header-dep-changes This commit explicitly adds the missing header inclusion to fix this build failure. Signed-off-by: Julien Olivain --- fesvr/device.h | 1 + 1 file changed, 1 insertion(+) diff --git a/fesvr/device.h b/fesvr/device.h index 1387b74..639b837 100644 --- a/fesvr/device.h +++ b/fesvr/device.h @@ -6,6 +6,7 @@ #include #include #include +#include class memif_t; -- cgit v1.1