stdint.h: そのファイルやディレクトリはありません。

生成されたCPUコアの1つをベンチマークするためにコアマークをコンパイルしようとしています（ここでは：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

この問題をどのように解決できますか？

お時間をいただきありがとうございます。