ESP32-C3 mini

Thank you for your suggestion. It seems however that it does not solve the problem:

yerpj@PC3376:~/Espruino$ source esp-idf-4/esp-idf/export.sh
Setting IDF_PATH to '/home/yerpj/Espruino/esp-idf-4/esp-idf'­
Detecting the Python interpreter
Checking "python" ...
Checking "python3" ...
Python 3.5.2
"python3" has been detected
Adding ESP-IDF tools to PATH...
yerpj@IICT-PC3376:~/Espruino$ sudo BOARD=ESP32C3_IDF4 RELEASE=1 make flash
cp /home/yerpj/Espruino/targets/esp32/IDF4/­sdkconfig_c3 bin/sdkconfig
cp /home/yerpj/Espruino/targets/esp32/IDF4/­CMakeLists.txt bin
cp /home/yerpj/Espruino/targets/esp32/IDF4/­partitions.csv bin
cd bin && idf.py build
/bin/sh: idf.py: command not found
make/targets/ESP32_IDF4.make:46: recipe for target 'bin/espruino_2v21.184_esp32c3.bin' failed
make: *** [bin/espruino_2v21.184_esp32c3.bin] Error 127