which version should be used to compile Espruino for ARM on Ubuntu 14.04

Following Building information gcc version 4.8 should be used. Somewhere I've seen changes for GCC 5.something.
Is documentation correct, or should I use a different version ?
My server OS is Ubuntu 14.04, are there any special regulations how to install the compiler ?

Ahh, thanks - I should change that. I believe you can now use any compiler (however for some reason every new release seems to require me to change some part of Espruino!)

There shouldn't be anything specific you need to do for the compiler - just extracting it to a directory in your user's home directory and making sure the path points to the bin directory is enough...

I use this now on Mint 17.3 64 bit.
gcc-arm-none-eabi-5_3-2016q1

some hours later, ...

• 1st tried to extract from https://launchpad.net/gcc-arm-embedded/+download into a directory, added this to path and failed with "file or directory not found" Strange since ls shows the file, anyway my knowledge is hmm. So I'm pretty sure, this idea is hmm, ...
  
• 2nd installed 4.8.3 using apt-get, compilation with ESPRUINO_1V3=1 make runs fine, linking gives error section .text' will not fit in regionFLASH'
  
• 3rd installed 5.3 from ppa:team-gcc-arm-embedded/ppa, same situation, compilation runs fine, linking gives error section .text' will not fit in regionFLASH'
  
• 4th FAIL tried to create pico firmware with PICO_1V3=1 make and got FAIL - size of 348696 is over 327680 bytes
  
  

BTW, compilation of Espruino for ESP8266 runs fine.

You need to use RELEASE=1 ESPRUINO_1V3=1 make

Sadly there is now so much stuff in Espruino that you can't compile a non-release version (with the debug tests in) without first disabling a few features.