Browse Source

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>
pull/1284/head
Julien Olivain 3 years ago
parent
commit
0a7bb5403d
  1. 1
      fesvr/device.h

1
fesvr/device.h

@ -6,6 +6,7 @@
#include <cstring>
#include <string>
#include <functional>
#include <cstdint>
class memif_t;

Loading…
Cancel
Save