https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120106
Bug ID: 120106
Summary: replace hardcoded gnatmake commands with configuration
variables
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: nicolas at debian dot org
CC: dkm at gcc dot gnu.org
Target Milestone: ---
Created attachment 61305
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61305&action=edit
GNATMAKE_FOR_BUILD, build gnat tools with GNATMAKE
Hello.
Code executed on the build machine is compiled with 'gnatmake'.
A GNATMAKE_FOR_BUILD configuration variable would be convenient.
The GNATMAKE configuration variable affects most compilations for the host,
but not the Makefile for the gnat tools.
