I tried to compile Ripes from git, as outlined in that README, and hit the following issue:
compilation failed with
Ripes/external/VSRTL/interface/vsrtl_vcdfile.h:32:49: error: ‘uint64_t’ has not been declared
32 | void writeVarChange(const std::string& ref, uint64_t value);
Good morning,
I tried to compile Ripes from git, as outlined in that README, and hit the following issue:
compilation failed with
simply adding
#include <cstdint>
after https://github.com/mortbopet/VSRTL/blob/a7f17baf2f5cee4a9946d987a74348ab75375d25/interface/vsrtl_vcdfile.h#L7fixed the issue for me.
By the way, I am using Arch Linux and gcc 13.2.1