You are reading a single comment by @Jean-Philippe_Rey and its replies.
Click here to read the full conversation.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
@Jean-Philippe_Rey
I had another (old) toolchain installed in
/usr/binpreviously installed with apt-get .... :-/Just removed it, run
source scripts/provision.sh PICO_R1_3, which actually installed the correct toolchain and after that I just could compile for my Pico. Thanks for the support Gordon!