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.