having trouble building espruino for STM32F411DISCOVERY

The output of:

arm-none-eabi-gcc --version

is:

arm-none-eabi-gcc (4.8.2-14ubuntu1+6) 4.8.2
Copyright (C) 2013 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

so it's not 5.4 like you said earlier. I'll work on the tar-extraction method now.

EDIT

I removed the compiler package with

Then, downloaded the tarball ```gcc-arm-none-eabi-5_4-2016q3-20160926-linux.tar.bz2```

It has a SHA1 hash of ```e87bbefaccbb43d30c084faeb945f4e96e7ec780```

unpacked it into my home folder, and afterward, listing home folder contents with ls:

Desktop Downloads examples.desktop Music Public Videos
Documents Espruino gcc-arm-none-eabi-5_4-2016q3 Pictures Templates

Then I editted the ```/etc/environment``` file to be ```PATH="/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/home/user/gcc-arm-none-eabi-5_4-2016q3"```

Rebooted then ```cd ~/Espruino```.

At this point, ```make``` returns

LD espruino
/usr/bin/ld: cannot find -lstdc++
collect2: error: ld returned 1 exit status
make: *** [espruino] Error 1

and ```STM32F411DISCOVERY=1 RELEASE=1 make``` returns

CC targets/stm32/jshardware.o
make: gcc-arm-none-eabi: Command not found
make: *** [targets/stm32/jshardware.o] Error 127
```