ESP32-C3 mini

OK I really tried to figure it out on my own but I am really stuck. I made the following

• git clone https://github.com/espruino/Espruino.git­
  
• cd Espruino
  
• sudo ./scripts/provision.sh ESP32C3_IDF4 :(there I had to remove some 'f' after the opening parenthesis in outputs like fatal(f'Error while parsing, check checksum file ({err})'), don't know why, but it worked. EDIT: OK this was introduced in Python 3.6 and I am using Python 3.5. Problem solved at this stage.
  

• sudo BOARD=ESP32C3_IDF4 RELEASE=1 make flash: there it stops and says /bin/sh: idf.py: command not found

  yerpj@PC3376:~/Espruino$ sudo BOARD=ESP32C3_IDF4 RELEASE=1 make flash
  MAKE CMAKEFILE
  -I/home/yerpj/Espruino -I/home/yerpj/Espruino/targets -I/home/yerpj/Espruino/src  -I/home/yerpj/Espruino/libs/compression -I/home/yerpj/Espruino/libs/compression/­heatshrink -I/home/yerpj/Espruino/libs/graphics -I/home/yerpj/Espruino/libs/network -I/home/yerpj/Espruino/libs/network -I/home/yerpj/Espruino/libs/network/http­ -I/home/yerpj/Espruino/libs/network/js -I/home/yerpj/Espruino/libs/network/esp3­2 -I/home/yerpj/Espruino/libs/bluetooth -I/home/yerpj/Espruino/libs/neopixel -I/home/yerpj/Espruino/targets/esp32 -I/home/yerpj/Espruino/gen
  ================================== Generating platform configs
  ================================== Generating pin info
  ================================== Generating pin info
  ================================== Generating JS wrappers
  WRAPPERSOURCES = src/jswrap_array.c src/jswrap_arraybuffer.c src/jswrap_dataview.c src/jswrap_date.c src/jswrap_error.c src/jswrap_functions.c src/jswrap_json.c src/jswrap_number.c src/jswrap_object.c src/jswrap_regexp.c src/jswrap_string.c src/jswrap_modules.c src/jswrap_math.c src/jswrap_espruino.c src/jswrap_flash.c src/jswrap_interactive.c src/jswrap_io.c src/jswrap_pin.c src/jswrap_pipe.c src/jswrap_process.c src/jswrap_onewire.c src/jswrap_promise.c src/jswrap_serial.c src/jswrap_storage.c src/jswrap_spi_i2c.c src/jswrap_stepper.c src/jswrap_stream.c src/jswrap_waveform.c libs/compression/jswrap_heatshrink.c libs/graphics/jswrap_graphics.c libs/network/jswrap_net.c libs/network/http/jswrap_http.c libs/network/js/jswrap_jsnetwork.c libs/network/jswrap_wifi.c libs/network/esp32/jswrap_esp32_network.­c targets/esp32/jswrap_esp32.c libs/bluetooth/jswrap_bluetooth.c libs/neopixel/jswrap_neopixel.c
  DEFINES = -DGIT_COMMIT=e3e68c7 -DNO_ASSERT -DRELEASE -DBUILDNUMBER="184" -DESP32C3_IDF4 -DESP_PLATFORM -DESP32=1 -DESP_STACK_SIZE=25000 -DJSVAR_MALLOC -DUSE_FONT_6X8 -DUSE_DEBUGGER -DUSE_TAB_COMPLETE -DUSE_HEATSHRINK -DUSE_GRAPHICS -DUSE_NET -DUSE_NETWORK_JS -DUSE_ESP32 -DBLUETOOTH -DUSE_NEOPIXEL -DESP32 -DESPR_DEFINES_ON_COMMANDLINE -DEMBEDDED
  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
  yerpj@PC3376:~/Espruino$
  

Any idea what I am missing?