Paul Colin de Gloucester <Gloster@nicht.at> writes:

> ARM provides a copy of GCC with a customized configuration script
> which is incompatible with the standard switch --enable-languages=ada
> for configure

ARM have released GCC 5.2 (.1), which is not very incompatible with
building GNAT.

The diff I made is at the end (I hope).

I'm building on OS X El Capitan, so there are various other issues with
the script: re-running it starts again at the beginning; it builds with
-static-libgcc, so for example arm-none-eabi-gnatchop -h ends with a
segv; the last section uses GNU tar with options incompatible with Apple
tar; it may not relocate too well. Still, it just built my Arduino Due
testbed OK (I haven't run it yet!).