I installed the gnat-5-arm-linux-gnueabi package from testing, but
arm-linux-gnueabi-gnatmake gave me the following error:
$ arm-linux-gnueabi-gnatmake hello.adb
arm-linux-gnueabi-gnatbind-5 -x hello.ali
arm-linux-gnueabi-gnatlink-5 hello.ali
arm-linux-gnueabi-gnatlink-5: Couldn't locate arm-linux-gnueabi-gcc-5-5
arm-linux-gnueabi-gnatmake: *** link failed.
A simple:
# ln -s /usr/bin/arm-linux-gnueabi-gcc-5 /usr/bin/arm-linux-gnueabi-gcc-5-5
solved the problem.
I guess the -5-5 should have been a single "-5".
# uname -a
Linux <host> 4.3.0-1-amd64 #1 SMP Debian 4.3.5-1 (2016-02-06) x86_64
GNU/Linux
~Per
