aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJulien Olivain <ju.o@free.fr>2023-03-15 21:24:38 +0100
committerJulien Olivain <ju.o@free.fr>2023-03-15 21:24:38 +0100
commit0a7bb5403d0290cea8b2356179d92e4c61ffd51d (patch)
tree99e4b7a171e66f0bd675d91190ff311554c83f54
parenta35865f0f5559d8af81920b2d832e15af6caa123 (diff)
downloadspike-0a7bb5403d0290cea8b2356179d92e4c61ffd51d.zip
spike-0a7bb5403d0290cea8b2356179d92e4c61ffd51d.tar.gz
spike-0a7bb5403d0290cea8b2356179d92e4c61ffd51d.tar.bz2
fesvr: fix compilation with gcc 13
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<void(uint64_t)> 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 <cstdint> header inclusion to fix this build failure. Signed-off-by: Julien Olivain <ju.o@free.fr>
-rw-r--r--fesvr/device.h1
1 files changed, 1 insertions, 0 deletions
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 <cstring>
#include <string>
#include <functional>
+#include <cstdint>
class memif_t;