Subversion Repositories openrisc

------------------------------------------------------------------------------

--                                                                          --

--                         GNAT COMPILER COMPONENTS                         --

--                                                                          --

--                                 M A K E                                  --

--                                                                          --

--                                 B o d y                                  --

--                                                                          --

--          Copyright (C) 1992-2012, Free Software Foundation, Inc.         --

--                                                                          --

-- GNAT is free software;  you can  redistribute it  and/or modify it under --

-- terms of the  GNU General Public License as published  by the Free Soft- --

-- ware  Foundation;  either version 3,  or (at your option) any later ver- --

-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --

-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --

-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --

-- for  more details.  You should have  received  a copy of the GNU General --

-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --

-- http://www.gnu.org/licenses for a complete copy of the license.          --

--                                                                          --

-- GNAT was originally developed  by the GNAT team at  New York University. --

-- Extensive contributions were provided by Ada Core Technologies Inc.      --

--                                                                          --

------------------------------------------------------------------------------

with ALI;      use ALI;

with ALI.Util; use ALI.Util;

with Csets;

with Debug;

with Errutil;

with Fmap;

with Fname;    use Fname;

with Fname.SF; use Fname.SF;

with Fname.UF; use Fname.UF;

with Gnatvsn;  use Gnatvsn;

with Hostparm; use Hostparm;

with Makeusg;

with Makeutl;  use Makeutl;

with MLib;

with MLib.Prj;

with MLib.Tgt; use MLib.Tgt;

with MLib.Utl;

with Namet;    use Namet;

with Opt;      use Opt;

with Osint.M;  use Osint.M;

with Osint;    use Osint;

with Output;   use Output;

with Prj;      use Prj;

with Prj.Com;

with Prj.Env;

with Prj.Pars;

with Prj.Tree; use Prj.Tree;

with Prj.Util;

with Sdefault;

with SFN_Scan;

with Sinput.P;

with Snames;   use Snames;

pragma Warnings (Off);

with System.HTable;

pragma Warnings (On);

with Switch;   use Switch;

with Switch.M; use Switch.M;

with Table;

with Targparm; use Targparm;

with Tempdir;

with Types;    use Types;

with Ada.Command_Line;          use Ada.Command_Line;

with Ada.Directories;

with Ada.Exceptions;            use Ada.Exceptions;

with GNAT.Case_Util;            use GNAT.Case_Util;

with GNAT.Directory_Operations; use GNAT.Directory_Operations;

with GNAT.Dynamic_HTables;      use GNAT.Dynamic_HTables;

with GNAT.OS_Lib;               use GNAT.OS_Lib;

