You are reading a single comment by @n00b and its replies.
Click here to read the full conversation.
-
Thanks, that was what I did. It downloaded the idf and extensa stuff into folders, but running make command printed a couple of the ‘cannot execute binary file’ errors.
The ESP32 page in Espruino mentioned getting build tools beforehand but
apt-get build-toolsas example given does not run on Mac OS. I wonder if I’m missing that step.
n00b
Try
source scripts/provision.sh ESP32. That should download & set up the toolchain.