https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87777
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |WAITING Last reconfirmed| |2018-11-03 CC| |ebotcazou at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Many problems have been caused by the fact that tools like gnatmake call > other tools like gcc without an explicit target or version. > The Osint.Program_Name function has been created in order to compute the > name of the right gcc subcommand. > The attached patch improves it for Debian, but as described in the header > most changes may be applied upstream. Yes, I think that it would be worth considering , especially the gnatchop bits, once purged from the Debian quirks, so please consider splitting the patch and providing a ChangeLog in the process.