Subversion Repositories openrisc_2011-10-31

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

--                                                                          --

--                         GNAT COMPILER COMPONENTS                         --

--                                                                          --

--                                 M A K E                                  --

--                                                                          --

--                                 B o d y                                  --

--                                                                          --

--          Copyright (C) 1992-2009, 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 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 Targparm; use Targparm;

with Table;

with Tempdir;

with Types;    use Types;

with Ada.Exceptions;            use Ada.Exceptions;

with Ada.Command_Line;          use Ada.Command_Line;

with GNAT.Directory_Operations; use GNAT.Directory_Operations;

with GNAT.Dynamic_HTables;      use GNAT.Dynamic_HTables;

with GNAT.Case_Util;            use GNAT.Case_Util;

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".

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

   -- Queue (Q) Manipulation Routines --

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

   --  The Q is used in Compile_Sources below. Its implementation uses the GNAT

   --  generic package Table (basically an extensible array). Q_Front points to

   --  the first valid element in the Q, whereas Q.First is the first element

   --  ever enqueued, while Q.Last - 1 is the last element in the Q.

   --

   --        +---+--------------+---+---+---+-----------+---+--------

   --    Q   |   |  ........    |   |   |   | .......   |   |

   --        +---+--------------+---+---+---+-----------+---+--------

   --          ^                  ^                       ^

   --       Q.First             Q_Front               Q.Last-1

   --

   --  The elements comprised between Q.First and Q_Front-1 are the elements

   --  that have been enqueued and then dequeued, while the elements between

   --  Q_Front and Q.Last-1 are the elements currently in the Q. When the Q

   --  is initialized Q_Front = Q.First = Q.Last. After Compile_Sources has

   --  terminated its execution, Q_Front = Q.Last and the elements contained

   --  between Q.First and Q.Last-1 are those that were explored and thus

   --  marked by Compile_Sources. Whenever the Q is reinitialized, the elements

   --  between Q.First and Q.Last-1 are unmarked.

   procedure Init_Q;

   --  Must be called to (re)initialize the Q

   procedure Insert_Q

     (Source_File : File_Name_Type;

      Source_Unit : Unit_Name_Type := No_Unit_Name;

      Index       : Int            := 0);

   --  Inserts Source_File at the end of Q. Provide Source_Unit when possible

   --  for external use (gnatdist). Provide index for multi-unit sources.

   function Empty_Q return Boolean;

   --  Returns True if Q is empty

   procedure Extract_From_Q

     (Source_File  : out File_Name_Type;

      Source_Unit  : out Unit_Name_Type;

      Source_Index : out Int);

   --  Extracts the first element from the Q

   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.

   First_Q_Initialization : Boolean := True;

   --  Will be set to false after Init_Q has been called once

   Q_Front : Natural;

   --  Points to the first valid element in the Q

   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

   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

   type Q_Record is record

      File  : File_Name_Type;

      Unit  : Unit_Name_Type;

      Index : Int;

   end record;

   --  File is the name of the file to compile. Unit is for gnatdist

   --  use in order to easily get the unit name of a file to compile

   --  when its name is krunched or declared in gnat.adc. Index, when not 0,

   --  is the index of the unit in a multi-unit source.

   package Q is new Table.Table (

     Table_Component_Type => Q_Record,

     Table_Index_Type     => Natural,

     Table_Low_Bound      => 0,

     Table_Initial        => 4000,

     Table_Increment      => 100,

     Table_Name           => "Make.Q");

   --  This is the actual Q

   --  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.

   --  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";

   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.

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

   -- 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 ???

--     procedure Add_Dependency (S : File_Name_Type; On : File_Name_Type);

--     --  Add one entry in table Dependencies

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

   -- 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;

      Source_File_Name : String;

      Source_Index     : Int;

      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 (Project_Node_Tree : Project_Node_Tree_Ref);

   --  Add appropriate --RTS argument to handle multilib

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

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

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

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

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

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

   --  Default compiler, binder, linker programs

   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.

   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;

      Index                            : Int;

      Program                          : Make_Program_Type;

      Unknown_Switches_To_The_Compiler : Boolean := True;

      Project_Node_Tree                : Project_Node_Tree_Ref);

   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;

      Source_Index   : Int;

      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;

      Source_Index   : Int;

      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);

   --  Displays Program followed by the arguments in Args if variable

   --  Display_Executed_Programs is set. The lower bound of Args must be 1.

   procedure Report_Compilation_Failed;

   --  Delete all temporary files and fail graciously

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

   --  Mapping files

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

   type Temp_Path_Names is array (Positive range <>) of Path_Name_Type;

   type Temp_Path_Ptr is access Temp_Path_Names;

   type Free_File_Indices is array (Positive range <>) of Positive;

   type Free_Indices_Ptr is access Free_File_Indices;

   type Project_Compilation_Data is record

      Mapping_File_Names : Temp_Path_Ptr;

      --  The name ids of the temporary mapping files used. This is indexed

      --  on the maximum number of compilation processes we will be spawning

      --  (-j parameter)

      Last_Mapping_File_Names : Natural;

      --  Index of the last mapping file created for this project