stdint.h: 해당 파일이나 디렉터리가 없습니다.

생성된 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

이 문제를 어떻게 해결할 수 있나요?

시간을 내주셔서 감사합니다.