You are reading a single comment by @Gordon 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.
@Gordon
It's an older version of gcc I think. Try simply running
source scripts/provision.sh PUCKJS- that should install all the stuff you need (it doesn't do it globally though, and will only put stuff in your path until you close that window).