Package: gnat-5,gnat-6,gnat-7 Severity: important X-Debbugs-CC: Svante Signell <svante.sign...@gmail.com>
The recent gcc-5 upload with the ada-gcc-name patch removed results in build failures, because gnatmake now calls /usr/bin/gcc (which points to gcc-6), and doesn't find an installed gnat1 binary [1]. So I think that the workaround from #814978 only works for the default gnat version, and we should properly fix this issue. Just adding gnat-6 as a build dependency won't help, because we cannot assume that a newer gnat is able to build an older gnat. So we need to investigate where the doubled suffix comes from. [1] https://buildd.debian.org/status/fetch.php?pkg=gcc-5&arch=amd64&ver=5.4.1-6&stamp=1488135841&raw=0