having trouble building espruino for STM32F411DISCOVERY

which version of GCC is it? try arm-none-eabi-gcc --version.

I usually:

• go here https://launchpad.net/gcc-arm-embedded/+download
  
• Download the Linux tar
  
• Extract it to somewhere in my home directory
  
• Add that to the path
  
  

And then run make.