https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87777
Bug ID: 87777
Summary: Let gnat tools call each other with an explicit target
and version
Product: gcc
Version: 9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: nicolas.boulenguez at free dot fr
Target Milestone: ---
Created attachment 44913
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44913&action=edit
The patch as applied by Debian.
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.
