我正在尝试编译 coremarks 以对我生成的 CPU 核心之一进行基准测试（从这里：https://gitlab.com/incoresemi/core-generators/benchmarks/-/tree/master）。
我收到以下错误：
In file included from common/syscalls.c:3:
/usr/lib/gcc/riscv64-unknown-elf/10.2.0/include/stdint.h:9:16: fatal error: stdint.h: No such file or directory
9 | # include_next <stdint.h>
| ^~~~~~~~~~
compilation terminated.
make: *** [Makefile:58: coremarks] Error 1
我已经安装了 riscv 工具链。我也尝试安装libc6-dev，avr-libc当我在网上的一些答案中读到这一点时。
我该如何解决这个问题？
感谢您提前抽出时间。