Is Dietpi for developers

General Discussion
8

Thank you for your response Actually I am running Pine64 2GB Ram version that I purchase during the Kickstart funding few years ago
I did try running those two test seperately and they RUN fine its only during the run_tests it fails on those two test
Here are the output you request for me to share https://pastebin.pl/view/7c983b9b
Notice it also skips certain test perhaps those are not important

If you ask me since when I run the Make command make -j nproc BOARD=pinetime all
It does give me error regarding stdint.h not found

 In file included from src/main.c:36:0:
/usr/lib/gcc/arm-none-eabi/7.3.1/include/stdint.h:9:16: fatal error: stdint.h: No such file or directory
 # include_next <stdint.h>

So my guess it there is a package of bash script that needs to be installed to it finds all the dot h extensions
It a matter of configure the PACKAGE PATH in dietpi as the find command does find the stdint.h file

root@Rajpi:/# find -name stdint.h
./usr/include/stdint.h
./usr/include/c++/8/tr1/stdint.h
./usr/lib/gcc/aarch64-linux-gnu/8/include/stdint.h
./usr/lib/gcc/arm-none-eabi/7.3.1/include/stdint.h
./root/micropython/lib/tinyusb/hw/mcu/sony/cxd56/spresense-exported-sdk/nuttx/include/stdint.h
./root/micropython/lib/pico-sdk/lib/tinyusb/hw/mcu/sony/cxd56/spresense-exported-sdk/nuttx/include/stdint.h
root@Rajpi:/#

I found this thread [u]https://dietpi.com/forum/t/add-script-path-to-path/1799/1]
maybe I just need to update the etc/profile
Here is my echo PATH

root@Rajpi:/# echo $PATH
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/local/go/bin:/mnt/dietpi_userdata/go/bin
root@Rajpi:/#

SO I added the usr/lib to the above path

root@Rajpi:~/wasp-os/micropython/tests# echo $PATH
/usr/lib/:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/local/go/bin:/mnt/dietpi_userdata/go/bin
root@Rajpi:~/wasp-os/micropython/tests#

STILL I GET The same results when I run make I get Error2 with all dot h file as NOT found
:thinking: I am not sure or should have edited the .bashrc ? but my etc does not have a .bashrc and the echo $LD_LIBRARY_PATH returns BLANK line
ALSO PLEASE NOTE https://pastebin.pl/view/789fc4ba there are so many dot h files and they are not all in one location so may be there is another solution to this problem i am having :face_with_raised_eyebrow: