The trunk autobuild is now using the EABI build (gcc-arm-none-eabi-4_9-2015q3-20150921-linux.tar.bz2 from
https://launchpad.net/gcc-arm-embedded/+download)
I've verified that the current build loads and boots on d10.
For anyone else who wants to use this on linux, note that it is a 32 bit binary. 64 distros should be able to run it without problems, but if you've never installed any other 32 bit applications, you may need to add support.
The specific commands to do this will depend on the distro.
On Debian this goes something like
dpkg --add-architecture i386
apt-get update
apt-get install libc6:i386
To see if the first step has already been done, check if
dpkg --print-foreign-architectures
prints "i386"
Note that other debian-based distros (like Ubuntu) may use different commands.
Native 64 bit toolchains are available from linaro (e.g.
https://releases.linaro.org/15.02/components/toolchain/binaries/arm-none-eabi/) but require glibc 2.14 which may be too new for some older distros.
After 1.4 is released, we should update the wiki to suggest these pre-built toolchains for linux, since using them is generally a lot easier than configuring your own.