package body Make is

   use ASCII;

   --  Make control characters visible

   Standard_Library_Package_Body_Name : constant String := "s-stalib.adb";

   --  Every program depends on this package, that must then be checked,

   --  especially when -f and -a are used.

   procedure Kill (Pid : Process_Id; Sig_Num : Integer; Close : Integer);

   pragma Import (C, Kill, "__gnat_kill");

   --  Called by Sigint_Intercepted to kill all spawned compilation processes

   type Sigint_Handler is access procedure;

   pragma Convention (C, Sigint_Handler);

   procedure Install_Int_Handler (Handler : Sigint_Handler);

   pragma Import (C, Install_Int_Handler, "__gnat_install_int_handler");

   --  Called by Gnatmake to install the SIGINT handler below

   procedure Sigint_Intercepted;

   pragma Convention (C, Sigint_Intercepted);

   --  Called when the program is interrupted by Ctrl-C to delete the

   --  temporary mapping files and configuration pragmas files.

   No_Mapping_File : constant Natural := 0;

   type Compilation_Data is record

      Pid              : Process_Id;

      Full_Source_File : File_Name_Type;

      Lib_File         : File_Name_Type;

      Source_Unit      : Unit_Name_Type;

      Full_Lib_File    : File_Name_Type;

      Lib_File_Attr    : aliased File_Attributes;

      Mapping_File     : Natural := No_Mapping_File;

      Project          : Project_Id := No_Project;

   end record;

   --  Data recorded for each compilation process spawned

   No_Compilation_Data : constant Compilation_Data :=

     (Invalid_Pid, No_File, No_File, No_Unit_Name, No_File, Unknown_Attributes,

      No_Mapping_File, No_Project);

   type Comp_Data_Arr is array (Positive range <>) of Compilation_Data;

   type Comp_Data_Ptr is access Comp_Data_Arr;

   Running_Compile : Comp_Data_Ptr;

   --  Used to save information about outstanding compilations

   Outstanding_Compiles : Natural := 0;

   --  Current number of outstanding compiles

   -------------------------

   -- Note on terminology --

   -------------------------

   --  In this program, we use the phrase "termination" of a file name to refer

   --  to the suffix that appears after the unit name portion. Very often this

   --  is simply the extension, but in some cases, the sequence may be more

   --  complex, for example in main.1.ada, the termination in this name is

   --  ".1.ada" and in main_.ada the termination is "_.ada".

   procedure Insert_Project_Sources

     (The_Project  : Project_Id;

      All_Projects : Boolean;

      Into_Q       : Boolean);

   --  If Into_Q is True, insert all sources of the project file(s) that are

   --  not already marked into the Q. If Into_Q is False, call Osint.Add_File

   --  for the first source, then insert all other sources that are not already

   --  marked into the Q. If All_Projects is True, all sources of all projects

   --  are concerned; otherwise, only sources of The_Project are concerned,

   --  including, if The_Project is an extending project, sources inherited

   --  from projects being extended.

   Unique_Compile : Boolean := False;

   --  Set to True if -u or -U or a project file with no main is used

   Unique_Compile_All_Projects : Boolean := False;

   --  Set to True if -U is used

   Must_Compile : Boolean := False;

   --  True if gnatmake is invoked with -f -u and one or several mains on the

   --  command line.

   Project_Tree : constant Project_Tree_Ref :=

                    new Project_Tree_Data (Is_Root_Tree => True);

   --  The project tree

   Main_On_Command_Line : Boolean := False;

   --  True if gnatmake is invoked with one or several mains on the command

   --  line.

   RTS_Specified : String_Access := null;

   --  Used to detect multiple --RTS= switches

   N_M_Switch : Natural := 0;

   --  Used to count -mxxx switches that can affect multilib

   --  The 3 following packages are used to store gcc, gnatbind and gnatlink

   --  switches found in the project files.

   package Gcc_Switches is new Table.Table (

     Table_Component_Type => String_Access,

     Table_Index_Type     => Integer,

     Table_Low_Bound      => 1,

     Table_Initial        => 20,

     Table_Increment      => 100,

     Table_Name           => "Make.Gcc_Switches");

   package Binder_Switches is new Table.Table (

     Table_Component_Type => String_Access,

     Table_Index_Type     => Integer,

     Table_Low_Bound      => 1,

     Table_Initial        => 20,

     Table_Increment      => 100,

     Table_Name           => "Make.Binder_Switches");

   package Linker_Switches is new Table.Table (

     Table_Component_Type => String_Access,

     Table_Index_Type     => Integer,

     Table_Low_Bound      => 1,

     Table_Initial        => 20,

     Table_Increment      => 100,

     Table_Name           => "Make.Linker_Switches");

   --  The following instantiations and variables are necessary to save what

   --  is found on the command line, in case there is a project file specified.

   package Saved_Gcc_Switches is new Table.Table (

     Table_Component_Type => String_Access,

     Table_Index_Type     => Integer,

     Table_Low_Bound      => 1,

     Table_Initial        => 20,

     Table_Increment      => 100,

     Table_Name           => "Make.Saved_Gcc_Switches");

   package Saved_Binder_Switches is new Table.Table (

     Table_Component_Type => String_Access,

     Table_Index_Type     => Integer,

     Table_Low_Bound      => 1,

     Table_Initial        => 20,

     Table_Increment      => 100,

     Table_Name           => "Make.Saved_Binder_Switches");

   package Saved_Linker_Switches is new Table.Table

     (Table_Component_Type => String_Access,

      Table_Index_Type     => Integer,

      Table_Low_Bound      => 1,

      Table_Initial        => 20,

      Table_Increment      => 100,

      Table_Name           => "Make.Saved_Linker_Switches");

   package Switches_To_Check is new Table.Table (

     Table_Component_Type => String_Access,

     Table_Index_Type     => Integer,

     Table_Low_Bound      => 1,

     Table_Initial        => 20,

     Table_Increment      => 100,

     Table_Name           => "Make.Switches_To_Check");

   package Library_Paths is new Table.Table (

     Table_Component_Type => String_Access,

     Table_Index_Type     => Integer,

     Table_Low_Bound      => 1,

     Table_Initial        => 20,

     Table_Increment      => 100,

     Table_Name           => "Make.Library_Paths");

   package Failed_Links is new Table.Table (

     Table_Component_Type => File_Name_Type,

     Table_Index_Type     => Integer,

     Table_Low_Bound      => 1,

     Table_Initial        => 10,

     Table_Increment      => 100,

     Table_Name           => "Make.Failed_Links");

   package Successful_Links is new Table.Table (

     Table_Component_Type => File_Name_Type,

     Table_Index_Type     => Integer,

     Table_Low_Bound      => 1,

     Table_Initial        => 10,

     Table_Increment      => 100,

     Table_Name           => "Make.Successful_Links");

   package Library_Projs is new Table.Table (

     Table_Component_Type => Project_Id,

     Table_Index_Type     => Integer,

     Table_Low_Bound      => 1,

     Table_Initial        => 10,

     Table_Increment      => 100,

     Table_Name           => "Make.Library_Projs");

   --  Two variables to keep the last binder and linker switch index in tables

   --  Binder_Switches and Linker_Switches, before adding switches from the

   --  project file (if any) and switches from the command line (if any).

   Last_Binder_Switch : Integer := 0;

   Last_Linker_Switch : Integer := 0;

   Normalized_Switches : Argument_List_Access := new Argument_List (1 .. 10);

   Last_Norm_Switch    : Natural := 0;

   Saved_Maximum_Processes : Natural := 0;

   Gnatmake_Switch_Found : Boolean;

   --  Set by Scan_Make_Arg. True when the switch is a gnatmake switch.

   --  Tested by Add_Switches when switches in package Builder must all be

   --  gnatmake switches.

   Switch_May_Be_Passed_To_The_Compiler : Boolean;

   --  Set by Add_Switches and Switches_Of. True when unrecognized switches

   --  are passed to the Ada compiler.

   type Arg_List_Ref is access Argument_List;

   The_Saved_Gcc_Switches : Arg_List_Ref;

   Project_File_Name : String_Access  := null;

   --  The path name of the main project file, if any

   Project_File_Name_Present : Boolean := False;

   --  True when -P is used with a space between -P and the project file name

   Current_Verbosity : Prj.Verbosity  := Prj.Default;

   --  Verbosity to parse the project files

   Main_Project : Prj.Project_Id := No_Project;

   --  The project id of the main project file, if any

   Project_Of_Current_Object_Directory : Project_Id := No_Project;

   --  The object directory of the project for the last compilation. Avoid

   --  calling Change_Dir if the current working directory is already this

   --  directory.

   Map_File : String_Access := null;

   --  Value of switch --create-map-file

   --  Packages of project files where unknown attributes are errors

   Naming_String   : aliased String := "naming";

   Builder_String  : aliased String := "builder";

   Compiler_String : aliased String := "compiler";

   Binder_String   : aliased String := "binder";

   Linker_String   : aliased String := "linker";

   Gnatmake_Packages : aliased String_List :=

     (Naming_String   'Access,

      Builder_String  'Access,

      Compiler_String 'Access,

      Binder_String   'Access,

      Linker_String   'Access);

   Packages_To_Check_By_Gnatmake : constant String_List_Access :=

     Gnatmake_Packages'Access;

   procedure Add_Library_Search_Dir

     (Path            : String;

      On_Command_Line : Boolean);

   --  Call Add_Lib_Search_Dir with an absolute directory path. If Path is

   --  relative path, when On_Command_Line is True, it is relative to the

   --  current working directory. When On_Command_Line is False, it is relative

   --  to the project directory of the main project.

   procedure Add_Source_Search_Dir

     (Path            : String;

      On_Command_Line : Boolean);

   --  Call Add_Src_Search_Dir with an absolute directory path. If Path is a

   --  relative path, when On_Command_Line is True, it is relative to the

   --  current working directory. When On_Command_Line is False, it is relative

   --  to the project directory of the main project.

   procedure Add_Source_Dir (N : String);

   --  Call Add_Src_Search_Dir (output one line when in verbose mode)

   procedure Add_Source_Directories is

     new Prj.Env.For_All_Source_Dirs (Action => Add_Source_Dir);

   procedure Add_Object_Dir (N : String);

   --  Call Add_Lib_Search_Dir (output one line when in verbose mode)

   procedure Add_Object_Directories is

     new Prj.Env.For_All_Object_Dirs (Action => Add_Object_Dir);

   procedure Change_To_Object_Directory (Project : Project_Id);

   --  Change to the object directory of project Project, if this is not

   --  already the current working directory.

   type Bad_Compilation_Info is record

      File  : File_Name_Type;

      Unit  : Unit_Name_Type;

      Found : Boolean;

   end record;

   --  File is the name of the file for which a compilation failed. Unit is for

   --  gnatdist use in order to easily get the unit name of a file when its

   --  name is krunched or declared in gnat.adc. Found is False if the

   --  compilation failed because the file could not be found.

   package Bad_Compilation is new Table.Table (

     Table_Component_Type => Bad_Compilation_Info,

     Table_Index_Type     => Natural,

     Table_Low_Bound      => 1,

     Table_Initial        => 20,

     Table_Increment      => 100,

     Table_Name           => "Make.Bad_Compilation");

   --  Full name of all the source files for which compilation fails

   Do_Compile_Step : Boolean := True;

   Do_Bind_Step    : Boolean := True;

   Do_Link_Step    : Boolean := True;

   --  Flags to indicate what step should be executed. Can be set to False

   --  with the switches -c, -b and -l. These flags are reset to True for

   --  each invocation of procedure Gnatmake.

   Shared_String           : aliased String := "-shared";

   Force_Elab_Flags_String : aliased String := "-F";

   CodePeer_Mode_String    : aliased String := "-P";

   No_Shared_Switch : aliased Argument_List := (1 .. 0 => null);

   Shared_Switch    : aliased Argument_List := (1 => Shared_String'Access);

   Bind_Shared      : Argument_List_Access := No_Shared_Switch'Access;

   --  Switch to added in front of gnatbind switches. By default no switch is

   --  added. Switch "-shared" is added if there is a non-static Library

   --  Project File.

   Shared_Libgcc : aliased String := "-shared-libgcc";

   No_Shared_Libgcc_Switch : aliased Argument_List := (1 .. 0 => null);

   Shared_Libgcc_Switch    : aliased Argument_List :=

                               (1 => Shared_Libgcc'Access);

   Link_With_Shared_Libgcc : Argument_List_Access :=

                               No_Shared_Libgcc_Switch'Access;

   procedure Make_Failed (S : String);

   --  Delete all temp files created by Gnatmake and call Osint.Fail, with the

   --  parameter S (see osint.ads). This is called from the Prj hierarchy and

   --  the MLib hierarchy. This subprogram also prints current error messages

   --  on stdout (ie finalizes errout)

   --------------------------

   -- Obsolete Executables --

   --------------------------

   Executable_Obsolete : Boolean := False;

   --  Executable_Obsolete is initially set to False for each executable,

   --  and is set to True whenever one of the source of the executable is

   --  compiled, or has already been compiled for another executable.

   Max_Header : constant := 200;

   --  This needs a proper comment, it used to say "arbitrary" that's not an

   --  adequate comment ???

   type Header_Num is range 1 .. Max_Header;

   --  Header_Num for the hash table Obsoleted below

   function Hash (F : File_Name_Type) return Header_Num;

   --  Hash function for the hash table Obsoleted below

   package Obsoleted is new System.HTable.Simple_HTable

     (Header_Num => Header_Num,

      Element    => Boolean,

      No_Element => False,

      Key        => File_Name_Type,

      Hash       => Hash,

      Equal      => "=");

   --  A hash table to keep all files that have been compiled, to detect

   --  if an executable is up to date or not.

   procedure Enter_Into_Obsoleted (F : File_Name_Type);

   --  Enter a file name, without directory information, into the hash table

   --  Obsoleted.

   function Is_In_Obsoleted (F : File_Name_Type) return Boolean;

   --  Check if a file name, without directory information, has already been

   --  entered into the hash table Obsoleted.

   type Dependency is record

      This       : File_Name_Type;

      Depends_On : File_Name_Type;

   end record;

   --  Components of table Dependencies below

   package Dependencies is new Table.Table (

     Table_Component_Type => Dependency,

     Table_Index_Type     => Integer,

     Table_Low_Bound      => 1,

     Table_Initial        => 20,

     Table_Increment      => 100,

     Table_Name           => "Make.Dependencies");

   --  A table to keep dependencies, to be able to decide if an executable

   --  is obsolete. More explanation needed ???

   ----------------------------

   -- Arguments and Switches --

   ----------------------------

   Arguments : Argument_List_Access;

   --  Used to gather the arguments for invocation of the compiler

   Last_Argument : Natural := 0;

   --  Last index of arguments in Arguments above

   Arguments_Project : Project_Id;

   --  Project id, if any, of the source to be compiled

   Arguments_Path_Name : Path_Name_Type;

   --  Full path of the source to be compiled, when Arguments_Project is not

   --  No_Project.

   Dummy_Switch : constant String_Access := new String'("- ");

   --  Used to initialized Prev_Switch in procedure Check

   procedure Add_Arguments (Args : Argument_List);

   --  Add arguments to global variable Arguments, increasing its size

   --  if necessary and adjusting Last_Argument.

   function Configuration_Pragmas_Switch

     (For_Project : Project_Id) return Argument_List;

   --  Return an argument list of one element, if there is a configuration

   --  pragmas file to be specified for For_Project,

   --  otherwise return an empty argument list.

   -------------------

   -- Misc Routines --

   -------------------

   procedure List_Depend;

   --  Prints to standard output the list of object dependencies. This list

   --  can be used directly in a Makefile. A call to Compile_Sources must

   --  precede the call to List_Depend. Also because this routine uses the

   --  ALI files that were originally loaded and scanned by Compile_Sources,

   --  no additional ALI files should be scanned between the two calls (i.e.

   --  between the call to Compile_Sources and List_Depend.)

   procedure List_Bad_Compilations;

   --  Prints out the list of all files for which the compilation failed

   Usage_Needed : Boolean := True;

   --  Flag used to make sure Makeusg is call at most once

   procedure Usage;

   --  Call Makeusg, if Usage_Needed is True.

   --  Set Usage_Needed to False.

   procedure Debug_Msg (S : String; N : Name_Id);

   procedure Debug_Msg (S : String; N : File_Name_Type);

   procedure Debug_Msg (S : String; N : Unit_Name_Type);

   --  If Debug.Debug_Flag_W is set outputs string S followed by name N

   procedure Recursive_Compute_Depth (Project : Project_Id);

   --  Compute depth of Project and of the projects it depends on

   -----------------------

   -- Gnatmake Routines --

   -----------------------

   subtype Lib_Mark_Type is Byte;

   --  Used in Mark_Directory

   Ada_Lib_Dir : constant Lib_Mark_Type := 1;

   --  Used to mark a directory as a GNAT lib dir

   --  Note that the notion of GNAT lib dir is no longer used. The code related

   --  to it has not been removed to give an idea on how to use the directory

   --  prefix marking mechanism.

   --  An Ada library directory is a directory containing ali and object files

   --  but no source files for the bodies (the specs can be in the same or some

   --  other directory). These directories are specified in the Gnatmake

   --  command line with the switch "-Adir" (to specify the spec location -Idir

   --  cab be used). Gnatmake skips the missing sources whose ali are in Ada

   --  library directories. For an explanation of why Gnatmake behaves that

   --  way, see the spec of Make.Compile_Sources. The directory lookup penalty

   --  is incurred every single time this routine is called.

   procedure Check_Steps;

   --  Check what steps (Compile, Bind, Link) must be executed.

   --  Set the step flags accordingly.

   function In_Ada_Lib_Dir (File : File_Name_Type) return Boolean;

   --  Get directory prefix of this file and get lib mark stored in name

   --  table for this directory. Then check if an Ada lib mark has been set.

   procedure Mark_Directory

     (Dir             : String;

      Mark            : Lib_Mark_Type;

      On_Command_Line : Boolean);

   --  Store the absolute path from Dir in name table and set lib mark as name

   --  info to identify Ada libraries.

   --

   --  If Dir is a relative path, when On_Command_Line is True, it is relative

   --  to the current working directory; when On_Command_Line is False, it is

   --  relative to the project directory of the main project.

   Output_Is_Object : Boolean := True;

   --  Set to False when using a switch -S for the compiler

   procedure Check_For_S_Switch;

   --  Set Output_Is_Object to False when the -S switch is used for the

   --  compiler.

   function Switches_Of

     (Source_File      : File_Name_Type;

      Project          : Project_Id;

      In_Package       : Package_Id;

      Allow_ALI        : Boolean) return Variable_Value;

   --  Return the switches for the source file in the specified package of a

   --  project file. If the Source_File ends with a standard GNAT extension

   --  (".ads" or ".adb"), try first the full name, then the name without the

   --  extension, then, if Allow_ALI is True, the name with the extension

   --  ".ali". If there is no switches for either names, try first Switches

   --  (others) then the default switches for Ada. If all failed, return

   --  No_Variable_Value.

   function Is_In_Object_Directory

     (Source_File   : File_Name_Type;

      Full_Lib_File : File_Name_Type) return Boolean;

   --  Check if, when using a project file, the ALI file is in the project

   --  directory of the ultimate extending project. If it is not, we ignore

   --  the fact that this ALI file is read-only.

   procedure Process_Multilib (Env : in out Prj.Tree.Environment);

   --  Add appropriate --RTS argument to handle multilib

   procedure Resolve_Relative_Names_In_Switches (Current_Work_Dir : String);

   --  Resolve all relative paths found in the linker and binder switches,

   --  when using project files.

   procedure Queue_Library_Project_Sources;

   --  For all library project, if the library file does not exist, put all the

   --  project sources in the queue, and flag the project so that the library

   --  is generated.

   procedure Compute_Switches_For_Main

     (Main_Source_File  : in out File_Name_Type;

      Root_Environment  : in out Prj.Tree.Environment;

      Compute_Builder   : Boolean;

      Current_Work_Dir  : String);

   --  Find compiler, binder and linker switches to use for the given main

   procedure Compute_Executable

     (Main_Source_File   : File_Name_Type;

      Executable         : out File_Name_Type;

      Non_Std_Executable : out Boolean);

   --  Parse the linker switches and project file to compute the name of the

   --  executable to generate.

   --  ??? What is the meaning of Non_Std_Executable

   procedure Compilation_Phase

     (Main_Source_File           : File_Name_Type;

      Current_Main_Index         : Int := 0;

      Total_Compilation_Failures : in out Natural;

      Stand_Alone_Libraries      : in out Boolean;

      Executable                 : File_Name_Type := No_File;

      Is_Last_Main               : Boolean;

      Stop_Compile               : out Boolean);

   --  Build all source files for a given main file

   --

   --  Current_Main_Index, if not zero, is the index of the current main unit

   --  in its source file.

   --

   --  Stand_Alone_Libraries is set to True when there are Stand-Alone

   --  Libraries, so that gnatbind is invoked with the -F switch to force

   --  checking of elaboration flags.

   --

   --  Stop_Compile is set to true if we should not try to compile any more

   --  of the main units

   procedure Binding_Phase

     (Stand_Alone_Libraries : Boolean := False;

      Main_ALI_File : File_Name_Type);

   --  Stand_Alone_Libraries should be set to True when there are Stand-Alone

   --  Libraries, so that gnatbind is invoked with the -F switch to force

   --  checking of elaboration flags.

   procedure Library_Phase

      (Stand_Alone_Libraries : in out Boolean;

       Library_Rebuilt : in out Boolean);

   --  Build libraries.

   --  Stand_Alone_Libraries is set to True when there are Stand-Alone

   --  Libraries, so that gnatbind is invoked with the -F switch to force

   --  checking of elaboration flags.

   procedure Linking_Phase

     (Non_Std_Executable : Boolean := False;

      Executable         : File_Name_Type := No_File;

      Main_ALI_File      : File_Name_Type);

   --  Perform the link of a single executable. The ali file corresponds

   --  to Main_ALI_File. Executable is the file name of an executable.

   --  Non_Std_Executable is set to True when there is a possibility that

   --  the linker will not choose the correct executable file name.

   ----------------------------------------------------

   -- Compiler, Binder & Linker Data and Subprograms --

   ----------------------------------------------------

   Gcc          : String_Access := Program_Name ("gcc", "gnatmake");

   Original_Gcc : constant String_Access := Gcc;

   --  Original_Gcc is used to check if Gcc has been modified by a switch

   --  --GCC=, so that for VM platforms, it is not modified again, as it can

   --  result in incorrect error messages if the compiler cannot be found.

   Gnatbind : String_Access := Program_Name ("gnatbind", "gnatmake");

   Gnatlink : String_Access := Program_Name ("gnatlink", "gnatmake");

   --  Default compiler, binder, linker programs

   Globalizer : constant String := "codepeer_globalizer";

   --  CodePeer globalizer executable name

   Saved_Gcc      : String_Access := null;

   Saved_Gnatbind : String_Access := null;

   Saved_Gnatlink : String_Access := null;

   --  Given by the command line. Will be used, if non null

   Gcc_Path      : String_Access :=

                     GNAT.OS_Lib.Locate_Exec_On_Path (Gcc.all);

   Gnatbind_Path : String_Access :=

                     GNAT.OS_Lib.Locate_Exec_On_Path (Gnatbind.all);

   Gnatlink_Path : String_Access :=

                     GNAT.OS_Lib.Locate_Exec_On_Path (Gnatlink.all);

   --  Path for compiler, binder, linker programs, defaulted now for gnatdist.

   --  Changed later if overridden on command line.

   Globalizer_Path : constant String_Access :=

                       GNAT.OS_Lib.Locate_Exec_On_Path (Globalizer);

   --  Path for CodePeer globalizer

   Comp_Flag         : constant String_Access := new String'("-c");

   Output_Flag       : constant String_Access := new String'("-o");

   Ada_Flag_1        : constant String_Access := new String'("-x");

   Ada_Flag_2        : constant String_Access := new String'("ada");

   No_gnat_adc       : constant String_Access := new String'("-gnatA");

   GNAT_Flag         : constant String_Access := new String'("-gnatpg");

   Do_Not_Check_Flag : constant String_Access := new String'("-x");

   Object_Suffix : constant String := Get_Target_Object_Suffix.all;

   Syntax_Only : Boolean := False;

   --  Set to True when compiling with -gnats

   Display_Executed_Programs : Boolean := True;

   --  Set to True if name of commands should be output on stderr (or on stdout

   --  if the Commands_To_Stdout flag was set by use of the -eS switch).

   Output_File_Name_Seen : Boolean := False;

   --  Set to True after having scanned the file_name for

   --  switch "-o file_name"

   Object_Directory_Seen : Boolean := False;

   --  Set to True after having scanned the object directory for

   --  switch "-D obj_dir".

   Object_Directory_Path : String_Access := null;

   --  The path name of the object directory, set with switch -D

   type Make_Program_Type is (None, Compiler, Binder, Linker);

   Program_Args : Make_Program_Type := None;

   --  Used to indicate if we are scanning gnatmake, gcc, gnatbind, or gnatbind

   --  options within the gnatmake command line. Used in Scan_Make_Arg only,

   --  but must be global since value preserved from one call to another.

   Temporary_Config_File : Boolean := False;

   --  Set to True when there is a temporary config file used for a project

   --  file, to avoid displaying the -gnatec switch for a temporary file.

   procedure Add_Switches

     (The_Package                      : Package_Id;

      File_Name                        : String;

      Program                          : Make_Program_Type;

      Unknown_Switches_To_The_Compiler : Boolean := True;

      Env                              : in out Prj.Tree.Environment);

   procedure Add_Switch

     (S             : String_Access;

      Program       : Make_Program_Type;

      Append_Switch : Boolean := True;

      And_Save      : Boolean := True);

   procedure Add_Switch

     (S             : String;

      Program       : Make_Program_Type;

      Append_Switch : Boolean := True;

      And_Save      : Boolean := True);

   --  Make invokes one of three programs (the compiler, the binder or the

   --  linker). For the sake of convenience, some program specific switches

   --  can be passed directly on the gnatmake command line. This procedure

   --  records these switches so that gnatmake can pass them to the right

   --  program.  S is the switch to be added at the end of the command line

   --  for Program if Append_Switch is True. If Append_Switch is False S is

   --  added at the beginning of the command line.

   procedure Check

     (Source_File    : File_Name_Type;

      Is_Main_Source : Boolean;

      The_Args       : Argument_List;

      Lib_File       : File_Name_Type;

      Full_Lib_File  : File_Name_Type;

      Lib_File_Attr  : access File_Attributes;

      Read_Only      : Boolean;

      ALI            : out ALI_Id;

      O_File         : out File_Name_Type;

      O_Stamp        : out Time_Stamp_Type);

   --  Determines whether the library file Lib_File is up-to-date or not. The

   --  full name (with path information) of the object file corresponding to

   --  Lib_File is returned in O_File. Its time stamp is saved in O_Stamp.

   --  ALI is the ALI_Id corresponding to Lib_File. If Lib_File in not

   --  up-to-date, then the corresponding source file needs to be recompiled.

   --  In this case ALI = No_ALI_Id.

   --  Full_Lib_File must be the result of calling Osint.Full_Lib_File_Name on

   --  Lib_File. Precomputing it saves system calls. Lib_File_Attr is the

   --  initialized attributes of that file, which is also used to save on

   --  system calls (it can safely be initialized to Unknown_Attributes).

   procedure Check_Linker_Options

     (E_Stamp : Time_Stamp_Type;

      O_File  : out File_Name_Type;

      O_Stamp : out Time_Stamp_Type);

   --  Checks all linker options for linker files that are newer

   --  than E_Stamp. If such objects are found, the youngest object

   --  is returned in O_File and its stamp in O_Stamp.

   --

   --  If no obsolete linker files were found, the first missing

   --  linker file is returned in O_File and O_Stamp is empty.

   --  Otherwise O_File is No_File.

   procedure Collect_Arguments

     (Source_File    : File_Name_Type;

      Is_Main_Source : Boolean;

      Args           : Argument_List);

   --  Collect all arguments for a source to be compiled, including those

   --  that come from a project file.

   procedure Display (Program : String; Args : Argument_List);