stdint.h: No such file or directory

[aacco]

When I do make at ev3dev-c/source/ev3,I got below error:

arm-linux-gnueabi-gcc -I. -I../../3d_party -Iev3_link -O2 -std=gnu99 -W -Wall -Wno-comment -fPIC -c ../../3d_party/modp_numtoa.c -o ../../object/./modp_numtoa.o
In file included from ../../3d_party/modp_numtoa.h:37,
                 from ../../3d_party/modp_numtoa.c:4:
/usr/lib/gcc/arm-linux-gnueabi/8.1.0/include/stdint.h:9:16: fatal error: stdint.h: No such file or directory
 # include_next <stdint.h>
                ^~~~~~~~~~
compilation terminated.
make: *** [makefile:294: ../../object/./modp_numtoa.o] Error 1

environment: archlinux(May 8,18) arm-linux-gnueabi: 8.1.0

I have no idea. What should I do?

Thank you.

[in4lio]

Looks like some problem with the cross-compiler. The most suitable approach is compiling using Docker image.

[aacco]

Thank you so much!