On 17.02.2016 10:31, Svante Signell wrote:
Source: gcc-5 Version: 5.3.1-8 Severity: important Usertags: gnat-5Hi, Due to the Debian patch ada-gcc-name.diff the name of gcc becomes gcc-5-5 instead of gcc-5. This is easily shown with: /usr/bin/gnatchop -v fc51b00.a where fcb51b.a is located at src/gcc/testsuite/ada/acats/support/ (same when run as a shell command) GNATCHOP 5.3.1 Copyright (C) 1998-2015, Free Software Foundation, Inc. gcc-5-5: installation problem, executable not found no source files written However, issuing the command directly via path works: gnatchop -v fc51b00.a GNATCHOP 5.3.1 Copyright (C) 1998-2015, Free Software Foundation, Inc. /usr/bin/gcc-5 -c -x ada -gnats -gnatu fc51b00.a splitting fc51b00.a into: fc51b00.ads with: which gnatchop /usr/bin/gnatchop Strange, isn't it?
this might be a bad merge/update; Ludovic, Nicolas, could you have a look? GCC 6 likely has the same issue.
Matthias

