c - Debian上没有stdint.h文件

我想用chibios。他们提供的示例代码似乎需要stdint.h文件。makefile给出以下错误：

/usr/lib/gcc/arm-none-eabi/4.8/include/stdint.h:9:26: fatal error: stdint.h: No such file or directory
 # include_next <stdint.h>
                          ^
compilation terminated.
../../os/ports/GCC/ARMCMx/rules.mk:182: recipe for target 'build/obj/crt0.o' failed
make: *** [build/obj/crt0.o] Error 1

我在网上找不到有用的东西。

最佳答案

#include_next用于让一个文件扩充另一个同名文件。在这种情况下，似乎“另一个”不可用。
我在使用LinuxMint中的GCCArm包编译代码时遇到了同样的错误，GCCArmNoneEABI。我通过安装libnewlib arm none eabi来解决这个问题：sudo apt-get install libnewlib-arm-none-eabi