1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2011, Free Software Foundation, Inc. --
11 -- GNAT is free software; you can redistribute it and/or modify it under --
12 -- terms of the GNU General Public License as published by the Free Soft- --
13 -- ware Foundation; either version 3, or (at your option) any later ver- --
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
16 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
17 -- for more details. You should have received a copy of the GNU General --
18 -- Public License distributed with GNAT; see file COPYING3. If not, go to --
19 -- http://www.gnu.org/licenses for a complete copy of the license. --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 ------------------------------------------------------------------------------
27 with ALI.Util; use ALI.Util;
32 with Fname; use Fname;
33 with Fname.SF; use Fname.SF;
34 with Fname.UF; use Fname.UF;
35 with Gnatvsn; use Gnatvsn;
36 with Hostparm; use Hostparm;
38 with Makeutl; use Makeutl;
41 with MLib.Tgt; use MLib.Tgt;
43 with Namet; use Namet;
45 with Osint.M; use Osint.M;
46 with Osint; use Osint;
47 with Output; use Output;
52 with Prj.Tree; use Prj.Tree;
57 with Snames; use Snames;
59 pragma Warnings (Off);
63 with Switch; use Switch;
64 with Switch.M; use Switch.M;
66 with Targparm; use Targparm;
68 with Types; use Types;
70 with Ada.Command_Line; use Ada.Command_Line;
72 with Ada.Exceptions; use Ada.Exceptions;
74 with GNAT.Case_Util; use GNAT.Case_Util;
75 with GNAT.Directory_Operations; use GNAT.Directory_Operations;
76 with GNAT.Dynamic_HTables; use GNAT.Dynamic_HTables;
77 with GNAT.OS_Lib; use GNAT.OS_Lib;
82 -- Make control characters visible
84 Standard_Library_Package_Body_Name : constant String := "s-stalib.adb";
85 -- Every program depends on this package, that must then be checked,
86 -- especially when -f and -a are used.
88 procedure Kill (Pid : Process_Id; Sig_Num : Integer; Close : Integer);
89 pragma Import (C, Kill, "__gnat_kill");
90 -- Called by Sigint_Intercepted to kill all spawned compilation processes
92 type Sigint_Handler is access procedure;
93 pragma Convention (C, Sigint_Handler);
95 procedure Install_Int_Handler (Handler : Sigint_Handler);
96 pragma Import (C, Install_Int_Handler, "__gnat_install_int_handler");
97 -- Called by Gnatmake to install the SIGINT handler below
99 procedure Sigint_Intercepted;
100 pragma Convention (C, Sigint_Intercepted);
101 -- Called when the program is interrupted by Ctrl-C to delete the
102 -- temporary mapping files and configuration pragmas files.
104 No_Mapping_File : constant Natural := 0;
106 type Compilation_Data is record
108 Full_Source_File : File_Name_Type;
109 Lib_File : File_Name_Type;
110 Source_Unit : Unit_Name_Type;
111 Full_Lib_File : File_Name_Type;
112 Lib_File_Attr : aliased File_Attributes;
113 Mapping_File : Natural := No_Mapping_File;
114 Project : Project_Id := No_Project;
116 -- Data recorded for each compilation process spawned
118 No_Compilation_Data : constant Compilation_Data :=
119 (Invalid_Pid, No_File, No_File, No_Unit_Name, No_File, Unknown_Attributes,
120 No_Mapping_File, No_Project);
122 type Comp_Data_Arr is array (Positive range <>) of Compilation_Data;
123 type Comp_Data_Ptr is access Comp_Data_Arr;
124 Running_Compile : Comp_Data_Ptr;
125 -- Used to save information about outstanding compilations
127 Outstanding_Compiles : Natural := 0;
128 -- Current number of outstanding compiles
130 -------------------------
131 -- Note on terminology --
132 -------------------------
134 -- In this program, we use the phrase "termination" of a file name to refer
135 -- to the suffix that appears after the unit name portion. Very often this
136 -- is simply the extension, but in some cases, the sequence may be more
137 -- complex, for example in main.1.ada, the termination in this name is
138 -- ".1.ada" and in main_.ada the termination is "_.ada".
140 procedure Insert_Project_Sources
141 (The_Project : Project_Id;
142 All_Projects : Boolean;
144 -- If Into_Q is True, insert all sources of the project file(s) that are
145 -- not already marked into the Q. If Into_Q is False, call Osint.Add_File
146 -- for the first source, then insert all other sources that are not already
147 -- marked into the Q. If All_Projects is True, all sources of all projects
148 -- are concerned; otherwise, only sources of The_Project are concerned,
149 -- including, if The_Project is an extending project, sources inherited
150 -- from projects being extended.
152 Unique_Compile : Boolean := False;
153 -- Set to True if -u or -U or a project file with no main is used
155 Unique_Compile_All_Projects : Boolean := False;
156 -- Set to True if -U is used
158 Must_Compile : Boolean := False;
159 -- True if gnatmake is invoked with -f -u and one or several mains on the
162 Project_Tree : constant Project_Tree_Ref :=
163 new Project_Tree_Data (Is_Root_Tree => True);
166 Main_On_Command_Line : Boolean := False;
167 -- True if gnatmake is invoked with one or several mains on the command
170 RTS_Specified : String_Access := null;
171 -- Used to detect multiple --RTS= switches
173 N_M_Switch : Natural := 0;
174 -- Used to count -mxxx switches that can affect multilib
176 -- The 3 following packages are used to store gcc, gnatbind and gnatlink
177 -- switches found in the project files.
179 package Gcc_Switches is new Table.Table (
180 Table_Component_Type => String_Access,
181 Table_Index_Type => Integer,
182 Table_Low_Bound => 1,
184 Table_Increment => 100,
185 Table_Name => "Make.Gcc_Switches");
187 package Binder_Switches is new Table.Table (
188 Table_Component_Type => String_Access,
189 Table_Index_Type => Integer,
190 Table_Low_Bound => 1,
192 Table_Increment => 100,
193 Table_Name => "Make.Binder_Switches");
195 package Linker_Switches is new Table.Table (
196 Table_Component_Type => String_Access,
197 Table_Index_Type => Integer,
198 Table_Low_Bound => 1,
200 Table_Increment => 100,
201 Table_Name => "Make.Linker_Switches");
203 -- The following instantiations and variables are necessary to save what
204 -- is found on the command line, in case there is a project file specified.
206 package Saved_Gcc_Switches is new Table.Table (
207 Table_Component_Type => String_Access,
208 Table_Index_Type => Integer,
209 Table_Low_Bound => 1,
211 Table_Increment => 100,
212 Table_Name => "Make.Saved_Gcc_Switches");
214 package Saved_Binder_Switches is new Table.Table (
215 Table_Component_Type => String_Access,
216 Table_Index_Type => Integer,
217 Table_Low_Bound => 1,
219 Table_Increment => 100,
220 Table_Name => "Make.Saved_Binder_Switches");
222 package Saved_Linker_Switches is new Table.Table
223 (Table_Component_Type => String_Access,
224 Table_Index_Type => Integer,
225 Table_Low_Bound => 1,
227 Table_Increment => 100,
228 Table_Name => "Make.Saved_Linker_Switches");
230 package Switches_To_Check is new Table.Table (
231 Table_Component_Type => String_Access,
232 Table_Index_Type => Integer,
233 Table_Low_Bound => 1,
235 Table_Increment => 100,
236 Table_Name => "Make.Switches_To_Check");
238 package Library_Paths is new Table.Table (
239 Table_Component_Type => String_Access,
240 Table_Index_Type => Integer,
241 Table_Low_Bound => 1,
243 Table_Increment => 100,
244 Table_Name => "Make.Library_Paths");
246 package Failed_Links is new Table.Table (
247 Table_Component_Type => File_Name_Type,
248 Table_Index_Type => Integer,
249 Table_Low_Bound => 1,
251 Table_Increment => 100,
252 Table_Name => "Make.Failed_Links");
254 package Successful_Links is new Table.Table (
255 Table_Component_Type => File_Name_Type,
256 Table_Index_Type => Integer,
257 Table_Low_Bound => 1,
259 Table_Increment => 100,
260 Table_Name => "Make.Successful_Links");
262 package Library_Projs is new Table.Table (
263 Table_Component_Type => Project_Id,
264 Table_Index_Type => Integer,
265 Table_Low_Bound => 1,
267 Table_Increment => 100,
268 Table_Name => "Make.Library_Projs");
270 -- Two variables to keep the last binder and linker switch index in tables
271 -- Binder_Switches and Linker_Switches, before adding switches from the
272 -- project file (if any) and switches from the command line (if any).
274 Last_Binder_Switch : Integer := 0;
275 Last_Linker_Switch : Integer := 0;
277 Normalized_Switches : Argument_List_Access := new Argument_List (1 .. 10);
278 Last_Norm_Switch : Natural := 0;
280 Saved_Maximum_Processes : Natural := 0;
282 Gnatmake_Switch_Found : Boolean;
283 -- Set by Scan_Make_Arg. True when the switch is a gnatmake switch.
284 -- Tested by Add_Switches when switches in package Builder must all be
285 -- gnatmake switches.
287 Switch_May_Be_Passed_To_The_Compiler : Boolean;
288 -- Set by Add_Switches and Switches_Of. True when unrecognized switches
289 -- are passed to the Ada compiler.
291 type Arg_List_Ref is access Argument_List;
292 The_Saved_Gcc_Switches : Arg_List_Ref;
294 Project_File_Name : String_Access := null;
295 -- The path name of the main project file, if any
297 Project_File_Name_Present : Boolean := False;
298 -- True when -P is used with a space between -P and the project file name
300 Current_Verbosity : Prj.Verbosity := Prj.Default;
301 -- Verbosity to parse the project files
303 Main_Project : Prj.Project_Id := No_Project;
304 -- The project id of the main project file, if any
306 Project_Of_Current_Object_Directory : Project_Id := No_Project;
307 -- The object directory of the project for the last compilation. Avoid
308 -- calling Change_Dir if the current working directory is already this
311 Map_File : String_Access := null;
312 -- Value of switch --create-map-file
314 -- Packages of project files where unknown attributes are errors
316 Naming_String : aliased String := "naming";
317 Builder_String : aliased String := "builder";
318 Compiler_String : aliased String := "compiler";
319 Binder_String : aliased String := "binder";
320 Linker_String : aliased String := "linker";
322 Gnatmake_Packages : aliased String_List :=
323 (Naming_String 'Access,
324 Builder_String 'Access,
325 Compiler_String 'Access,
326 Binder_String 'Access,
327 Linker_String 'Access);
329 Packages_To_Check_By_Gnatmake : constant String_List_Access :=
330 Gnatmake_Packages'Access;
332 procedure Add_Library_Search_Dir
334 On_Command_Line : Boolean);
335 -- Call Add_Lib_Search_Dir with an absolute directory path. If Path is
336 -- relative path, when On_Command_Line is True, it is relative to the
337 -- current working directory. When On_Command_Line is False, it is relative
338 -- to the project directory of the main project.
340 procedure Add_Source_Search_Dir
342 On_Command_Line : Boolean);
343 -- Call Add_Src_Search_Dir with an absolute directory path. If Path is a
344 -- relative path, when On_Command_Line is True, it is relative to the
345 -- current working directory. When On_Command_Line is False, it is relative
346 -- to the project directory of the main project.
348 procedure Add_Source_Dir (N : String);
349 -- Call Add_Src_Search_Dir (output one line when in verbose mode)
351 procedure Add_Source_Directories is
352 new Prj.Env.For_All_Source_Dirs (Action => Add_Source_Dir);
354 procedure Add_Object_Dir (N : String);
355 -- Call Add_Lib_Search_Dir (output one line when in verbose mode)
357 procedure Add_Object_Directories is
358 new Prj.Env.For_All_Object_Dirs (Action => Add_Object_Dir);
360 procedure Change_To_Object_Directory (Project : Project_Id);
361 -- Change to the object directory of project Project, if this is not
362 -- already the current working directory.
364 type Bad_Compilation_Info is record
365 File : File_Name_Type;
366 Unit : Unit_Name_Type;
369 -- File is the name of the file for which a compilation failed. Unit is for
370 -- gnatdist use in order to easily get the unit name of a file when its
371 -- name is krunched or declared in gnat.adc. Found is False if the
372 -- compilation failed because the file could not be found.
374 package Bad_Compilation is new Table.Table (
375 Table_Component_Type => Bad_Compilation_Info,
376 Table_Index_Type => Natural,
377 Table_Low_Bound => 1,
379 Table_Increment => 100,
380 Table_Name => "Make.Bad_Compilation");
381 -- Full name of all the source files for which compilation fails
383 Do_Compile_Step : Boolean := True;
384 Do_Bind_Step : Boolean := True;
385 Do_Link_Step : Boolean := True;
386 -- Flags to indicate what step should be executed. Can be set to False
387 -- with the switches -c, -b and -l. These flags are reset to True for
388 -- each invocation of procedure Gnatmake.
390 Shared_String : aliased String := "-shared";
391 Force_Elab_Flags_String : aliased String := "-F";
392 CodePeer_Mode_String : aliased String := "-P";
394 No_Shared_Switch : aliased Argument_List := (1 .. 0 => null);
395 Shared_Switch : aliased Argument_List := (1 => Shared_String'Access);
396 Bind_Shared : Argument_List_Access := No_Shared_Switch'Access;
397 -- Switch to added in front of gnatbind switches. By default no switch is
398 -- added. Switch "-shared" is added if there is a non-static Library
401 Shared_Libgcc : aliased String := "-shared-libgcc";
403 No_Shared_Libgcc_Switch : aliased Argument_List := (1 .. 0 => null);
404 Shared_Libgcc_Switch : aliased Argument_List :=
405 (1 => Shared_Libgcc'Access);
406 Link_With_Shared_Libgcc : Argument_List_Access :=
407 No_Shared_Libgcc_Switch'Access;
409 procedure Make_Failed (S : String);
410 -- Delete all temp files created by Gnatmake and call Osint.Fail, with the
411 -- parameter S (see osint.ads). This is called from the Prj hierarchy and
412 -- the MLib hierarchy. This subprogram also prints current error messages
413 -- on stdout (ie finalizes errout)
415 --------------------------
416 -- Obsolete Executables --
417 --------------------------
419 Executable_Obsolete : Boolean := False;
420 -- Executable_Obsolete is initially set to False for each executable,
421 -- and is set to True whenever one of the source of the executable is
422 -- compiled, or has already been compiled for another executable.
424 Max_Header : constant := 200;
425 -- This needs a proper comment, it used to say "arbitrary" that's not an
426 -- adequate comment ???
428 type Header_Num is range 1 .. Max_Header;
429 -- Header_Num for the hash table Obsoleted below
431 function Hash (F : File_Name_Type) return Header_Num;
432 -- Hash function for the hash table Obsoleted below
434 package Obsoleted is new System.HTable.Simple_HTable
435 (Header_Num => Header_Num,
438 Key => File_Name_Type,
441 -- A hash table to keep all files that have been compiled, to detect
442 -- if an executable is up to date or not.
444 procedure Enter_Into_Obsoleted (F : File_Name_Type);
445 -- Enter a file name, without directory information, into the hash table
448 function Is_In_Obsoleted (F : File_Name_Type) return Boolean;
449 -- Check if a file name, without directory information, has already been
450 -- entered into the hash table Obsoleted.
452 type Dependency is record
453 This : File_Name_Type;
454 Depends_On : File_Name_Type;
456 -- Components of table Dependencies below
458 package Dependencies is new Table.Table (
459 Table_Component_Type => Dependency,
460 Table_Index_Type => Integer,
461 Table_Low_Bound => 1,
463 Table_Increment => 100,
464 Table_Name => "Make.Dependencies");
465 -- A table to keep dependencies, to be able to decide if an executable
466 -- is obsolete. More explanation needed ???
468 ----------------------------
469 -- Arguments and Switches --
470 ----------------------------
472 Arguments : Argument_List_Access;
473 -- Used to gather the arguments for invocation of the compiler
475 Last_Argument : Natural := 0;
476 -- Last index of arguments in Arguments above
478 Arguments_Project : Project_Id;
479 -- Project id, if any, of the source to be compiled
481 Arguments_Path_Name : Path_Name_Type;
482 -- Full path of the source to be compiled, when Arguments_Project is not
485 Dummy_Switch : constant String_Access := new String'("- ");
486 -- Used to initialized Prev_Switch in procedure Check
488 procedure Add_Arguments (Args : Argument_List);
489 -- Add arguments to global variable Arguments, increasing its size
490 -- if necessary and adjusting Last_Argument.
492 function Configuration_Pragmas_Switch
493 (For_Project : Project_Id) return Argument_List;
494 -- Return an argument list of one element, if there is a configuration
495 -- pragmas file to be specified for For_Project,
496 -- otherwise return an empty argument list.
502 procedure List_Depend;
503 -- Prints to standard output the list of object dependencies. This list
504 -- can be used directly in a Makefile. A call to Compile_Sources must
505 -- precede the call to List_Depend. Also because this routine uses the
506 -- ALI files that were originally loaded and scanned by Compile_Sources,
507 -- no additional ALI files should be scanned between the two calls (i.e.
508 -- between the call to Compile_Sources and List_Depend.)
510 procedure List_Bad_Compilations;
511 -- Prints out the list of all files for which the compilation failed
513 Usage_Needed : Boolean := True;
514 -- Flag used to make sure Makeusg is call at most once
517 -- Call Makeusg, if Usage_Needed is True.
518 -- Set Usage_Needed to False.
520 procedure Debug_Msg (S : String; N : Name_Id);
521 procedure Debug_Msg (S : String; N : File_Name_Type);
522 procedure Debug_Msg (S : String; N : Unit_Name_Type);
523 -- If Debug.Debug_Flag_W is set outputs string S followed by name N
525 procedure Recursive_Compute_Depth (Project : Project_Id);
526 -- Compute depth of Project and of the projects it depends on
528 -----------------------
529 -- Gnatmake Routines --
530 -----------------------
532 subtype Lib_Mark_Type is Byte;
533 -- Used in Mark_Directory
535 Ada_Lib_Dir : constant Lib_Mark_Type := 1;
536 -- Used to mark a directory as a GNAT lib dir
538 -- Note that the notion of GNAT lib dir is no longer used. The code related
539 -- to it has not been removed to give an idea on how to use the directory
540 -- prefix marking mechanism.
542 -- An Ada library directory is a directory containing ali and object files
543 -- but no source files for the bodies (the specs can be in the same or some
544 -- other directory). These directories are specified in the Gnatmake
545 -- command line with the switch "-Adir" (to specify the spec location -Idir
546 -- cab be used). Gnatmake skips the missing sources whose ali are in Ada
547 -- library directories. For an explanation of why Gnatmake behaves that
548 -- way, see the spec of Make.Compile_Sources. The directory lookup penalty
549 -- is incurred every single time this routine is called.
551 procedure Check_Steps;
552 -- Check what steps (Compile, Bind, Link) must be executed.
553 -- Set the step flags accordingly.
555 function In_Ada_Lib_Dir (File : File_Name_Type) return Boolean;
556 -- Get directory prefix of this file and get lib mark stored in name
557 -- table for this directory. Then check if an Ada lib mark has been set.
559 procedure Mark_Directory
561 Mark : Lib_Mark_Type;
562 On_Command_Line : Boolean);
563 -- Store the absolute path from Dir in name table and set lib mark as name
564 -- info to identify Ada libraries.
566 -- If Dir is a relative path, when On_Command_Line is True, it is relative
567 -- to the current working directory; when On_Command_Line is False, it is
568 -- relative to the project directory of the main project.
570 Output_Is_Object : Boolean := True;
571 -- Set to False when using a switch -S for the compiler
573 procedure Check_For_S_Switch;
574 -- Set Output_Is_Object to False when the -S switch is used for the
578 (Source_File : File_Name_Type;
579 Project : Project_Id;
580 In_Package : Package_Id;
581 Allow_ALI : Boolean) return Variable_Value;
582 -- Return the switches for the source file in the specified package of a
583 -- project file. If the Source_File ends with a standard GNAT extension
584 -- (".ads" or ".adb"), try first the full name, then the name without the
585 -- extension, then, if Allow_ALI is True, the name with the extension
586 -- ".ali". If there is no switches for either names, try first Switches
587 -- (others) then the default switches for Ada. If all failed, return
588 -- No_Variable_Value.
590 function Is_In_Object_Directory
591 (Source_File : File_Name_Type;
592 Full_Lib_File : File_Name_Type) return Boolean;
593 -- Check if, when using a project file, the ALI file is in the project
594 -- directory of the ultimate extending project. If it is not, we ignore
595 -- the fact that this ALI file is read-only.
597 procedure Process_Multilib (Env : in out Prj.Tree.Environment);
598 -- Add appropriate --RTS argument to handle multilib
600 procedure Resolve_Relative_Names_In_Switches (Current_Work_Dir : String);
601 -- Resolve all relative paths found in the linker and binder switches,
602 -- when using project files.
604 procedure Queue_Library_Project_Sources;
605 -- For all library project, if the library file does not exist, put all the
606 -- project sources in the queue, and flag the project so that the library
609 procedure Compute_Switches_For_Main
610 (Main_Source_File : in out File_Name_Type;
612 Project_Node_Tree : Project_Node_Tree_Ref;
613 Root_Environment : in out Prj.Tree.Environment;
614 Compute_Builder : Boolean;
615 Current_Work_Dir : String);
616 -- Find compiler, binder and linker switches to use for the given main
618 procedure Compute_Executable
619 (Main_Source_File : File_Name_Type;
620 Executable : out File_Name_Type;
621 Non_Std_Executable : out Boolean);
622 -- Parse the linker switches and project file to compute the name of the
623 -- executable to generate.
624 -- ??? What is the meaning of Non_Std_Executable
626 procedure Compilation_Phase
627 (Main_Source_File : File_Name_Type;
628 Current_Main_Index : Int := 0;
629 Total_Compilation_Failures : in out Natural;
630 Stand_Alone_Libraries : in out Boolean;
631 Executable : File_Name_Type := No_File;
632 Is_Last_Main : Boolean;
633 Stop_Compile : out Boolean);
634 -- Build all source files for a given main file
636 -- Current_Main_Index, if not zero, is the index of the current main unit
637 -- in its source file.
639 -- Stand_Alone_Libraries is set to True when there are Stand-Alone
640 -- Libraries, so that gnatbind is invoked with the -F switch to force
641 -- checking of elaboration flags.
643 -- Stop_Compile is set to true if we should not try to compile any more
646 procedure Binding_Phase
647 (Stand_Alone_Libraries : Boolean := False;
648 Main_ALI_File : File_Name_Type);
649 -- Stand_Alone_Libraries should be set to True when there are Stand-Alone
650 -- Libraries, so that gnatbind is invoked with the -F switch to force
651 -- checking of elaboration flags.
653 procedure Library_Phase
654 (Stand_Alone_Libraries : in out Boolean;
655 Library_Rebuilt : in out Boolean);
657 -- Stand_Alone_Libraries is set to True when there are Stand-Alone
658 -- Libraries, so that gnatbind is invoked with the -F switch to force
659 -- checking of elaboration flags.
661 procedure Linking_Phase
662 (Non_Std_Executable : Boolean := False;
663 Executable : File_Name_Type := No_File;
664 Main_ALI_File : File_Name_Type);
665 -- Perform the link of a single executable. The ali file corresponds
666 -- to Main_ALI_File. Executable is the file name of an executable.
667 -- Non_Std_Executable is set to True when there is a possibility that
668 -- the linker will not choose the correct executable file name.
670 ----------------------------------------------------
671 -- Compiler, Binder & Linker Data and Subprograms --
672 ----------------------------------------------------
674 Gcc : String_Access := Program_Name ("gcc", "gnatmake");
675 Gnatbind : String_Access := Program_Name ("gnatbind", "gnatmake");
676 Gnatlink : String_Access := Program_Name ("gnatlink", "gnatmake");
677 -- Default compiler, binder, linker programs
679 Globalizer : constant String := "codepeer_globalizer";
680 -- CodePeer globalizer executable name
682 Saved_Gcc : String_Access := null;
683 Saved_Gnatbind : String_Access := null;
684 Saved_Gnatlink : String_Access := null;
685 -- Given by the command line. Will be used, if non null
687 Gcc_Path : String_Access :=
688 GNAT.OS_Lib.Locate_Exec_On_Path (Gcc.all);
689 Gnatbind_Path : String_Access :=
690 GNAT.OS_Lib.Locate_Exec_On_Path (Gnatbind.all);
691 Gnatlink_Path : String_Access :=
692 GNAT.OS_Lib.Locate_Exec_On_Path (Gnatlink.all);
693 -- Path for compiler, binder, linker programs, defaulted now for gnatdist.
694 -- Changed later if overridden on command line.
696 Globalizer_Path : constant String_Access :=
697 GNAT.OS_Lib.Locate_Exec_On_Path (Globalizer);
698 -- Path for CodePeer globalizer
700 Comp_Flag : constant String_Access := new String'("-c");
701 Output_Flag : constant String_Access := new String'("-o");
702 Ada_Flag_1 : constant String_Access := new String'("-x");
703 Ada_Flag_2 : constant String_Access := new String'("ada");
704 No_gnat_adc : constant String_Access := new String'("-gnatA");
705 GNAT_Flag : constant String_Access := new String'("-gnatpg");
706 Do_Not_Check_Flag : constant String_Access := new String'("-x");
708 Object_Suffix : constant String := Get_Target_Object_Suffix.all;
710 Syntax_Only : Boolean := False;
711 -- Set to True when compiling with -gnats
713 Display_Executed_Programs : Boolean := True;
714 -- Set to True if name of commands should be output on stderr (or on stdout
715 -- if the Commands_To_Stdout flag was set by use of the -eS switch).
717 Output_File_Name_Seen : Boolean := False;
718 -- Set to True after having scanned the file_name for
719 -- switch "-o file_name"
721 Object_Directory_Seen : Boolean := False;
722 -- Set to True after having scanned the object directory for
723 -- switch "-D obj_dir".
725 Object_Directory_Path : String_Access := null;
726 -- The path name of the object directory, set with switch -D
728 type Make_Program_Type is (None, Compiler, Binder, Linker);
730 Program_Args : Make_Program_Type := None;
731 -- Used to indicate if we are scanning gnatmake, gcc, gnatbind, or gnatbind
732 -- options within the gnatmake command line. Used in Scan_Make_Arg only,
733 -- but must be global since value preserved from one call to another.
735 Temporary_Config_File : Boolean := False;
736 -- Set to True when there is a temporary config file used for a project
737 -- file, to avoid displaying the -gnatec switch for a temporary file.
739 procedure Add_Switches
740 (The_Package : Package_Id;
743 Program : Make_Program_Type;
744 Unknown_Switches_To_The_Compiler : Boolean := True;
745 Project_Node_Tree : Project_Node_Tree_Ref;
746 Env : in out Prj.Tree.Environment);
749 Program : Make_Program_Type;
750 Append_Switch : Boolean := True;
751 And_Save : Boolean := True);
754 Program : Make_Program_Type;
755 Append_Switch : Boolean := True;
756 And_Save : Boolean := True);
757 -- Make invokes one of three programs (the compiler, the binder or the
758 -- linker). For the sake of convenience, some program specific switches
759 -- can be passed directly on the gnatmake command line. This procedure
760 -- records these switches so that gnatmake can pass them to the right
761 -- program. S is the switch to be added at the end of the command line
762 -- for Program if Append_Switch is True. If Append_Switch is False S is
763 -- added at the beginning of the command line.
766 (Source_File : File_Name_Type;
768 Is_Main_Source : Boolean;
769 The_Args : Argument_List;
770 Lib_File : File_Name_Type;
771 Full_Lib_File : File_Name_Type;
772 Lib_File_Attr : access File_Attributes;
775 O_File : out File_Name_Type;
776 O_Stamp : out Time_Stamp_Type);
777 -- Determines whether the library file Lib_File is up-to-date or not. The
778 -- full name (with path information) of the object file corresponding to
779 -- Lib_File is returned in O_File. Its time stamp is saved in O_Stamp.
780 -- ALI is the ALI_Id corresponding to Lib_File. If Lib_File in not
781 -- up-to-date, then the corresponding source file needs to be recompiled.
782 -- In this case ALI = No_ALI_Id.
783 -- Full_Lib_File must be the result of calling Osint.Full_Lib_File_Name on
784 -- Lib_File. Precomputing it saves system calls. Lib_File_Attr is the
785 -- initialized attributes of that file, which is also used to save on
786 -- system calls (it can safely be initialized to Unknown_Attributes).
788 procedure Check_Linker_Options
789 (E_Stamp : Time_Stamp_Type;
790 O_File : out File_Name_Type;
791 O_Stamp : out Time_Stamp_Type);
792 -- Checks all linker options for linker files that are newer
793 -- than E_Stamp. If such objects are found, the youngest object
794 -- is returned in O_File and its stamp in O_Stamp.
796 -- If no obsolete linker files were found, the first missing
797 -- linker file is returned in O_File and O_Stamp is empty.
798 -- Otherwise O_File is No_File.
800 procedure Collect_Arguments
801 (Source_File : File_Name_Type;
802 Is_Main_Source : Boolean;
803 Args : Argument_List);
804 -- Collect all arguments for a source to be compiled, including those
805 -- that come from a project file.
807 procedure Display (Program : String; Args : Argument_List);
808 -- Displays Program followed by the arguments in Args if variable
809 -- Display_Executed_Programs is set. The lower bound of Args must be 1.
811 procedure Report_Compilation_Failed;
812 -- Delete all temporary files and fail graciously
818 type Temp_Path_Names is array (Positive range <>) of Path_Name_Type;
819 type Temp_Path_Ptr is access Temp_Path_Names;
821 type Free_File_Indexes is array (Positive range <>) of Positive;
822 type Free_Indexes_Ptr is access Free_File_Indexes;
824 type Project_Compilation_Data is record
825 Mapping_File_Names : Temp_Path_Ptr;
826 -- The name ids of the temporary mapping files used. This is indexed
827 -- on the maximum number of compilation processes we will be spawning
830 Last_Mapping_File_Names : Natural;
831 -- Index of the last mapping file created for this project
833 Free_Mapping_File_Indexes : Free_Indexes_Ptr;
834 -- Indexes in Mapping_File_Names of the mapping file names that can be
835 -- reused for subsequent compilations.
837 Last_Free_Indexes : Natural;
838 -- Number of mapping files that can be reused
840 -- Information necessary when compiling a project
842 type Project_Compilation_Access is access Project_Compilation_Data;
844 package Project_Compilation_Htable is new Simple_HTable
845 (Header_Num => Prj.Header_Num,
846 Element => Project_Compilation_Access,
852 Project_Compilation : Project_Compilation_Htable.Instance;
854 Gnatmake_Mapping_File : String_Access := null;
855 -- The path name of a mapping file specified by switch -C=
857 procedure Init_Mapping_File
858 (Project : Project_Id;
859 Data : in out Project_Compilation_Data;
860 File_Index : in out Natural);
861 -- Create a new temporary mapping file, and fill it with the project file
862 -- mappings, when using project file(s). The out parameter File_Index is
863 -- the index to the name of the file in the array The_Mapping_File_Names.
865 -------------------------------------------------
866 -- Subprogram declarations moved from the spec --
867 -------------------------------------------------
869 procedure Bind (ALI_File : File_Name_Type; Args : Argument_List);
870 -- Binds ALI_File. Args are the arguments to pass to the binder.
871 -- Args must have a lower bound of 1.
873 procedure Display_Commands (Display : Boolean := True);
874 -- The default behavior of Make commands (Compile_Sources, Bind, Link)
875 -- is to display them on stderr. This behavior can be changed repeatedly
876 -- by invoking this procedure.
878 -- If a compilation, bind or link failed one of the following 3 exceptions
879 -- is raised. These need to be handled by the calling routines.
881 procedure Compile_Sources
882 (Main_Source : File_Name_Type;
883 Args : Argument_List;
884 First_Compiled_File : out File_Name_Type;
885 Most_Recent_Obj_File : out File_Name_Type;
886 Most_Recent_Obj_Stamp : out Time_Stamp_Type;
887 Main_Unit : out Boolean;
888 Compilation_Failures : out Natural;
889 Main_Index : Int := 0;
890 Check_Readonly_Files : Boolean := False;
891 Do_Not_Execute : Boolean := False;
892 Force_Compilations : Boolean := False;
893 Keep_Going : Boolean := False;
894 In_Place_Mode : Boolean := False;
895 Initialize_ALI_Data : Boolean := True;
896 Max_Process : Positive := 1);
897 -- Compile_Sources will recursively compile all the sources needed by
898 -- Main_Source. Before calling this routine make sure Namet has been
899 -- initialized. This routine can be called repeatedly with different
900 -- Main_Source file as long as all the source (-I flags), library
901 -- (-B flags) and ada library (-A flags) search paths between calls are
902 -- *exactly* the same. The default directory must also be the same.
904 -- Args contains the arguments to use during the compilations.
905 -- The lower bound of Args must be 1.
907 -- First_Compiled_File is set to the name of the first file that is
908 -- compiled or that needs to be compiled. This is set to No_Name if no
909 -- compilations were needed.
911 -- Most_Recent_Obj_File is set to the full name of the most recent
912 -- object file found when no compilations are needed, that is when
913 -- First_Compiled_File is set to No_Name. When First_Compiled_File
914 -- is set then Most_Recent_Obj_File is set to No_Name.
916 -- Most_Recent_Obj_Stamp is the time stamp of Most_Recent_Obj_File.
918 -- Main_Unit is set to True if Main_Source can be a main unit.
919 -- If Do_Not_Execute is False and First_Compiled_File /= No_Name
920 -- the value of Main_Unit is always False.
921 -- Is this used any more??? It is certainly not used by gnatmake???
923 -- Compilation_Failures is a count of compilation failures. This count
924 -- is used to extract compilation failure reports with Extract_Failure.
926 -- Main_Index, when not zero, is the index of the main unit in source
927 -- file Main_Source which is a multi-unit source.
928 -- Zero indicates that Main_Source is a single unit source file.
930 -- Check_Readonly_Files set it to True to compile source files
931 -- which library files are read-only. When compiling GNAT predefined
932 -- files the "-gnatg" flag is used.
934 -- Do_Not_Execute set it to True to find out the first source that
935 -- needs to be recompiled, but without recompiling it. This file is
936 -- saved in First_Compiled_File.
938 -- Force_Compilations forces all compilations no matter what but
939 -- recompiles read-only files only if Check_Readonly_Files
942 -- Keep_Going when True keep compiling even in the presence of
943 -- compilation errors.
945 -- In_Place_Mode when True save library/object files in their object
946 -- directory if they already exist; otherwise, in the source directory.
948 -- Initialize_ALI_Data set it to True when you want to initialize ALI
949 -- data-structures. This is what you should do most of the time.
950 -- (especially the first time around when you call this routine).
951 -- This parameter is set to False to preserve previously recorded
954 -- Max_Process is the maximum number of processes that should be spawned
955 -- to carry out compilations.
957 -- Flags in Package Opt Affecting Compile_Sources
958 -- -----------------------------------------------
960 -- Check_Object_Consistency set it to False to omit all consistency
961 -- checks between an .ali file and its corresponding object file.
962 -- When this flag is set to true, every time an .ali is read,
963 -- package Osint checks that the corresponding object file
964 -- exists and is more recent than the .ali.
966 -- Use of Name Table Info
967 -- ----------------------
969 -- All file names manipulated by Compile_Sources are entered into the
970 -- Names table. The Byte field of a source file is used to mark it.
972 -- Calling Compile_Sources Several Times
973 -- -------------------------------------
975 -- Upon return from Compile_Sources all the ALI data structures are left
976 -- intact for further browsing. HOWEVER upon entry to this routine ALI
977 -- data structures are re-initialized if parameter Initialize_ALI_Data
978 -- above is set to true. Typically this is what you want the first time
979 -- you call Compile_Sources. You should not load an ali file, call this
980 -- routine with flag Initialize_ALI_Data set to True and then expect
981 -- that ALI information to be around after the call. Note that the first
982 -- time you call Compile_Sources you better set Initialize_ALI_Data to
983 -- True unless you have called Initialize_ALI yourself.
985 -- Compile_Sources ALGORITHM : Compile_Sources (Main_Source)
986 -- -------------------------
988 -- 1. Insert Main_Source in a Queue (Q) and mark it.
990 -- 2. Let unit.adb be the file at the head of the Q. If unit.adb is
991 -- missing but its corresponding ali file is in an Ada library directory
992 -- (see below) then, remove unit.adb from the Q and goto step 4.
993 -- Otherwise, look at the files under the D (dependency) section of
994 -- unit.ali. If unit.ali does not exist or some of the time stamps do
995 -- not match, (re)compile unit.adb.
997 -- An Ada library directory is a directory containing Ada specs, ali
998 -- and object files but no source files for the bodies. An Ada library
999 -- directory is communicated to gnatmake by means of some switch so that
1000 -- gnatmake can skip the sources whole ali are in that directory.
1001 -- There are two reasons for skipping the sources in this case. Firstly,
1002 -- Ada libraries typically come without full sources but binding and
1003 -- linking against those libraries is still possible. Secondly, it would
1004 -- be very wasteful for gnatmake to systematically check the consistency
1005 -- of every external Ada library used in a program. The binder is
1006 -- already in charge of catching any potential inconsistencies.
1008 -- 3. Look into the W section of unit.ali and insert into the Q all
1009 -- unmarked source files. Mark all files newly inserted in the Q.
1010 -- Specifically, assuming that the W section looks like
1012 -- W types%s types.adb types.ali
1013 -- W unchecked_deallocation%s
1014 -- W xref_tab%s xref_tab.adb xref_tab.ali
1016 -- Then xref_tab.adb and types.adb are inserted in the Q if they are not
1018 -- Note that there is no file listed under W unchecked_deallocation%s
1019 -- so no generic body should ever be explicitly compiled (unless the
1020 -- Main_Source at the start was a generic body).
1022 -- 4. Repeat steps 2 and 3 above until the Q is empty
1024 -- Note that the above algorithm works because the units withed in
1025 -- subunits are transitively included in the W section (with section) of
1026 -- the main unit. Likewise the withed units in a generic body needed
1027 -- during a compilation are also transitively included in the W section
1028 -- of the originally compiled file.
1030 procedure Globalize (Success : out Boolean);
1031 -- Call the CodePeer globalizer on all the project's object directories,
1032 -- or on the current directory if no projects.
1034 procedure Initialize
1035 (Project_Node_Tree : out Project_Node_Tree_Ref;
1036 Env : out Prj.Tree.Environment);
1037 -- Performs default and package initialization. Therefore,
1038 -- Compile_Sources can be called by an external unit.
1041 (ALI_File : File_Name_Type;
1042 Args : Argument_List;
1043 Success : out Boolean);
1044 -- Links ALI_File. Args are the arguments to pass to the linker.
1045 -- Args must have a lower bound of 1. Success indicates if the link
1046 -- succeeded or not.
1048 procedure Scan_Make_Arg
1049 (Env : in out Prj.Tree.Environment;
1051 And_Save : Boolean);
1052 -- Scan make arguments. Argv is a single argument to be processed.
1053 -- Project_Node_Tree will be used to initialize external references. It
1054 -- must have been initialized.
1060 procedure Add_Arguments (Args : Argument_List) is
1062 if Arguments = null then
1063 Arguments := new Argument_List (1 .. Args'Length + 10);
1066 while Last_Argument + Args'Length > Arguments'Last loop
1068 New_Arguments : constant Argument_List_Access :=
1069 new Argument_List (1 .. Arguments'Last * 2);
1071 New_Arguments (1 .. Last_Argument) :=
1072 Arguments (1 .. Last_Argument);
1073 Arguments := New_Arguments;
1078 Arguments (Last_Argument + 1 .. Last_Argument + Args'Length) := Args;
1079 Last_Argument := Last_Argument + Args'Length;
1082 -- --------------------
1083 -- -- Add_Dependency --
1084 -- --------------------
1086 -- procedure Add_Dependency (S : File_Name_Type; On : File_Name_Type) is
1088 -- Dependencies.Increment_Last;
1089 -- Dependencies.Table (Dependencies.Last) := (S, On);
1090 -- end Add_Dependency;
1092 ----------------------------
1093 -- Add_Library_Search_Dir --
1094 ----------------------------
1096 procedure Add_Library_Search_Dir
1098 On_Command_Line : Boolean)
1101 if On_Command_Line then
1102 Add_Lib_Search_Dir (Normalize_Pathname (Path));
1105 Get_Name_String (Main_Project.Directory.Display_Name);
1107 (Normalize_Pathname (Path, Name_Buffer (1 .. Name_Len)));
1109 end Add_Library_Search_Dir;
1111 --------------------
1112 -- Add_Object_Dir --
1113 --------------------
1115 procedure Add_Object_Dir (N : String) is
1117 Add_Lib_Search_Dir (N);
1119 if Verbose_Mode then
1120 Write_Str ("Adding object directory """);
1127 --------------------
1128 -- Add_Source_Dir --
1129 --------------------
1131 procedure Add_Source_Dir (N : String) is
1133 Add_Src_Search_Dir (N);
1135 if Verbose_Mode then
1136 Write_Str ("Adding source directory """);
1143 ---------------------------
1144 -- Add_Source_Search_Dir --
1145 ---------------------------
1147 procedure Add_Source_Search_Dir
1149 On_Command_Line : Boolean)
1152 if On_Command_Line then
1153 Add_Src_Search_Dir (Normalize_Pathname (Path));
1156 Get_Name_String (Main_Project.Directory.Display_Name);
1158 (Normalize_Pathname (Path, Name_Buffer (1 .. Name_Len)));
1160 end Add_Source_Search_Dir;
1166 procedure Add_Switch
1168 Program : Make_Program_Type;
1169 Append_Switch : Boolean := True;
1170 And_Save : Boolean := True)
1173 with package T is new Table.Table (<>);
1174 procedure Generic_Position (New_Position : out Integer);
1175 -- Generic procedure that chooses a position for S in T at the
1176 -- beginning or the end, depending on the boolean Append_Switch.
1177 -- Calling this procedure may expand the table.
1179 ----------------------
1180 -- Generic_Position --
1181 ----------------------
1183 procedure Generic_Position (New_Position : out Integer) is
1187 if Append_Switch then
1188 New_Position := Integer (T.Last);
1190 for J in reverse T.Table_Index_Type'Succ (T.First) .. T.Last loop
1191 T.Table (J) := T.Table (T.Table_Index_Type'Pred (J));
1194 New_Position := Integer (T.First);
1196 end Generic_Position;
1198 procedure Gcc_Switches_Pos is new Generic_Position (Gcc_Switches);
1199 procedure Binder_Switches_Pos is new Generic_Position (Binder_Switches);
1200 procedure Linker_Switches_Pos is new Generic_Position (Linker_Switches);
1202 procedure Saved_Gcc_Switches_Pos is new
1203 Generic_Position (Saved_Gcc_Switches);
1205 procedure Saved_Binder_Switches_Pos is new
1206 Generic_Position (Saved_Binder_Switches);
1208 procedure Saved_Linker_Switches_Pos is new
1209 Generic_Position (Saved_Linker_Switches);
1211 New_Position : Integer;
1213 -- Start of processing for Add_Switch
1219 Saved_Gcc_Switches_Pos (New_Position);
1220 Saved_Gcc_Switches.Table (New_Position) := S;
1223 Saved_Binder_Switches_Pos (New_Position);
1224 Saved_Binder_Switches.Table (New_Position) := S;
1227 Saved_Linker_Switches_Pos (New_Position);
1228 Saved_Linker_Switches.Table (New_Position) := S;
1231 raise Program_Error;
1237 Gcc_Switches_Pos (New_Position);
1238 Gcc_Switches.Table (New_Position) := S;
1241 Binder_Switches_Pos (New_Position);
1242 Binder_Switches.Table (New_Position) := S;
1245 Linker_Switches_Pos (New_Position);
1246 Linker_Switches.Table (New_Position) := S;
1249 raise Program_Error;
1254 procedure Add_Switch
1256 Program : Make_Program_Type;
1257 Append_Switch : Boolean := True;
1258 And_Save : Boolean := True)
1261 Add_Switch (S => new String'(S),
1263 Append_Switch => Append_Switch,
1264 And_Save => And_Save);
1271 procedure Add_Switches
1272 (The_Package : Package_Id;
1275 Program : Make_Program_Type;
1276 Unknown_Switches_To_The_Compiler : Boolean := True;
1277 Project_Node_Tree : Project_Node_Tree_Ref;
1278 Env : in out Prj.Tree.Environment)
1280 Switches : Variable_Value;
1281 Switch_List : String_List_Id;
1282 Element : String_Element;
1285 Switch_May_Be_Passed_To_The_Compiler :=
1286 Unknown_Switches_To_The_Compiler;
1288 if File_Name'Length > 0 then
1290 Add_Str_To_Name_Buffer (File_Name);
1293 (Source_File => Name_Find,
1294 Project => Main_Project,
1295 In_Package => The_Package,
1296 Allow_ALI => Program = Binder or else Program = Linker);
1298 if Switches.Kind = List then
1299 Program_Args := Program;
1301 Switch_List := Switches.Values;
1302 while Switch_List /= Nil_String loop
1304 Project_Tree.Shared.String_Elements.Table (Switch_List);
1305 Get_Name_String (Element.Value);
1307 if Name_Len > 0 then
1309 Argv : constant String := Name_Buffer (1 .. Name_Len);
1310 -- We need a copy, because Name_Buffer may be modified
1313 if Verbose_Mode then
1314 Write_Str (" Adding ");
1318 Scan_Make_Arg (Env, Argv, And_Save => False);
1320 if not Gnatmake_Switch_Found
1321 and then not Switch_May_Be_Passed_To_The_Compiler
1325 """ is not a gnatmake switch. Consider moving " &
1326 "it to Global_Compilation_Switches.",
1328 Make_Failed ("*** illegal switch """ & Argv & """");
1333 Switch_List := Element.Next;
1343 procedure Bind (ALI_File : File_Name_Type; Args : Argument_List) is
1344 Bind_Args : Argument_List (1 .. Args'Last + 2);
1345 Bind_Last : Integer;
1349 pragma Assert (Args'First = 1);
1351 -- Optimize the simple case where the gnatbind command line looks like
1352 -- gnatbind -aO. -I- file.ali
1354 -- gnatbind file.adb
1357 and then Args (Args'First).all = "-aO" & Normalized_CWD
1358 and then Args (Args'Last).all = "-I-"
1359 and then ALI_File = Strip_Directory (ALI_File)
1361 Bind_Last := Args'First - 1;
1364 Bind_Last := Args'Last;
1365 Bind_Args (Args'Range) := Args;
1368 -- It is completely pointless to re-check source file time stamps. This
1369 -- has been done already by gnatmake
1371 Bind_Last := Bind_Last + 1;
1372 Bind_Args (Bind_Last) := Do_Not_Check_Flag;
1374 Get_Name_String (ALI_File);
1376 Bind_Last := Bind_Last + 1;
1377 Bind_Args (Bind_Last) := new String'(Name_Buffer (1 .. Name_Len));
1379 GNAT.OS_Lib.Normalize_Arguments (Bind_Args (Args'First .. Bind_Last));
1381 Display (Gnatbind.all, Bind_Args (Args'First .. Bind_Last));
1383 if Gnatbind_Path = null then
1384 Make_Failed ("error, unable to locate " & Gnatbind.all);
1388 (Gnatbind_Path.all, Bind_Args (Args'First .. Bind_Last), Success);
1391 Make_Failed ("*** bind failed.");
1395 --------------------------------
1396 -- Change_To_Object_Directory --
1397 --------------------------------
1399 procedure Change_To_Object_Directory (Project : Project_Id) is
1400 Object_Directory : Path_Name_Type;
1403 pragma Assert (Project /= No_Project);
1405 -- Nothing to do if the current working directory is already the correct
1406 -- object directory.
1408 if Project_Of_Current_Object_Directory /= Project then
1409 Project_Of_Current_Object_Directory := Project;
1410 Object_Directory := Project.Object_Directory.Display_Name;
1412 -- Set the working directory to the object directory of the actual
1415 if Verbose_Mode then
1416 Write_Str ("Changing to object directory of """);
1417 Write_Name (Project.Display_Name);
1418 Write_Str (""": """);
1419 Write_Name (Object_Directory);
1423 Change_Dir (Get_Name_String (Object_Directory));
1427 -- Fail if unable to change to the object directory
1429 when Directory_Error =>
1430 Make_Failed ("unable to change to object directory """ &
1432 (Project.Object_Directory.Display_Name) &
1434 Get_Name_String (Project.Display_Name));
1435 end Change_To_Object_Directory;
1442 (Source_File : File_Name_Type;
1444 Is_Main_Source : Boolean;
1445 The_Args : Argument_List;
1446 Lib_File : File_Name_Type;
1447 Full_Lib_File : File_Name_Type;
1448 Lib_File_Attr : access File_Attributes;
1449 Read_Only : Boolean;
1451 O_File : out File_Name_Type;
1452 O_Stamp : out Time_Stamp_Type)
1454 function First_New_Spec (A : ALI_Id) return File_Name_Type;
1455 -- Looks in the with table entries of A and returns the spec file name
1456 -- of the first withed unit (subprogram) for which no spec existed when
1457 -- A was generated but for which there exists one now, implying that A
1458 -- is now obsolete. If no such unit is found No_File is returned.
1459 -- Otherwise the spec file name of the unit is returned.
1461 -- **WARNING** in the event of Uname format modifications, one *MUST*
1462 -- make sure this function is also updated.
1464 -- Note: This function should really be in ali.adb and use Uname
1465 -- services, but this causes the whole compiler to be dragged along
1466 -- for gnatbind and gnatmake.
1468 --------------------
1469 -- First_New_Spec --
1470 --------------------
1472 function First_New_Spec (A : ALI_Id) return File_Name_Type is
1473 Spec_File_Name : File_Name_Type := No_File;
1475 function New_Spec (Uname : Unit_Name_Type) return Boolean;
1476 -- Uname is the name of the spec or body of some ada unit. This
1477 -- function returns True if the Uname is the name of a body which has
1478 -- a spec not mentioned in ALI file A. If True is returned
1479 -- Spec_File_Name above is set to the name of this spec file.
1485 function New_Spec (Uname : Unit_Name_Type) return Boolean is
1486 Spec_Name : Unit_Name_Type;
1487 File_Name : File_Name_Type;
1490 -- Test whether Uname is the name of a body unit (i.e. ends
1493 Get_Name_String (Uname);
1495 Assert (Name_Len > 2 and then Name_Buffer (Name_Len - 1) = '%');
1497 if Name_Buffer (Name_Len) /= 'b' then
1501 -- Convert unit name into spec name
1503 -- ??? this code seems dubious in presence of pragma
1504 -- Source_File_Name since there is no more direct relationship
1505 -- between unit name and file name.
1507 -- ??? Further, what about alternative subunit naming
1509 Name_Buffer (Name_Len) := 's';
1510 Spec_Name := Name_Find;
1511 File_Name := Get_File_Name (Spec_Name, Subunit => False);
1513 -- Look if File_Name is mentioned in A's sdep list.
1514 -- If not look if the file exists. If it does return True.
1517 ALIs.Table (A).First_Sdep .. ALIs.Table (A).Last_Sdep
1519 if Sdep.Table (D).Sfile = File_Name then
1524 if Full_Source_Name (File_Name) /= No_File then
1525 Spec_File_Name := File_Name;
1532 -- Start of processing for First_New_Spec
1536 ALIs.Table (A).First_Unit .. ALIs.Table (A).Last_Unit
1538 exit U_Chk when Units.Table (U).Utype = Is_Body_Only
1539 and then New_Spec (Units.Table (U).Uname);
1541 for W in Units.Table (U).First_With
1543 Units.Table (U).Last_With
1546 Withs.Table (W).Afile /= No_File
1547 and then New_Spec (Withs.Table (W).Uname);
1551 return Spec_File_Name;
1554 ---------------------------------
1555 -- Data declarations for Check --
1556 ---------------------------------
1558 Full_Obj_File : File_Name_Type;
1559 -- Full name of the object file corresponding to Lib_File
1561 Lib_Stamp : Time_Stamp_Type;
1562 -- Time stamp of the current ada library file
1564 Obj_Stamp : Time_Stamp_Type;
1565 -- Time stamp of the current object file
1567 Modified_Source : File_Name_Type;
1568 -- The first source in Lib_File whose current time stamp differs from
1569 -- that stored in Lib_File.
1571 New_Spec : File_Name_Type;
1572 -- If Lib_File contains in its W (with) section a body (for a
1573 -- subprogram) for which there exists a spec, and the spec did not
1574 -- appear in the Sdep section of Lib_File, New_Spec contains the file
1575 -- name of this new spec.
1577 Source_Name : File_Name_Type;
1578 Text : Text_Buffer_Ptr;
1580 Prev_Switch : String_Access;
1581 -- Previous switch processed
1583 Arg : Arg_Id := Arg_Id'First;
1584 -- Current index in Args.Table for a given unit (init to stop warning)
1586 Switch_Found : Boolean;
1587 -- True if a given switch has been found
1589 ALI_Project : Project_Id;
1590 -- If the ALI file is in the object directory of a project, this is
1593 -- Start of processing for Check
1596 pragma Assert (Lib_File /= No_File);
1598 -- If ALI file is read-only, temporarily set Check_Object_Consistency to
1599 -- False. We don't care if the object file is not there (presumably a
1600 -- library will be used for linking.)
1604 Saved_Check_Object_Consistency : constant Boolean :=
1605 Check_Object_Consistency;
1607 Check_Object_Consistency := False;
1608 Text := Read_Library_Info_From_Full (Full_Lib_File, Lib_File_Attr);
1609 Check_Object_Consistency := Saved_Check_Object_Consistency;
1613 Text := Read_Library_Info_From_Full (Full_Lib_File, Lib_File_Attr);
1616 Full_Obj_File := Full_Object_File_Name;
1617 Lib_Stamp := Current_Library_File_Stamp;
1618 Obj_Stamp := Current_Object_File_Stamp;
1620 if Full_Lib_File = No_File then
1623 "being checked ...",
1625 Minimum_Verbosity => Opt.Medium);
1629 "being checked ...",
1631 Minimum_Verbosity => Opt.Medium);
1635 O_File := Full_Obj_File;
1636 O_Stamp := Obj_Stamp;
1639 if Full_Lib_File = No_File then
1640 Verbose_Msg (Lib_File, "missing.");
1642 elsif Obj_Stamp (Obj_Stamp'First) = ' ' then
1643 Verbose_Msg (Full_Obj_File, "missing.");
1647 (Full_Lib_File, "(" & String (Lib_Stamp) & ") newer than",
1648 Full_Obj_File, "(" & String (Obj_Stamp) & ")");
1652 ALI := Scan_ALI (Lib_File, Text, Ignore_ED => False, Err => True);
1655 if ALI = No_ALI_Id then
1656 Verbose_Msg (Full_Lib_File, "incorrectly formatted ALI file");
1659 elsif ALIs.Table (ALI).Ver (1 .. ALIs.Table (ALI).Ver_Len) /=
1660 Verbose_Library_Version
1662 Verbose_Msg (Full_Lib_File, "compiled with old GNAT version");
1667 -- Don't take ALI file into account if it was generated with errors
1669 if ALIs.Table (ALI).Compile_Errors then
1670 Verbose_Msg (Full_Lib_File, "had errors, must be recompiled");
1675 -- Don't take ALI file into account if no object was generated
1677 if Operating_Mode /= Check_Semantics
1678 and then ALIs.Table (ALI).No_Object
1680 Verbose_Msg (Full_Lib_File, "has no corresponding object");
1685 -- When compiling with -gnatc, don't take ALI file into account if
1686 -- it has not been generated for the current source, for example if
1687 -- it has been generated for the spec, but we are compiling the body.
1689 if Operating_Mode = Check_Semantics then
1691 File_Name : String := Get_Name_String (Source_File);
1692 OK : Boolean := False;
1695 -- In the ALI file, the source file names are in canonical case
1697 Canonical_Case_File_Name (File_Name);
1699 for U in ALIs.Table (ALI).First_Unit ..
1700 ALIs.Table (ALI).Last_Unit
1702 OK := Get_Name_String (Units.Table (U).Sfile) = File_Name;
1708 (Full_Lib_File, "not generated for the same source");
1715 -- Check for matching compiler switches if needed
1717 if Check_Switches then
1719 -- First, collect all the switches
1721 Collect_Arguments (Source_File, Is_Main_Source, The_Args);
1722 Prev_Switch := Dummy_Switch;
1723 Get_Name_String (ALIs.Table (ALI).Sfile);
1724 Switches_To_Check.Set_Last (0);
1726 for J in 1 .. Last_Argument loop
1728 -- Skip non switches -c, -I and -o switches
1730 if Arguments (J) (1) = '-'
1731 and then Arguments (J) (2) /= 'c'
1732 and then Arguments (J) (2) /= 'o'
1733 and then Arguments (J) (2) /= 'I'
1735 Normalize_Compiler_Switches
1737 Normalized_Switches,
1740 for K in 1 .. Last_Norm_Switch loop
1741 Switches_To_Check.Increment_Last;
1742 Switches_To_Check.Table (Switches_To_Check.Last) :=
1743 Normalized_Switches (K);
1748 for J in 1 .. Switches_To_Check.Last loop
1750 -- Comparing switches is delicate because gcc reorders a number
1751 -- of switches, according to lang-specs.h, but gnatmake doesn't
1752 -- have sufficient knowledge to perform the same reordering.
1753 -- Instead, we ignore orders between different "first letter"
1754 -- switches, but keep orders between same switches, e.g -O -O2
1755 -- is different than -O2 -O, but -g -O is equivalent to -O -g.
1757 if Switches_To_Check.Table (J) (2) /= Prev_Switch (2) or else
1758 (Prev_Switch'Length >= 6 and then
1759 Prev_Switch (2 .. 5) = "gnat" and then
1760 Switches_To_Check.Table (J)'Length >= 6 and then
1761 Switches_To_Check.Table (J) (2 .. 5) = "gnat" and then
1762 Prev_Switch (6) /= Switches_To_Check.Table (J) (6))
1764 Prev_Switch := Switches_To_Check.Table (J);
1766 Units.Table (ALIs.Table (ALI).First_Unit).First_Arg;
1769 Switch_Found := False;
1772 Units.Table (ALIs.Table (ALI).First_Unit).Last_Arg
1775 Switches_To_Check.Table (J).all = Args.Table (K).all
1778 Switch_Found := True;
1783 if not Switch_Found then
1784 if Verbose_Mode then
1785 Verbose_Msg (ALIs.Table (ALI).Sfile,
1786 "switch mismatch """ &
1787 Switches_To_Check.Table (J).all & '"');
1795 if Switches_To_Check.Last /=
1796 Integer (Units.Table (ALIs.Table (ALI).First_Unit).Last_Arg -
1797 Units.Table (ALIs.Table (ALI).First_Unit).First_Arg + 1)
1799 if Verbose_Mode then
1800 Verbose_Msg (ALIs.Table (ALI).Sfile,
1801 "different number of switches");
1803 for K in Units.Table (ALIs.Table (ALI).First_Unit).First_Arg
1804 .. Units.Table (ALIs.Table (ALI).First_Unit).Last_Arg
1806 Write_Str (Args.Table (K).all);
1812 for J in 1 .. Switches_To_Check.Last loop
1813 Write_Str (Switches_To_Check.Table (J).all);
1825 -- Get the source files and their message digests. Note that some
1826 -- sources may be missing if ALI is out-of-date.
1828 Set_Source_Table (ALI);
1830 Modified_Source := Time_Stamp_Mismatch (ALI, Read_Only);
1832 -- To avoid using too much memory when switch -m is used, free the
1833 -- memory allocated for the source file when computing the checksum.
1835 if Minimal_Recompilation then
1836 Sinput.P.Clear_Source_File_Table;
1839 if Modified_Source /= No_File then
1842 if Verbose_Mode then
1843 Source_Name := Full_Source_Name (Modified_Source);
1845 if Source_Name /= No_File then
1846 Verbose_Msg (Source_Name, "time stamp mismatch");
1848 Verbose_Msg (Modified_Source, "missing");
1853 New_Spec := First_New_Spec (ALI);
1855 if New_Spec /= No_File then
1858 if Verbose_Mode then
1859 Source_Name := Full_Source_Name (New_Spec);
1861 if Source_Name /= No_File then
1862 Verbose_Msg (Source_Name, "new spec");
1864 Verbose_Msg (New_Spec, "old spec missing");
1868 elsif not Read_Only and then Main_Project /= No_Project then
1869 if not Check_Source_Info_In_ALI (ALI, Project_Tree) then
1874 -- Check that the ALI file is in the correct object directory.
1875 -- If it is in the object directory of a project that is
1876 -- extended and it depends on a source that is in one of its
1877 -- extending projects, then the ALI file is not in the correct
1878 -- object directory.
1880 -- First, find the project of this ALI file. As there may be
1881 -- several projects with the same object directory, we first
1882 -- need to find the project of the source.
1884 ALI_Project := No_Project;
1887 Udata : Prj.Unit_Index;
1890 Udata := Units_Htable.Get_First (Project_Tree.Units_HT);
1891 while Udata /= No_Unit_Index loop
1892 if Udata.File_Names (Impl) /= null
1893 and then Udata.File_Names (Impl).File = Source_File
1895 ALI_Project := Udata.File_Names (Impl).Project;
1898 elsif Udata.File_Names (Spec) /= null
1899 and then Udata.File_Names (Spec).File = Source_File
1901 ALI_Project := Udata.File_Names (Spec).Project;
1905 Udata := Units_Htable.Get_Next (Project_Tree.Units_HT);
1909 if ALI_Project = No_Project then
1914 Obj_Dir : Path_Name_Type;
1915 Res_Obj_Dir : constant String :=
1918 (Get_Name_String (Full_Lib_File)),
1920 Opt.Follow_Links_For_Dirs,
1921 Case_Sensitive => False);
1925 Add_Str_To_Name_Buffer (Res_Obj_Dir);
1927 if not Is_Directory_Separator (Name_Buffer (Name_Len)) then
1928 Add_Char_To_Name_Buffer (Directory_Separator);
1931 Obj_Dir := Name_Find;
1933 while ALI_Project /= No_Project
1934 and then Obj_Dir /= ALI_Project.Object_Directory.Name
1936 ALI_Project := ALI_Project.Extended_By;
1940 if ALI_Project = No_Project then
1943 Verbose_Msg (Lib_File, " wrong object directory");
1947 -- If the ALI project is not extended, then it must be in
1948 -- the correct object directory.
1950 if ALI_Project.Extended_By = No_Project then
1954 -- Count the extending projects
1962 Proj := ALI_Project;
1964 Proj := Proj.Extended_By;
1965 exit when Proj = No_Project;
1966 Num_Ext := Num_Ext + 1;
1969 -- Make a list of the extending projects
1972 Projects : array (1 .. Num_Ext) of Project_Id;
1974 OK : Boolean := True;
1978 Proj := ALI_Project;
1979 for J in Projects'Range loop
1980 Proj := Proj.Extended_By;
1981 Projects (J) := Proj;
1984 -- Now check if any of the dependant sources are in any
1985 -- of these extending projects.
1988 for D in ALIs.Table (ALI).First_Sdep ..
1989 ALIs.Table (ALI).Last_Sdep
1991 Dep := Sdep.Table (D);
1992 UID := Units_Htable.Get_First (Project_Tree.Units_HT);
1996 while UID /= null loop
1997 if UID.File_Names (Impl) /= null
1998 and then UID.File_Names (Impl).File = Dep.Sfile
2000 Proj := UID.File_Names (Impl).Project;
2002 elsif UID.File_Names (Spec) /= null
2003 and then UID.File_Names (Spec).File = Dep.Sfile
2005 Proj := UID.File_Names (Spec).Project;
2008 -- If a source is in a project, check if it is one
2011 if Proj /= No_Project then
2012 for J in Projects'Range loop
2013 if Proj = Projects (J) then
2023 Units_Htable.Get_Next (Project_Tree.Units_HT);
2027 -- If one of the dependent sources is in one project of
2028 -- the list, then we must recompile.
2032 Verbose_Msg (Lib_File, " wrong object directory");
2041 ------------------------
2042 -- Check_For_S_Switch --
2043 ------------------------
2045 procedure Check_For_S_Switch is
2047 -- By default, we generate an object file
2049 Output_Is_Object := True;
2051 for Arg in 1 .. Last_Argument loop
2052 if Arguments (Arg).all = "-S" then
2053 Output_Is_Object := False;
2055 elsif Arguments (Arg).all = "-c" then
2056 Output_Is_Object := True;
2059 end Check_For_S_Switch;
2061 --------------------------
2062 -- Check_Linker_Options --
2063 --------------------------
2065 procedure Check_Linker_Options
2066 (E_Stamp : Time_Stamp_Type;
2067 O_File : out File_Name_Type;
2068 O_Stamp : out Time_Stamp_Type)
2070 procedure Check_File (File : File_Name_Type);
2071 -- Update O_File and O_Stamp if the given file is younger than E_Stamp
2072 -- and O_Stamp, or if O_File is No_File and File does not exist.
2074 function Get_Library_File (Name : String) return File_Name_Type;
2075 -- Return the full file name including path of a library based
2076 -- on the name specified with the -l linker option, using the
2077 -- Ada object path. Return No_File if no such file can be found.
2079 type Char_Array is array (Natural) of Character;
2080 type Char_Array_Access is access constant Char_Array;
2082 Template : Char_Array_Access;
2083 pragma Import (C, Template, "__gnat_library_template");
2089 procedure Check_File (File : File_Name_Type) is
2090 Stamp : Time_Stamp_Type;
2091 Name : File_Name_Type := File;
2094 Get_Name_String (Name);
2096 -- Remove any trailing NUL characters
2098 while Name_Len >= Name_Buffer'First
2099 and then Name_Buffer (Name_Len) = NUL
2101 Name_Len := Name_Len - 1;
2104 if Name_Len = 0 then
2107 elsif Name_Buffer (1) = '-' then
2109 -- Do not check if File is a switch other than "-l"
2111 if Name_Buffer (2) /= 'l' then
2115 -- The argument is a library switch, get actual name. It
2116 -- is necessary to make a copy of the relevant part of
2117 -- Name_Buffer as Get_Library_Name uses Name_Buffer as well.
2120 Base_Name : constant String := Name_Buffer (3 .. Name_Len);
2123 Name := Get_Library_File (Base_Name);
2126 if Name = No_File then
2131 Stamp := File_Stamp (Name);
2133 -- Find the youngest object file that is younger than the
2134 -- executable. If no such file exist, record the first object
2135 -- file that is not found.
2137 if (O_Stamp < Stamp and then E_Stamp < Stamp)
2138 or else (O_File = No_File and then Stamp (Stamp'First) = ' ')
2143 -- Strip the trailing NUL if present
2145 Get_Name_String (O_File);
2147 if Name_Buffer (Name_Len) = NUL then
2148 Name_Len := Name_Len - 1;
2149 O_File := Name_Find;
2154 ----------------------
2155 -- Get_Library_Name --
2156 ----------------------
2158 -- See comments in a-adaint.c about template syntax
2160 function Get_Library_File (Name : String) return File_Name_Type is
2161 File : File_Name_Type := No_File;
2166 for Ptr in Template'Range loop
2167 case Template (Ptr) is
2169 Add_Str_To_Name_Buffer (Name);
2172 File := Full_Lib_File_Name (Name_Find);
2173 exit when File /= No_File;
2180 Add_Char_To_Name_Buffer (Template (Ptr));
2184 -- The for loop exited because the end of the template
2185 -- was reached. File contains the last possible file name
2188 if File = No_File and then Name_Len > 0 then
2189 File := Full_Lib_File_Name (Name_Find);
2193 end Get_Library_File;
2195 -- Start of processing for Check_Linker_Options
2199 O_Stamp := (others => ' ');
2201 -- Process linker options from the ALI files
2203 for Opt in 1 .. Linker_Options.Last loop
2204 Check_File (File_Name_Type (Linker_Options.Table (Opt).Name));
2207 -- Process options given on the command line
2209 for Opt in Linker_Switches.First .. Linker_Switches.Last loop
2211 -- Check if the previous Opt has one of the two switches
2212 -- that take an extra parameter. (See GCC manual.)
2214 if Opt = Linker_Switches.First
2215 or else (Linker_Switches.Table (Opt - 1).all /= "-u"
2217 Linker_Switches.Table (Opt - 1).all /= "-Xlinker"
2219 Linker_Switches.Table (Opt - 1).all /= "-L")
2222 Add_Str_To_Name_Buffer (Linker_Switches.Table (Opt).all);
2223 Check_File (Name_Find);
2226 end Check_Linker_Options;
2232 procedure Check_Steps is
2234 -- If either -c, -b or -l has been specified, we will not necessarily
2235 -- execute all steps.
2238 Do_Compile_Step := Do_Compile_Step and Compile_Only;
2239 Do_Bind_Step := Do_Bind_Step and Bind_Only;
2240 Do_Link_Step := Do_Link_Step and Link_Only;
2242 -- If -c has been specified, but not -b, ignore any potential -l
2244 if Do_Compile_Step and then not Do_Bind_Step then
2245 Do_Link_Step := False;
2250 -----------------------
2251 -- Collect_Arguments --
2252 -----------------------
2254 procedure Collect_Arguments
2255 (Source_File : File_Name_Type;
2256 Is_Main_Source : Boolean;
2257 Args : Argument_List)
2260 Arguments_Project := No_Project;
2262 Add_Arguments (Args);
2264 if Main_Project /= No_Project then
2266 Source_File_Name : constant String :=
2267 Get_Name_String (Source_File);
2268 Compiler_Package : Prj.Package_Id;
2269 Switches : Prj.Variable_Value;
2274 (Source_File_Name => Source_File_Name,
2275 Project => Arguments_Project,
2276 Path => Arguments_Path_Name,
2277 In_Tree => Project_Tree);
2279 -- If the source is not a source of a project file, add the
2280 -- recorded arguments. Check will be done later if the source
2281 -- need to be compiled that the switch -x has been used.
2283 if Arguments_Project = No_Project then
2284 Add_Arguments (The_Saved_Gcc_Switches.all);
2286 elsif not Arguments_Project.Externally_Built
2287 or else Must_Compile
2289 -- We get the project directory for the relative path
2290 -- switches and arguments.
2292 Arguments_Project :=
2293 Ultimate_Extending_Project_Of (Arguments_Project);
2295 -- If building a dynamic or relocatable library, compile with
2296 -- PIC option, if it exists.
2298 if Arguments_Project.Library
2299 and then Arguments_Project.Library_Kind /= Static
2302 PIC : constant String := MLib.Tgt.PIC_Option;
2305 Add_Arguments ((1 => new String'(PIC)));
2310 -- We now look for package Compiler and get the switches from
2315 (Name => Name_Compiler,
2316 In_Packages => Arguments_Project.Decl.Packages,
2317 Shared => Project_Tree.Shared);
2319 if Compiler_Package /= No_Package then
2321 -- If package Gnatmake.Compiler exists, we get the specific
2322 -- switches for the current source, or the global switches,
2327 (Source_File => Source_File,
2328 Project => Arguments_Project,
2329 In_Package => Compiler_Package,
2330 Allow_ALI => False);
2334 case Switches.Kind is
2336 -- We have a list of switches. We add these switches,
2337 -- plus the saved gcc switches.
2342 Current : String_List_Id := Switches.Values;
2343 Element : String_Element;
2344 Number : Natural := 0;
2347 while Current /= Nil_String loop
2348 Element := Project_Tree.Shared.String_Elements.
2350 Number := Number + 1;
2351 Current := Element.Next;
2355 New_Args : Argument_List (1 .. Number);
2356 Last_New : Natural := 0;
2357 Dir_Path : constant String := Get_Name_String
2358 (Arguments_Project.Directory.Display_Name);
2361 Current := Switches.Values;
2363 for Index in New_Args'Range loop
2364 Element := Project_Tree.Shared.String_Elements.
2366 Get_Name_String (Element.Value);
2368 if Name_Len > 0 then
2369 Last_New := Last_New + 1;
2370 New_Args (Last_New) :=
2371 new String'(Name_Buffer (1 .. Name_Len));
2372 Test_If_Relative_Path
2373 (New_Args (Last_New),
2374 Do_Fail => Make_Failed'Access,
2376 Including_Non_Switch => False);
2379 Current := Element.Next;
2383 (Configuration_Pragmas_Switch (Arguments_Project)
2384 & New_Args (1 .. Last_New)
2385 & The_Saved_Gcc_Switches.all);
2389 -- We have a single switch. We add this switch,
2390 -- plus the saved gcc switches.
2393 Get_Name_String (Switches.Value);
2396 New_Args : Argument_List :=
2398 (Name_Buffer (1 .. Name_Len)));
2399 Dir_Path : constant String :=
2402 Directory.Display_Name);
2405 Test_If_Relative_Path
2407 Do_Fail => Make_Failed'Access,
2409 Including_Non_Switch => False);
2411 (Configuration_Pragmas_Switch (Arguments_Project) &
2412 New_Args & The_Saved_Gcc_Switches.all);
2415 -- We have no switches from Gnatmake.Compiler.
2416 -- We add the saved gcc switches.
2420 (Configuration_Pragmas_Switch (Arguments_Project) &
2421 The_Saved_Gcc_Switches.all);
2427 -- For VMS, when compiling the main source, add switch
2428 -- -mdebug-main=_ada_ so that the executable can be debugged
2429 -- by the standard VMS debugger.
2431 if not No_Main_Subprogram
2432 and then Targparm.OpenVMS_On_Target
2433 and then Is_Main_Source
2435 -- First, check if compilation will be invoked with -g
2437 for J in 1 .. Last_Argument loop
2438 if Arguments (J)'Length >= 2
2439 and then Arguments (J) (1 .. 2) = "-g"
2440 and then (Arguments (J)'Length < 5
2441 or else Arguments (J) (1 .. 5) /= "-gnat")
2444 ((1 => new String'("-mdebug-main=_ada_")));
2450 -- Set Output_Is_Object, depending if there is a -S switch.
2451 -- If the bind step is not performed, and there is a -S switch,
2452 -- then we will not check for a valid object file.
2455 end Collect_Arguments;
2457 ---------------------
2458 -- Compile_Sources --
2459 ---------------------
2461 procedure Compile_Sources
2462 (Main_Source : File_Name_Type;
2463 Args : Argument_List;
2464 First_Compiled_File : out File_Name_Type;
2465 Most_Recent_Obj_File : out File_Name_Type;
2466 Most_Recent_Obj_Stamp : out Time_Stamp_Type;
2467 Main_Unit : out Boolean;
2468 Compilation_Failures : out Natural;
2469 Main_Index : Int := 0;
2470 Check_Readonly_Files : Boolean := False;
2471 Do_Not_Execute : Boolean := False;
2472 Force_Compilations : Boolean := False;
2473 Keep_Going : Boolean := False;
2474 In_Place_Mode : Boolean := False;
2475 Initialize_ALI_Data : Boolean := True;
2476 Max_Process : Positive := 1)
2478 Mfile : Natural := No_Mapping_File;
2479 Mapping_File_Arg : String_Access;
2480 -- Info on the mapping file
2482 Need_To_Check_Standard_Library : Boolean :=
2483 (Check_Readonly_Files or Must_Compile)
2484 and not Unique_Compile;
2486 procedure Add_Process
2488 Sfile : File_Name_Type;
2489 Afile : File_Name_Type;
2490 Uname : Unit_Name_Type;
2491 Full_Lib_File : File_Name_Type;
2492 Lib_File_Attr : File_Attributes;
2493 Mfile : Natural := No_Mapping_File);
2494 -- Adds process Pid to the current list of outstanding compilation
2495 -- processes and record the full name of the source file Sfile that
2496 -- we are compiling, the name of its library file Afile and the
2497 -- name of its unit Uname. If Mfile is not equal to No_Mapping_File,
2498 -- it is the index of the mapping file used during compilation in the
2499 -- array The_Mapping_File_Names.
2501 procedure Await_Compile
2502 (Data : out Compilation_Data;
2504 -- Awaits that an outstanding compilation process terminates. When it
2505 -- does set Data to the information registered for the corresponding
2506 -- call to Add_Process. Note that this time stamp can be used to check
2507 -- whether the compilation did generate an object file. OK is set to
2508 -- True if the compilation succeeded. Data could be No_Compilation_Data
2509 -- if there was no compilation to wait for.
2511 function Bad_Compilation_Count return Natural;
2512 -- Returns the number of compilation failures
2514 procedure Check_Standard_Library;
2515 -- Check if s-stalib.adb needs to be compiled
2517 procedure Collect_Arguments_And_Compile
2518 (Full_Source_File : File_Name_Type;
2519 Lib_File : File_Name_Type;
2521 Pid : out Process_Id;
2522 Process_Created : out Boolean);
2523 -- Collect arguments from project file (if any) and compile. If no
2524 -- compilation was attempted, Processed_Created is set to False, and the
2525 -- value of Pid is unknown.
2528 (Project : Project_Id;
2532 Args : Argument_List) return Process_Id;
2533 -- Compiles S using Args. If S is a GNAT predefined source "-gnatpg" is
2534 -- added to Args. Non blocking call. L corresponds to the expected
2535 -- library file name. Process_Id of the process spawned to execute the
2538 type ALI_Project is record
2540 Project : Project_Id;
2543 package Good_ALI is new Table.Table (
2544 Table_Component_Type => ALI_Project,
2545 Table_Index_Type => Natural,
2546 Table_Low_Bound => 1,
2547 Table_Initial => 50,
2548 Table_Increment => 100,
2549 Table_Name => "Make.Good_ALI");
2550 -- Contains the set of valid ALI files that have not yet been scanned
2552 function Good_ALI_Present return Boolean;
2553 -- Returns True if any ALI file was recorded in the previous set
2555 procedure Get_Mapping_File (Project : Project_Id);
2556 -- Get a mapping file name. If there is one to be reused, reuse it.
2557 -- Otherwise, create a new mapping file.
2559 function Get_Next_Good_ALI return ALI_Project;
2560 -- Returns the next good ALI_Id record
2562 procedure Record_Failure
2563 (File : File_Name_Type;
2564 Unit : Unit_Name_Type;
2565 Found : Boolean := True);
2566 -- Records in the previous table that the compilation for File failed.
2567 -- If Found is False then the compilation of File failed because we
2568 -- could not find it. Records also Unit when possible.
2570 procedure Record_Good_ALI (A : ALI_Id; Project : Project_Id);
2571 -- Records in the previous set the Id of an ALI file
2573 function Must_Exit_Because_Of_Error return Boolean;
2574 -- Return True if there were errors and the user decided to exit in such
2575 -- a case. This waits for any outstanding compilation.
2577 function Start_Compile_If_Possible (Args : Argument_List) return Boolean;
2578 -- Check if there is more work that we can do (i.e. the Queue is non
2579 -- empty). If there is, do it only if we have not yet used up all the
2580 -- available processes.
2581 -- Returns True if we should exit the main loop
2583 procedure Wait_For_Available_Slot;
2584 -- Check if we should wait for a compilation to finish. This is the case
2585 -- if all the available processes are busy compiling sources or there is
2586 -- nothing else to do (that is the Q is empty and there are no good ALIs
2589 procedure Fill_Queue_From_ALI_Files;
2590 -- Check if we recorded good ALI files. If yes process them now in the
2591 -- order in which they have been recorded. There are two occasions in
2592 -- which we record good ali files. The first is in phase 1 when, after
2593 -- scanning an existing ALI file we realize it is up-to-date, the second
2594 -- instance is after a successful compilation.
2600 procedure Add_Process
2602 Sfile : File_Name_Type;
2603 Afile : File_Name_Type;
2604 Uname : Unit_Name_Type;
2605 Full_Lib_File : File_Name_Type;
2606 Lib_File_Attr : File_Attributes;
2607 Mfile : Natural := No_Mapping_File)
2609 OC1 : constant Positive := Outstanding_Compiles + 1;
2612 pragma Assert (OC1 <= Max_Process);
2613 pragma Assert (Pid /= Invalid_Pid);
2615 Running_Compile (OC1) :=
2617 Full_Source_File => Sfile,
2619 Full_Lib_File => Full_Lib_File,
2620 Lib_File_Attr => Lib_File_Attr,
2621 Source_Unit => Uname,
2622 Mapping_File => Mfile,
2623 Project => Arguments_Project);
2625 Outstanding_Compiles := OC1;
2627 if Arguments_Project /= No_Project then
2628 Queue.Set_Obj_Dir_Busy (Arguments_Project.Object_Directory.Name);
2632 --------------------
2636 procedure Await_Compile
2637 (Data : out Compilation_Data;
2641 Project : Project_Id;
2642 Comp_Data : Project_Compilation_Access;
2645 pragma Assert (Outstanding_Compiles > 0);
2647 Data := No_Compilation_Data;
2650 -- The loop here is a work-around for a problem on VMS; in some
2651 -- circumstances (shared library and several executables, for
2652 -- example), there are child processes other than compilation
2653 -- processes that are received. Until this problem is resolved,
2654 -- we will ignore such processes.
2657 Wait_Process (Pid, OK);
2659 if Pid = Invalid_Pid then
2663 for J in Running_Compile'First .. Outstanding_Compiles loop
2664 if Pid = Running_Compile (J).Pid then
2665 Data := Running_Compile (J);
2666 Project := Running_Compile (J).Project;
2668 if Project /= No_Project then
2669 Queue.Set_Obj_Dir_Free (Project.Object_Directory.Name);
2672 -- If a mapping file was used by this compilation, get its
2673 -- file name for reuse by a subsequent compilation.
2675 if Running_Compile (J).Mapping_File /= No_Mapping_File then
2677 Project_Compilation_Htable.Get
2678 (Project_Compilation, Project);
2679 Comp_Data.Last_Free_Indexes :=
2680 Comp_Data.Last_Free_Indexes + 1;
2681 Comp_Data.Free_Mapping_File_Indexes
2682 (Comp_Data.Last_Free_Indexes) :=
2683 Running_Compile (J).Mapping_File;
2686 -- To actually remove this Pid and related info from
2687 -- Running_Compile replace its entry with the last valid
2688 -- entry in Running_Compile.
2690 if J = Outstanding_Compiles then
2693 Running_Compile (J) :=
2694 Running_Compile (Outstanding_Compiles);
2697 Outstanding_Compiles := Outstanding_Compiles - 1;
2702 -- This child process was not one of our compilation processes;
2703 -- just ignore it for now.
2705 -- Why is this commented out code sitting here???
2707 -- raise Program_Error;
2711 ---------------------------
2712 -- Bad_Compilation_Count --
2713 ---------------------------
2715 function Bad_Compilation_Count return Natural is
2717 return Bad_Compilation.Last - Bad_Compilation.First + 1;
2718 end Bad_Compilation_Count;
2720 ----------------------------
2721 -- Check_Standard_Library --
2722 ----------------------------
2724 procedure Check_Standard_Library is
2726 Need_To_Check_Standard_Library := False;
2728 if not Targparm.Suppress_Standard_Library_On_Target then
2730 Sfile : File_Name_Type;
2731 Add_It : Boolean := True;
2735 Add_Str_To_Name_Buffer (Standard_Library_Package_Body_Name);
2736 Sfile := Name_Enter;
2738 -- If we have a special runtime, we add the standard
2739 -- library only if we can find it.
2742 Add_It := Full_Source_Name (Sfile) /= No_File;
2747 ((Format => Format_Gnatmake,
2749 Unit => No_Unit_Name,
2750 Project => No_Project,
2753 if Is_In_Obsoleted (Sfile) then
2754 Executable_Obsolete := True;
2760 end Check_Standard_Library;
2762 -----------------------------------
2763 -- Collect_Arguments_And_Compile --
2764 -----------------------------------
2766 procedure Collect_Arguments_And_Compile
2767 (Full_Source_File : File_Name_Type;
2768 Lib_File : File_Name_Type;
2770 Pid : out Process_Id;
2771 Process_Created : out Boolean) is
2773 Process_Created := False;
2775 -- If we use mapping file (-P or -C switches), then get one
2777 if Create_Mapping_File then
2778 Get_Mapping_File (Arguments_Project);
2781 -- If the source is part of a project file, we set the ADA_*_PATHs,
2782 -- check for an eventual library project, and use the full path.
2784 if Arguments_Project /= No_Project then
2785 if not Arguments_Project.Externally_Built
2786 or else Must_Compile
2788 Prj.Env.Set_Ada_Paths
2791 Including_Libraries => True,
2792 Include_Path => Use_Include_Path_File);
2794 if not Unique_Compile
2795 and then MLib.Tgt.Support_For_Libraries /= Prj.None
2798 Prj : constant Project_Id :=
2799 Ultimate_Extending_Project_Of (Arguments_Project);
2803 and then (not Prj.Externally_Built or else Must_Compile)
2804 and then not Prj.Need_To_Build_Lib
2806 -- Add to the Q all sources of the project that have
2809 Insert_Project_Sources
2810 (The_Project => Prj,
2811 All_Projects => False,
2814 -- Now mark the project as processed
2816 Prj.Need_To_Build_Lib := True;
2823 (Project => Arguments_Project,
2824 S => File_Name_Type (Arguments_Path_Name),
2826 Source_Index => Source_Index,
2827 Args => Arguments (1 .. Last_Argument));
2828 Process_Created := True;
2832 -- If this is a source outside of any project file, make sure it
2833 -- will be compiled in object directory of the main project file.
2837 (Project => Main_Project,
2838 S => Full_Source_File,
2840 Source_Index => Source_Index,
2841 Args => Arguments (1 .. Last_Argument));
2842 Process_Created := True;
2844 end Collect_Arguments_And_Compile;
2851 (Project : Project_Id;
2855 Args : Argument_List) return Process_Id
2857 Comp_Args : Argument_List (Args'First .. Args'Last + 10);
2858 Comp_Next : Integer := Args'First;
2859 Comp_Last : Integer;
2860 Arg_Index : Integer;
2862 function Ada_File_Name (Name : File_Name_Type) return Boolean;
2863 -- Returns True if Name is the name of an ada source file
2864 -- (i.e. suffix is .ads or .adb)
2870 function Ada_File_Name (Name : File_Name_Type) return Boolean is
2872 Get_Name_String (Name);
2875 and then Name_Buffer (Name_Len - 3 .. Name_Len - 1) = ".ad"
2876 and then (Name_Buffer (Name_Len) = 'b'
2878 Name_Buffer (Name_Len) = 's');
2881 -- Start of processing for Compile
2884 Enter_Into_Obsoleted (S);
2886 -- By default, Syntax_Only is False
2888 Syntax_Only := False;
2890 for J in Args'Range loop
2891 if Args (J).all = "-gnats" then
2893 -- If we compile with -gnats, the bind step and the link step
2894 -- are inhibited. Also, we set Syntax_Only to True, so that
2895 -- we don't fail when we don't find the ALI file, after
2898 Do_Bind_Step := False;
2899 Do_Link_Step := False;
2900 Syntax_Only := True;
2902 elsif Args (J).all = "-gnatc" then
2904 -- If we compile with -gnatc, the bind step and the link step
2905 -- are inhibited. We set Syntax_Only to False for the case when
2906 -- -gnats was previously specified.
2908 Do_Bind_Step := False;
2909 Do_Link_Step := False;
2910 Syntax_Only := False;
2914 Comp_Args (Comp_Next) := new String'("-gnatea");
2915 Comp_Next := Comp_Next + 1;
2917 Comp_Args (Comp_Next) := Comp_Flag;
2918 Comp_Next := Comp_Next + 1;
2920 -- Optimize the simple case where the gcc command line looks like
2921 -- gcc -c -I. ... -I- file.adb
2923 -- gcc -c ... file.adb
2925 if Args (Args'First).all = "-I" & Normalized_CWD
2926 and then Args (Args'Last).all = "-I-"
2927 and then S = Strip_Directory (S)
2929 Comp_Last := Comp_Next + Args'Length - 3;
2930 Arg_Index := Args'First + 1;
2933 Comp_Last := Comp_Next + Args'Length - 1;
2934 Arg_Index := Args'First;
2937 -- Make a deep copy of the arguments, because Normalize_Arguments
2938 -- may deallocate some arguments. Also strip target specific -mxxx
2939 -- switches in CodePeer mode.
2943 Last : constant Natural := Comp_Last;
2947 for J in Comp_Next .. Last loop
2949 Str : String renames Args (Arg_Index).all;
2952 and then Str'Length > 2
2953 and then Str (Str'First .. Str'First + 1) = "-m"
2955 Comp_Last := Comp_Last - 1;
2957 Comp_Args (Index) := new String'(Str);
2962 Arg_Index := Arg_Index + 1;
2966 -- Set -gnatpg for predefined files (for this purpose the renamings
2967 -- such as Text_IO do not count as predefined). Note that we strip
2968 -- the directory name from the source file name because the call to
2969 -- Fname.Is_Predefined_File_Name cannot deal with directory prefixes.
2972 Fname : constant File_Name_Type := Strip_Directory (S);
2975 if Is_Predefined_File_Name (Fname, False) then
2976 if Check_Readonly_Files or else Must_Compile then
2977 Comp_Args (Comp_Args'First + 2 .. Comp_Last + 1) :=
2978 Comp_Args (Comp_Args'First + 1 .. Comp_Last);
2979 Comp_Last := Comp_Last + 1;
2980 Comp_Args (Comp_Args'First + 1) := GNAT_Flag;
2984 ("not allowed to compile """ &
2985 Get_Name_String (Fname) &
2986 """; use -a switch, or compile file with " &
2987 """-gnatg"" switch");
2992 -- Now check if the file name has one of the suffixes familiar to
2993 -- the gcc driver. If this is not the case then add the ada flag
2996 if not Ada_File_Name (S) and then not Targparm.AAMP_On_Target then
2997 Comp_Last := Comp_Last + 1;
2998 Comp_Args (Comp_Last) := Ada_Flag_1;
2999 Comp_Last := Comp_Last + 1;
3000 Comp_Args (Comp_Last) := Ada_Flag_2;
3003 if Source_Index /= 0 then
3005 Num : constant String := Source_Index'Img;
3007 Comp_Last := Comp_Last + 1;
3008 Comp_Args (Comp_Last) :=
3009 new String'("-gnateI" & Num (Num'First + 1 .. Num'Last));
3013 if Source_Index /= 0
3014 or else L /= Strip_Directory (L)
3015 or else Object_Directory_Path /= null
3017 -- Build -o argument
3019 Get_Name_String (L);
3021 for J in reverse 1 .. Name_Len loop
3022 if Name_Buffer (J) = '.' then
3023 Name_Len := J + Object_Suffix'Length - 1;
3024 Name_Buffer (J .. Name_Len) := Object_Suffix;
3029 Comp_Last := Comp_Last + 1;
3030 Comp_Args (Comp_Last) := Output_Flag;
3031 Comp_Last := Comp_Last + 1;
3033 -- If an object directory was specified, prepend the object file
3034 -- name with this object directory.
3036 if Object_Directory_Path /= null then
3037 Comp_Args (Comp_Last) :=
3038 new String'(Object_Directory_Path.all &
3039 Name_Buffer (1 .. Name_Len));
3042 Comp_Args (Comp_Last) :=
3043 new String'(Name_Buffer (1 .. Name_Len));
3047 if Create_Mapping_File and then Mapping_File_Arg /= null then
3048 Comp_Last := Comp_Last + 1;
3049 Comp_Args (Comp_Last) := new String'(Mapping_File_Arg.all);
3052 Get_Name_String (S);
3054 Comp_Last := Comp_Last + 1;
3055 Comp_Args (Comp_Last) := new String'(Name_Buffer (1 .. Name_Len));
3057 -- Change to object directory of the project file, if necessary
3059 if Project /= No_Project then
3060 Change_To_Object_Directory (Project);
3063 GNAT.OS_Lib.Normalize_Arguments (Comp_Args (Args'First .. Comp_Last));
3065 Comp_Last := Comp_Last + 1;
3066 Comp_Args (Comp_Last) := new String'("-gnatez");
3068 Display (Gcc.all, Comp_Args (Args'First .. Comp_Last));
3070 if Gcc_Path = null then
3071 Make_Failed ("error, unable to locate " & Gcc.all);
3075 GNAT.OS_Lib.Non_Blocking_Spawn
3076 (Gcc_Path.all, Comp_Args (Args'First .. Comp_Last));
3079 -------------------------------
3080 -- Fill_Queue_From_ALI_Files --
3081 -------------------------------
3083 procedure Fill_Queue_From_ALI_Files is
3084 ALI_P : ALI_Project;
3087 Sfile : File_Name_Type;
3088 Uname : Unit_Name_Type;
3089 Unit_Name : Name_Id;
3090 Uid : Prj.Unit_Index;
3093 while Good_ALI_Present loop
3094 ALI_P := Get_Next_Good_ALI;
3096 Source_Index := Unit_Index_Of (ALIs.Table (ALI_P.ALI).Afile);
3098 -- If we are processing the library file corresponding to the
3099 -- main source file check if this source can be a main unit.
3101 if ALIs.Table (ALI).Sfile = Main_Source
3102 and then Source_Index = Main_Index
3104 Main_Unit := ALIs.Table (ALI).Main_Program /= None;
3107 -- The following adds the standard library (s-stalib) to the list
3108 -- of files to be handled by gnatmake: this file and any files it
3109 -- depends on are always included in every bind, even if they are
3110 -- not in the explicit dependency list. Of course, it is not added
3111 -- if Suppress_Standard_Library is True.
3113 -- However, to avoid annoying output about s-stalib.ali being read
3114 -- only, when "-v" is used, we add the standard library only when
3117 if Need_To_Check_Standard_Library then
3118 Check_Standard_Library;
3121 -- Now insert in the Q the unmarked source files (i.e. those which
3122 -- have never been inserted in the Q and hence never considered).
3123 -- Only do that if Unique_Compile is False.
3125 if not Unique_Compile then
3127 ALIs.Table (ALI).First_Unit .. ALIs.Table (ALI).Last_Unit
3130 Units.Table (J).First_With .. Units.Table (J).Last_With
3132 Sfile := Withs.Table (K).Sfile;
3133 Uname := Withs.Table (K).Uname;
3135 -- If project files are used, find the proper source to
3136 -- compile in case Sfile is the spec but there is a body.
3138 if Main_Project /= No_Project then
3139 Get_Name_String (Uname);
3140 Name_Len := Name_Len - 2;
3141 Unit_Name := Name_Find;
3143 Units_Htable.Get (Project_Tree.Units_HT, Unit_Name);
3145 if Uid /= Prj.No_Unit_Index then
3146 if Uid.File_Names (Impl) /= null
3147 and then not Uid.File_Names (Impl).Locally_Removed
3149 Sfile := Uid.File_Names (Impl).File;
3150 Source_Index := Uid.File_Names (Impl).Index;
3152 elsif Uid.File_Names (Spec) /= null
3153 and then not Uid.File_Names (Spec).Locally_Removed
3155 Sfile := Uid.File_Names (Spec).File;
3156 Source_Index := Uid.File_Names (Spec).Index;
3161 Dependencies.Append ((ALIs.Table (ALI).Sfile, Sfile));
3163 if Is_In_Obsoleted (Sfile) then
3164 Executable_Obsolete := True;
3167 if Sfile = No_File then
3168 Debug_Msg ("Skipping generic:", Withs.Table (K).Uname);
3171 Source_Index := Unit_Index_Of (Withs.Table (K).Afile);
3173 if not (Check_Readonly_Files or Must_Compile)
3174 and then Is_Internal_File_Name (Sfile, False)
3176 Debug_Msg ("Skipping internal file:", Sfile);
3180 ((Format => Format_Gnatmake,
3182 Project => ALI_P.Project,
3183 Unit => Withs.Table (K).Uname,
3184 Index => Source_Index));
3191 end Fill_Queue_From_ALI_Files;
3193 ----------------------
3194 -- Get_Mapping_File --
3195 ----------------------
3197 procedure Get_Mapping_File (Project : Project_Id) is
3198 Data : Project_Compilation_Access;
3201 Data := Project_Compilation_Htable.Get (Project_Compilation, Project);
3203 -- If there is a mapping file ready to be reused, reuse it
3205 if Data.Last_Free_Indexes > 0 then
3206 Mfile := Data.Free_Mapping_File_Indexes (Data.Last_Free_Indexes);
3207 Data.Last_Free_Indexes := Data.Last_Free_Indexes - 1;
3209 -- Otherwise, create and initialize a new one
3213 (Project => Project, Data => Data.all, File_Index => Mfile);
3216 -- Put the name in the mapping file argument for the invocation
3219 Free (Mapping_File_Arg);
3221 new String'("-gnatem=" &
3222 Get_Name_String (Data.Mapping_File_Names (Mfile)));
3223 end Get_Mapping_File;
3225 -----------------------
3226 -- Get_Next_Good_ALI --
3227 -----------------------
3229 function Get_Next_Good_ALI return ALI_Project is
3233 pragma Assert (Good_ALI_Present);
3234 ALIP := Good_ALI.Table (Good_ALI.Last);
3235 Good_ALI.Decrement_Last;
3237 end Get_Next_Good_ALI;
3239 ----------------------
3240 -- Good_ALI_Present --
3241 ----------------------
3243 function Good_ALI_Present return Boolean is
3245 return Good_ALI.First <= Good_ALI.Last;
3246 end Good_ALI_Present;
3248 --------------------------------
3249 -- Must_Exit_Because_Of_Error --
3250 --------------------------------
3252 function Must_Exit_Because_Of_Error return Boolean is
3253 Data : Compilation_Data;
3257 if Bad_Compilation_Count > 0 and then not Keep_Going then
3258 while Outstanding_Compiles > 0 loop
3259 Await_Compile (Data, Success);
3262 Record_Failure (Data.Full_Source_File, Data.Source_Unit);
3270 end Must_Exit_Because_Of_Error;
3272 --------------------
3273 -- Record_Failure --
3274 --------------------
3276 procedure Record_Failure
3277 (File : File_Name_Type;
3278 Unit : Unit_Name_Type;
3279 Found : Boolean := True)
3282 Bad_Compilation.Increment_Last;
3283 Bad_Compilation.Table (Bad_Compilation.Last) := (File, Unit, Found);
3286 ---------------------
3287 -- Record_Good_ALI --
3288 ---------------------
3290 procedure Record_Good_ALI (A : ALI_Id; Project : Project_Id) is
3292 Good_ALI.Increment_Last;
3293 Good_ALI.Table (Good_ALI.Last) := (A, Project);
3294 end Record_Good_ALI;
3296 -------------------------------
3297 -- Start_Compile_If_Possible --
3298 -------------------------------
3300 function Start_Compile_If_Possible
3301 (Args : Argument_List) return Boolean
3303 In_Lib_Dir : Boolean;
3304 Need_To_Compile : Boolean;
3306 Process_Created : Boolean;
3308 Source : Queue.Source_Info;
3309 Full_Source_File : File_Name_Type;
3310 Source_File_Attr : aliased File_Attributes;
3311 -- The full name of the source file and its attributes (size, ...)
3313 Lib_File : File_Name_Type;
3314 Full_Lib_File : File_Name_Type;
3315 Lib_File_Attr : aliased File_Attributes;
3316 Read_Only : Boolean := False;
3318 -- The ALI file and its attributes (size, stamp, ...)
3320 Obj_File : File_Name_Type;
3321 Obj_Stamp : Time_Stamp_Type;
3327 if not Queue.Is_Virtually_Empty and then
3328 Outstanding_Compiles < Max_Process
3330 Queue.Extract (Found, Source);
3332 Osint.Full_Source_Name
3334 Full_File => Full_Source_File,
3335 Attr => Source_File_Attr'Access);
3337 Lib_File := Osint.Lib_File_Name (Source.File, Source.Index);
3339 -- ??? This call could be avoided when using projects, since we
3340 -- know where the ALI file is supposed to be. That would avoid
3341 -- searches in the object directories, including in the runtime
3342 -- dir. However, that would require getting access to the
3345 Osint.Full_Lib_File_Name
3347 Lib_File => Full_Lib_File,
3348 Attr => Lib_File_Attr);
3350 -- If source has already been compiled, executable is obsolete
3352 if Is_In_Obsoleted (Source.File) then
3353 Executable_Obsolete := True;
3356 In_Lib_Dir := Full_Lib_File /= No_File
3357 and then In_Ada_Lib_Dir (Full_Lib_File);
3359 -- Since the following requires a system call, we precompute it
3362 if not In_Lib_Dir then
3363 if Full_Lib_File /= No_File
3364 and then not (Check_Readonly_Files or else Must_Compile)
3366 Get_Name_String (Full_Lib_File);
3367 Name_Buffer (Name_Len + 1) := ASCII.NUL;
3368 Read_Only := not Is_Writable_File
3369 (Name_Buffer'Address, Lib_File_Attr'Access);
3375 -- If the library file is an Ada library skip it
3380 "is in an Ada library",
3382 Minimum_Verbosity => Opt.High);
3384 -- If the library file is a read-only library skip it, but only
3385 -- if, when using project files, this library file is in the
3386 -- right object directory (a read-only ALI file in the object
3387 -- directory of a project being extended must not be skipped).
3390 and then Is_In_Object_Directory (Source.File, Full_Lib_File)
3394 "is a read-only library",
3396 Minimum_Verbosity => Opt.High);
3398 -- The source file that we are checking cannot be located
3400 elsif Full_Source_File = No_File then
3401 Record_Failure (Source.File, Source.Unit, False);
3403 -- Source and library files can be located but are internal
3406 elsif not (Check_Readonly_Files or else Must_Compile)
3407 and then Full_Lib_File /= No_File
3408 and then Is_Internal_File_Name (Source.File, False)
3410 if Force_Compilations then
3412 ("not allowed to compile """ &
3413 Get_Name_String (Source.File) &
3414 """; use -a switch, or compile file with " &
3415 """-gnatg"" switch");
3420 "is an internal library",
3422 Minimum_Verbosity => Opt.High);
3424 -- The source file that we are checking can be located
3428 (Source.File, Source.File = Main_Source, Args);
3430 -- Do nothing if project of source is externally built
3432 if Arguments_Project = No_Project
3433 or else not Arguments_Project.Externally_Built
3434 or else Must_Compile
3436 -- Don't waste any time if we have to recompile anyway
3438 Obj_Stamp := Empty_Time_Stamp;
3439 Need_To_Compile := Force_Compilations;
3441 if not Force_Compilations then
3442 Check (Source_File => Source.File,
3443 Source_Index => Source.Index,
3444 Is_Main_Source => Source.File = Main_Source,
3446 Lib_File => Lib_File,
3447 Full_Lib_File => Full_Lib_File,
3448 Lib_File_Attr => Lib_File_Attr'Access,
3449 Read_Only => Read_Only,
3452 O_Stamp => Obj_Stamp);
3453 Need_To_Compile := (ALI = No_ALI_Id);
3456 if not Need_To_Compile then
3458 -- The ALI file is up-to-date; record its Id
3460 Record_Good_ALI (ALI, Arguments_Project);
3462 -- Record the time stamp of the most recent object
3463 -- file as long as no (re)compilations are needed.
3465 if First_Compiled_File = No_File
3466 and then (Most_Recent_Obj_File = No_File
3467 or else Obj_Stamp > Most_Recent_Obj_Stamp)
3469 Most_Recent_Obj_File := Obj_File;
3470 Most_Recent_Obj_Stamp := Obj_Stamp;
3474 -- Check that switch -x has been used if a source outside
3475 -- of project files need to be compiled.
3477 if Main_Project /= No_Project
3478 and then Arguments_Project = No_Project
3479 and then not External_Unit_Compilation_Allowed
3481 Make_Failed ("external source ("
3482 & Get_Name_String (Source.File)
3483 & ") is not part of any project;"
3484 & " cannot be compiled without"
3485 & " gnatmake switch -x");
3488 -- Is this the first file we have to compile?
3490 if First_Compiled_File = No_File then
3491 First_Compiled_File := Full_Source_File;
3492 Most_Recent_Obj_File := No_File;
3494 if Do_Not_Execute then
3496 -- Exit the main loop
3502 -- Compute where the ALI file must be generated in
3503 -- In_Place_Mode (this does not require to know the
3504 -- location of the object directory).
3506 if In_Place_Mode then
3507 if Full_Lib_File = No_File then
3509 -- If the library file was not found, then save
3510 -- the library file near the source file.
3514 (Full_Source_File, Source.Index);
3515 Full_Lib_File := Lib_File;
3518 -- If the library file was found, then save the
3519 -- library file in the same place.
3521 Lib_File := Full_Lib_File;
3525 -- Start the compilation and record it. We can do this
3526 -- because there is at least one free process. This might
3527 -- change the current directory.
3529 Collect_Arguments_And_Compile
3530 (Full_Source_File => Full_Source_File,
3531 Lib_File => Lib_File,
3532 Source_Index => Source.Index,
3534 Process_Created => Process_Created);
3536 -- Compute where the ALI file will be generated (for
3537 -- cases that might require to know the current
3538 -- directory). The current directory might be changed
3539 -- when compiling other files so we cannot rely on it
3540 -- being the same to find the resulting ALI file.
3542 if not In_Place_Mode then
3544 -- Compute the expected location of the ALI file. This
3545 -- can be from several places:
3546 -- -i => in place mode. In such a case,
3547 -- Full_Lib_File has already been set above
3548 -- -D => if specified
3549 -- or defaults in current dir
3550 -- We could simply use a call similar to
3551 -- Osint.Full_Lib_File_Name (Lib_File)
3552 -- but that involves system calls and is thus slower
3554 if Object_Directory_Path /= null then
3556 Add_Str_To_Name_Buffer (Object_Directory_Path.all);
3557 Add_Str_To_Name_Buffer (Get_Name_String (Lib_File));
3558 Full_Lib_File := Name_Find;
3561 if Project_Of_Current_Object_Directory /=
3565 (Project_Of_Current_Object_Directory
3566 .Object_Directory.Display_Name);
3567 Add_Str_To_Name_Buffer
3568 (Get_Name_String (Lib_File));
3569 Full_Lib_File := Name_Find;
3572 Full_Lib_File := Lib_File;
3578 Lib_File_Attr := Unknown_Attributes;
3580 -- Make sure we could successfully start the compilation
3582 if Process_Created then
3583 if Pid = Invalid_Pid then
3584 Record_Failure (Full_Source_File, Source.Unit);
3588 Sfile => Full_Source_File,
3590 Uname => Source.Unit,
3592 Full_Lib_File => Full_Lib_File,
3593 Lib_File_Attr => Lib_File_Attr);
3601 end Start_Compile_If_Possible;
3603 -----------------------------
3604 -- Wait_For_Available_Slot --
3605 -----------------------------
3607 procedure Wait_For_Available_Slot is
3608 Compilation_OK : Boolean;
3609 Text : Text_Buffer_Ptr;
3611 Data : Compilation_Data;
3614 if Outstanding_Compiles = Max_Process
3615 or else (Queue.Is_Virtually_Empty
3616 and then not Good_ALI_Present
3617 and then Outstanding_Compiles > 0)
3619 Await_Compile (Data, Compilation_OK);
3621 if not Compilation_OK then
3622 Record_Failure (Data.Full_Source_File, Data.Source_Unit);
3625 if Compilation_OK or else Keep_Going then
3627 -- Re-read the updated library file
3630 Saved_Object_Consistency : constant Boolean :=
3631 Check_Object_Consistency;
3634 -- If compilation was not OK, or if output is not an object
3635 -- file and we don't do the bind step, don't check for
3636 -- object consistency.
3638 Check_Object_Consistency :=
3639 Check_Object_Consistency
3641 and (Output_Is_Object or Do_Bind_Step);
3644 Read_Library_Info_From_Full
3645 (Data.Full_Lib_File, Data.Lib_File_Attr'Access);
3647 -- Restore Check_Object_Consistency to its initial value
3649 Check_Object_Consistency := Saved_Object_Consistency;
3652 -- If an ALI file was generated by this compilation, scan the
3653 -- ALI file and record it.
3655 -- If the scan fails, a previous ali file is inconsistent with
3656 -- the unit just compiled.
3658 if Text /= null then
3661 (Data.Lib_File, Text, Ignore_ED => False, Err => True);
3663 if ALI = No_ALI_Id then
3665 -- Record a failure only if not already done
3667 if Compilation_OK then
3670 "incompatible ALI file, please recompile");
3672 (Data.Full_Source_File, Data.Source_Unit);
3676 Record_Good_ALI (ALI, Data.Project);
3681 -- If we could not read the ALI file that was just generated
3682 -- then there could be a problem reading either the ALI or the
3683 -- corresponding object file (if Check_Object_Consistency is
3684 -- set Read_Library_Info checks that the time stamp of the
3685 -- object file is more recent than that of the ALI). However,
3686 -- we record a failure only if not already done.
3689 if Compilation_OK and not Syntax_Only then
3692 "WARNING: ALI or object file not found after compile");
3693 Record_Failure (Data.Full_Source_File, Data.Source_Unit);
3698 end Wait_For_Available_Slot;
3700 -- Start of processing for Compile_Sources
3703 pragma Assert (Args'First = 1);
3705 Outstanding_Compiles := 0;
3706 Running_Compile := new Comp_Data_Arr (1 .. Max_Process);
3708 -- Package and Queue initializations
3712 if Initialize_ALI_Data then
3714 Initialize_ALI_Source;
3717 -- The following two flags affect the behavior of ALI.Set_Source_Table.
3718 -- We set Check_Source_Files to True to ensure that source file time
3719 -- stamps are checked, and we set All_Sources to False to avoid checking
3720 -- the presence of the source files listed in the source dependency
3721 -- section of an ali file (which would be a mistake since the ali file
3722 -- may be obsolete).
3724 Check_Source_Files := True;
3725 All_Sources := False;
3728 ((Format => Format_Gnatmake,
3729 File => Main_Source,
3730 Project => Main_Project,
3731 Unit => No_Unit_Name,
3732 Index => Main_Index));
3734 First_Compiled_File := No_File;
3735 Most_Recent_Obj_File := No_File;
3736 Most_Recent_Obj_Stamp := Empty_Time_Stamp;
3739 -- Keep looping until there is no more work to do (the Q is empty)
3740 -- and all the outstanding compilations have terminated.
3743 while not Queue.Is_Empty or else Outstanding_Compiles > 0 loop
3744 exit Make_Loop when Must_Exit_Because_Of_Error;
3745 exit Make_Loop when Start_Compile_If_Possible (Args);
3747 Wait_For_Available_Slot;
3749 -- ??? Should be done as soon as we add a Good_ALI, wouldn't it avoid
3750 -- the need for a list of good ALI?
3752 Fill_Queue_From_ALI_Files;
3754 if Display_Compilation_Progress then
3755 Write_Str ("completed ");
3756 Write_Int (Int (Queue.Processed));
3757 Write_Str (" out of ");
3758 Write_Int (Int (Queue.Size));
3760 Write_Int (Int ((Queue.Processed * 100) / Queue.Size));
3761 Write_Str ("%)...");
3766 Compilation_Failures := Bad_Compilation_Count;
3768 -- Compilation is finished
3770 -- Delete any temporary configuration pragma file
3772 if not Debug.Debug_Flag_N then
3773 Delete_Temp_Config_Files (Project_Tree);
3775 end Compile_Sources;
3777 ----------------------------------
3778 -- Configuration_Pragmas_Switch --
3779 ----------------------------------
3781 function Configuration_Pragmas_Switch
3782 (For_Project : Project_Id) return Argument_List
3784 The_Packages : Package_Id;
3785 Gnatmake : Package_Id;
3786 Compiler : Package_Id;
3788 Global_Attribute : Variable_Value := Nil_Variable_Value;
3789 Local_Attribute : Variable_Value := Nil_Variable_Value;
3791 Global_Attribute_Present : Boolean := False;
3792 Local_Attribute_Present : Boolean := False;
3794 Result : Argument_List (1 .. 3);
3795 Last : Natural := 0;
3797 function Absolute_Path
3798 (Path : Path_Name_Type;
3799 Project : Project_Id) return String;
3800 -- Returns an absolute path for a configuration pragmas file
3806 function Absolute_Path
3807 (Path : Path_Name_Type;
3808 Project : Project_Id) return String
3811 Get_Name_String (Path);
3814 Path_Name : constant String := Name_Buffer (1 .. Name_Len);
3817 if Is_Absolute_Path (Path_Name) then
3822 Parent_Directory : constant String :=
3824 (Project.Directory.Display_Name);
3827 return Parent_Directory & Path_Name;
3833 -- Start of processing for Configuration_Pragmas_Switch
3836 Prj.Env.Create_Config_Pragmas_File
3837 (For_Project, Project_Tree);
3839 if For_Project.Config_File_Name /= No_Path then
3840 Temporary_Config_File := For_Project.Config_File_Temp;
3844 ("-gnatec=" & Get_Name_String (For_Project.Config_File_Name));
3847 Temporary_Config_File := False;
3850 -- Check for attribute Builder'Global_Configuration_Pragmas
3852 The_Packages := Main_Project.Decl.Packages;
3855 (Name => Name_Builder,
3856 In_Packages => The_Packages,
3857 Shared => Project_Tree.Shared);
3859 if Gnatmake /= No_Package then
3860 Global_Attribute := Prj.Util.Value_Of
3861 (Variable_Name => Name_Global_Configuration_Pragmas,
3862 In_Variables => Project_Tree.Shared.Packages.Table
3863 (Gnatmake).Decl.Attributes,
3864 Shared => Project_Tree.Shared);
3865 Global_Attribute_Present :=
3866 Global_Attribute /= Nil_Variable_Value
3867 and then Get_Name_String (Global_Attribute.Value) /= "";
3869 if Global_Attribute_Present then
3871 Path : constant String :=
3873 (Path_Name_Type (Global_Attribute.Value),
3874 Global_Attribute.Project);
3876 if not Is_Regular_File (Path) then
3877 if Debug.Debug_Flag_F then
3879 ("cannot find configuration pragmas file "
3880 & File_Name (Path));
3883 ("cannot find configuration pragmas file " & Path);
3888 Result (Last) := new String'("-gnatec=" & Path);
3893 -- Check for attribute Compiler'Local_Configuration_Pragmas
3895 The_Packages := For_Project.Decl.Packages;
3898 (Name => Name_Compiler,
3899 In_Packages => The_Packages,
3900 Shared => Project_Tree.Shared);
3902 if Compiler /= No_Package then
3903 Local_Attribute := Prj.Util.Value_Of
3904 (Variable_Name => Name_Local_Configuration_Pragmas,
3905 In_Variables => Project_Tree.Shared.Packages.Table
3906 (Compiler).Decl.Attributes,
3907 Shared => Project_Tree.Shared);
3908 Local_Attribute_Present :=
3909 Local_Attribute /= Nil_Variable_Value
3910 and then Get_Name_String (Local_Attribute.Value) /= "";
3912 if Local_Attribute_Present then
3914 Path : constant String :=
3916 (Path_Name_Type (Local_Attribute.Value),
3917 Local_Attribute.Project);
3919 if not Is_Regular_File (Path) then
3920 if Debug.Debug_Flag_F then
3922 ("cannot find configuration pragmas file "
3923 & File_Name (Path));
3927 ("cannot find configuration pragmas file " & Path);
3932 Result (Last) := new String'("-gnatec=" & Path);
3937 return Result (1 .. Last);
3938 end Configuration_Pragmas_Switch;
3944 procedure Debug_Msg (S : String; N : Name_Id) is
3946 if Debug.Debug_Flag_W then
3947 Write_Str (" ... ");
3955 procedure Debug_Msg (S : String; N : File_Name_Type) is
3957 Debug_Msg (S, Name_Id (N));
3960 procedure Debug_Msg (S : String; N : Unit_Name_Type) is
3962 Debug_Msg (S, Name_Id (N));
3969 procedure Display (Program : String; Args : Argument_List) is
3971 pragma Assert (Args'First = 1);
3973 if Display_Executed_Programs then
3974 Write_Str (Program);
3976 for J in Args'Range loop
3978 -- Never display -gnatea nor -gnatez
3980 if Args (J).all /= "-gnatea"
3982 Args (J).all /= "-gnatez"
3984 -- Do not display the mapping file argument automatically
3985 -- created when using a project file.
3987 if Main_Project = No_Project
3988 or else Debug.Debug_Flag_N
3989 or else Args (J)'Length < 8
3991 Args (J) (Args (J)'First .. Args (J)'First + 6) /= "-gnatem"
3993 -- When -dn is not specified, do not display the config
3994 -- pragmas switch (-gnatec) for the temporary file created
3995 -- by the project manager (always the first -gnatec switch).
3996 -- Reset Temporary_Config_File to False so that the eventual
3997 -- other -gnatec switches will be displayed.
3999 if (not Debug.Debug_Flag_N)
4000 and then Temporary_Config_File
4001 and then Args (J)'Length > 7
4002 and then Args (J) (Args (J)'First .. Args (J)'First + 6)
4005 Temporary_Config_File := False;
4007 -- Do not display the -F=mapping_file switch for gnatbind
4008 -- if -dn is not specified.
4010 elsif Debug.Debug_Flag_N
4011 or else Args (J)'Length < 4
4013 Args (J) (Args (J)'First .. Args (J)'First + 2) /= "-F="
4017 -- If -df is used, only display file names, not path
4020 if Debug.Debug_Flag_F then
4022 Equal_Pos : Natural;
4024 Equal_Pos := Args (J)'First - 1;
4025 for K in Args (J)'Range loop
4026 if Args (J) (K) = '=' then
4033 (Args (J) (Equal_Pos + 1 .. Args (J)'Last))
4036 (Args (J) (Args (J)'First .. Equal_Pos));
4040 (Equal_Pos + 1 .. Args (J)'Last)));
4043 Write_Str (Args (J).all);
4048 Write_Str (Args (J).all);
4059 ----------------------
4060 -- Display_Commands --
4061 ----------------------
4063 procedure Display_Commands (Display : Boolean := True) is
4065 Display_Executed_Programs := Display;
4066 end Display_Commands;
4068 --------------------------
4069 -- Enter_Into_Obsoleted --
4070 --------------------------
4072 procedure Enter_Into_Obsoleted (F : File_Name_Type) is
4073 Name : constant String := Get_Name_String (F);
4075 F2 : File_Name_Type;
4079 while First > Name'First
4080 and then Name (First - 1) /= Directory_Separator
4081 and then Name (First - 1) /= '/'
4086 if First /= Name'First then
4088 Add_Str_To_Name_Buffer (Name (First .. Name'Last));
4095 Debug_Msg ("New entry in Obsoleted table:", F2);
4096 Obsoleted.Set (F2, True);
4097 end Enter_Into_Obsoleted;
4103 procedure Globalize (Success : out Boolean) is
4104 Quiet_Str : aliased String := "-quiet";
4105 Globalizer_Args : constant Argument_List :=
4106 (1 => Quiet_Str'Unchecked_Access);
4107 Previous_Dir : String_Access;
4109 procedure Globalize_Dir (Dir : String);
4110 -- Call CodePeer globalizer on Dir
4116 procedure Globalize_Dir (Dir : String) is
4119 if Previous_Dir = null or else Dir /= Previous_Dir.all then
4120 Free (Previous_Dir);
4121 Previous_Dir := new String'(Dir);
4123 GNAT.OS_Lib.Spawn (Globalizer_Path.all, Globalizer_Args, Result);
4124 Success := Success and Result;
4128 procedure Globalize_Dirs is new
4129 Prj.Env.For_All_Object_Dirs (Globalize_Dir);
4133 Display (Globalizer, Globalizer_Args);
4135 if Globalizer_Path = null then
4136 Make_Failed ("error, unable to locate " & Globalizer);
4139 if Main_Project = No_Project then
4140 GNAT.OS_Lib.Spawn (Globalizer_Path.all, Globalizer_Args, Success);
4142 Globalize_Dirs (Main_Project, Project_Tree);
4150 procedure Linking_Phase
4151 (Non_Std_Executable : Boolean := False;
4152 Executable : File_Name_Type := No_File;
4153 Main_ALI_File : File_Name_Type)
4155 Linker_Switches_Last : constant Integer := Linker_Switches.Last;
4156 Path_Option : constant String_Access :=
4157 MLib.Linker_Library_Path_Option;
4158 Libraries_Present : Boolean := False;
4162 Proj1 : Project_List;
4165 if not Run_Path_Option then
4166 Linker_Switches.Increment_Last;
4167 Linker_Switches.Table (Linker_Switches.Last) :=
4171 if Main_Project /= No_Project then
4172 Library_Paths.Set_Last (0);
4175 if MLib.Tgt.Support_For_Libraries /= Prj.None then
4177 -- Check for library projects
4179 Proj1 := Project_Tree.Projects;
4180 while Proj1 /= null loop
4181 if Proj1.Project /= Main_Project
4182 and then Proj1.Project.Library
4184 -- Add this project to table Library_Projs
4186 Libraries_Present := True;
4187 Depth := Proj1.Project.Depth;
4188 Library_Projs.Increment_Last;
4189 Current := Library_Projs.Last;
4191 -- Any project with a greater depth should be after this
4192 -- project in the list.
4194 while Current > 1 loop
4195 Proj2 := Library_Projs.Table (Current - 1);
4196 exit when Proj2.Depth <= Depth;
4197 Library_Projs.Table (Current) := Proj2;
4198 Current := Current - 1;
4201 Library_Projs.Table (Current) := Proj1.Project;
4203 -- If it is not a static library and path option is set, add
4204 -- it to the Library_Paths table.
4206 if Proj1.Project.Library_Kind /= Static
4207 and then Proj1.Project.Extended_By = No_Project
4208 and then Path_Option /= null
4210 Library_Paths.Increment_Last;
4211 Library_Paths.Table (Library_Paths.Last) :=
4214 (Proj1.Project.Library_Dir.Display_Name));
4218 Proj1 := Proj1.Next;
4221 for Index in 1 .. Library_Projs.Last loop
4223 Library_Projs.Table (Index).Extended_By = No_Project
4225 if Library_Projs.Table (Index).Library_Kind = Static
4226 and then not Targparm.OpenVMS_On_Target
4228 Linker_Switches.Increment_Last;
4229 Linker_Switches.Table (Linker_Switches.Last) :=
4232 (Library_Projs.Table
4233 (Index).Library_Dir.Display_Name) &
4236 (Library_Projs.Table
4237 (Index).Library_Name) &
4239 MLib.Tgt.Archive_Ext);
4242 -- Add the -L switch
4244 Linker_Switches.Increment_Last;
4245 Linker_Switches.Table (Linker_Switches.Last) :=
4248 (Library_Projs.Table (Index).
4249 Library_Dir.Display_Name));
4251 -- Add the -l switch
4253 Linker_Switches.Increment_Last;
4254 Linker_Switches.Table (Linker_Switches.Last) :=
4257 (Library_Projs.Table (Index).
4264 if Libraries_Present then
4266 -- If Path_Option is not null, create the switch ("-Wl,-rpath,"
4267 -- or equivalent) with all the non-static library dirs plus the
4268 -- standard GNAT library dir. We do that only if Run_Path_Option
4269 -- is True (not disabled by -R switch).
4271 if Run_Path_Option and then Path_Option /= null then
4273 Option : String_Access;
4274 Length : Natural := Path_Option'Length;
4278 if MLib.Separate_Run_Path_Options then
4280 -- We are going to create one switch of the form
4281 -- "-Wl,-rpath,dir_N" for each directory to
4284 -- One switch for each library directory
4287 Library_Paths.First .. Library_Paths.Last
4289 Linker_Switches.Increment_Last;
4290 Linker_Switches.Table (Linker_Switches.Last) :=
4293 Library_Paths.Table (Index).all);
4296 -- One switch for the standard GNAT library dir
4298 Linker_Switches.Increment_Last;
4299 Linker_Switches.Table (Linker_Switches.Last) :=
4300 new String'(Path_Option.all & MLib.Utl.Lib_Directory);
4303 -- We are going to create one switch of the form
4304 -- "-Wl,-rpath,dir_1:dir_2:dir_3"
4307 Library_Paths.First .. Library_Paths.Last
4309 -- Add the length of the library dir plus one for the
4310 -- directory separator.
4313 Length + Library_Paths.Table (Index)'Length + 1;
4316 -- Finally, add the length of the standard GNAT
4319 Length := Length + MLib.Utl.Lib_Directory'Length;
4320 Option := new String (1 .. Length);
4321 Option (1 .. Path_Option'Length) := Path_Option.all;
4322 Current := Path_Option'Length;
4324 -- Put each library dir followed by a dir
4328 Library_Paths.First .. Library_Paths.Last
4332 Current + Library_Paths.Table (Index)'Length) :=
4333 Library_Paths.Table (Index).all;
4335 Current + Library_Paths.Table (Index)'Length + 1;
4336 Option (Current) := Path_Separator;
4339 -- Finally put the standard GNAT library dir
4343 Current + MLib.Utl.Lib_Directory'Length) :=
4344 MLib.Utl.Lib_Directory;
4346 -- And add the switch to the linker switches
4348 Linker_Switches.Increment_Last;
4349 Linker_Switches.Table (Linker_Switches.Last) := Option;
4355 -- Put the object directories in ADA_OBJECTS_PATH
4357 Prj.Env.Set_Ada_Paths
4360 Including_Libraries => False,
4361 Include_Path => False);
4363 -- Check for attributes Linker'Linker_Options in projects other than
4367 Linker_Options : constant String_List :=
4368 Linker_Options_Switches
4370 Do_Fail => Make_Failed'Access,
4371 In_Tree => Project_Tree);
4373 for Option in Linker_Options'Range loop
4374 Linker_Switches.Increment_Last;
4375 Linker_Switches.Table (Linker_Switches.Last) :=
4376 Linker_Options (Option);
4381 if CodePeer_Mode then
4382 Linker_Switches.Increment_Last;
4383 Linker_Switches.Table (Linker_Switches.Last) :=
4384 new String'(CodePeer_Mode_String);
4387 -- Add switch -M to gnatlink if builder switch --create-map-file
4388 -- has been specified.
4390 if Map_File /= null then
4391 Linker_Switches.Increment_Last;
4392 Linker_Switches.Table (Linker_Switches.Last) :=
4393 new String'("-M" & Map_File.all);
4397 Args : Argument_List
4398 (Linker_Switches.First .. Linker_Switches.Last + 2);
4400 Last_Arg : Integer := Linker_Switches.First - 1;
4401 Skip : Boolean := False;
4404 -- Get all the linker switches
4406 for J in Linker_Switches.First .. Linker_Switches.Last loop
4410 elsif Non_Std_Executable
4411 and then Linker_Switches.Table (J).all = "-o"
4415 -- Here we capture and duplicate the linker argument. We
4416 -- need to do the duplication since the arguments will get
4417 -- normalized. Not doing so will result in calling normalized
4418 -- two times for the same set of arguments if gnatmake is
4419 -- passed multiple mains. This can result in the wrong argument
4420 -- being passed to the linker.
4423 Last_Arg := Last_Arg + 1;
4424 Args (Last_Arg) := new String'(Linker_Switches.Table (J).all);
4428 -- If need be, add the -o switch
4430 if Non_Std_Executable then
4431 Last_Arg := Last_Arg + 1;
4432 Args (Last_Arg) := new String'("-o");
4433 Last_Arg := Last_Arg + 1;
4434 Args (Last_Arg) := new String'(Get_Name_String (Executable));
4437 -- And invoke the linker
4440 Success : Boolean := False;
4442 Link (Main_ALI_File,
4443 Link_With_Shared_Libgcc.all &
4444 Args (Args'First .. Last_Arg),
4448 Successful_Links.Increment_Last;
4449 Successful_Links.Table (Successful_Links.Last) := Main_ALI_File;
4451 elsif Osint.Number_Of_Files = 1
4452 or else not Keep_Going
4454 Make_Failed ("*** link failed.");
4458 Write_Line ("*** link failed");
4460 if Commands_To_Stdout then
4461 Set_Standard_Output;
4464 Failed_Links.Increment_Last;
4465 Failed_Links.Table (Failed_Links.Last) := Main_ALI_File;
4470 Linker_Switches.Set_Last (Linker_Switches_Last);
4477 procedure Binding_Phase
4478 (Stand_Alone_Libraries : Boolean := False;
4479 Main_ALI_File : File_Name_Type)
4481 Args : Argument_List (Binder_Switches.First .. Binder_Switches.Last + 2);
4482 -- The arguments for the invocation of gnatbind
4484 Last_Arg : Natural := Binder_Switches.Last;
4485 -- Index of the last argument in Args
4487 Shared_Libs : Boolean := False;
4488 -- Set to True when there are shared library project files or
4489 -- when gnatbind is invoked with -shared.
4491 Proj : Project_List;
4493 Mapping_Path : Path_Name_Type := No_Path;
4494 -- The path name of the mapping file
4497 -- Check if there are shared libraries, so that gnatbind is called with
4498 -- -shared. Check also if gnatbind is called with -shared, so that
4499 -- gnatlink is called with -shared-libgcc ensuring that the shared
4500 -- version of libgcc will be used.
4502 if Main_Project /= No_Project
4503 and then MLib.Tgt.Support_For_Libraries /= Prj.None
4505 Proj := Project_Tree.Projects;
4506 while Proj /= null loop
4507 if Proj.Project.Library
4508 and then Proj.Project.Library_Kind /= Static
4510 Shared_Libs := True;
4511 Bind_Shared := Shared_Switch'Access;
4519 -- Check now for switch -shared
4521 if not Shared_Libs then
4522 for J in Binder_Switches.First .. Last_Arg loop
4523 if Binder_Switches.Table (J).all = "-shared" then
4524 Shared_Libs := True;
4530 -- If shared libraries present, invoke gnatlink with
4534 Link_With_Shared_Libgcc := Shared_Libgcc_Switch'Access;
4537 -- Get all the binder switches
4539 for J in Binder_Switches.First .. Last_Arg loop
4540 Args (J) := Binder_Switches.Table (J);
4543 if Stand_Alone_Libraries then
4544 Last_Arg := Last_Arg + 1;
4545 Args (Last_Arg) := Force_Elab_Flags_String'Access;
4548 if CodePeer_Mode then
4549 Last_Arg := Last_Arg + 1;
4550 Args (Last_Arg) := CodePeer_Mode_String'Access;
4553 if Main_Project /= No_Project then
4555 -- Put all the source directories in ADA_INCLUDE_PATH,
4556 -- and all the object directories in ADA_OBJECTS_PATH,
4557 -- except those of library projects.
4559 Prj.Env.Set_Ada_Paths
4560 (Project => Main_Project,
4561 In_Tree => Project_Tree,
4562 Including_Libraries => False,
4563 Include_Path => Use_Include_Path_File);
4565 -- If switch -C was specified, create a binder mapping file
4567 if Create_Mapping_File then
4568 Mapping_Path := Create_Binder_Mapping_File (Project_Tree);
4570 if Mapping_Path /= No_Path then
4571 Last_Arg := Last_Arg + 1;
4573 new String'("-F=" & Get_Name_String (Mapping_Path));
4579 Bind (Main_ALI_File,
4580 Bind_Shared.all & Args (Args'First .. Last_Arg));
4585 -- Delete the temporary mapping file if one was created
4587 if Mapping_Path /= No_Path then
4588 Delete_Temporary_File (Project_Tree.Shared, Mapping_Path);
4591 -- And reraise the exception
4596 -- If -dn was not specified, delete the temporary mapping file
4597 -- if one was created.
4599 if Mapping_Path /= No_Path then
4600 Delete_Temporary_File (Project_Tree.Shared, Mapping_Path);
4608 procedure Library_Phase
4609 (Stand_Alone_Libraries : in out Boolean;
4610 Library_Rebuilt : in out Boolean)
4614 Proj1 : Project_List;
4616 procedure Add_To_Library_Projs (Proj : Project_Id);
4617 -- Add project Project to table Library_Projs in
4618 -- decreasing depth order.
4620 --------------------------
4621 -- Add_To_Library_Projs --
4622 --------------------------
4624 procedure Add_To_Library_Projs (Proj : Project_Id) is
4628 Library_Projs.Increment_Last;
4629 Depth := Proj.Depth;
4631 -- Put the projects in decreasing depth order, so that
4632 -- if libA depends on libB, libB is first in order.
4634 Current := Library_Projs.Last;
4635 while Current > 1 loop
4636 Prj := Library_Projs.Table (Current - 1);
4637 exit when Prj.Depth >= Depth;
4638 Library_Projs.Table (Current) := Prj;
4639 Current := Current - 1;
4642 Library_Projs.Table (Current) := Proj;
4643 end Add_To_Library_Projs;
4648 -- Put in Library_Projs table all library project file
4649 -- ids when the library need to be rebuilt.
4651 Proj1 := Project_Tree.Projects;
4652 while Proj1 /= null loop
4653 if Proj1.Project.Extended_By = No_Project then
4654 if Proj1.Project.Standalone_Library then
4655 Stand_Alone_Libraries := True;
4658 if Proj1.Project.Library then
4659 MLib.Prj.Check_Library
4660 (Proj1.Project, Project_Tree);
4663 if Proj1.Project.Need_To_Build_Lib then
4664 Add_To_Library_Projs (Proj1.Project);
4668 Proj1 := Proj1.Next;
4671 -- Check if importing libraries should be regenerated
4672 -- because at least an imported library will be
4673 -- regenerated or is more recent.
4675 Proj1 := Project_Tree.Projects;
4676 while Proj1 /= null loop
4677 if Proj1.Project.Library
4678 and then Proj1.Project.Extended_By = No_Project
4679 and then Proj1.Project.Library_Kind /= Static
4680 and then not Proj1.Project.Need_To_Build_Lib
4681 and then not Proj1.Project.Externally_Built
4684 List : Project_List;
4686 Rebuild : Boolean := False;
4688 Lib_Timestamp1 : constant Time_Stamp_Type :=
4689 Proj1.Project.Library_TS;
4692 List := Proj1.Project.All_Imported_Projects;
4693 while List /= null loop
4694 Proj2 := List.Project;
4696 if Proj2.Library then
4697 if Proj2.Need_To_Build_Lib
4699 (Lib_Timestamp1 < Proj2.Library_TS)
4710 Proj1.Project.Need_To_Build_Lib := True;
4711 Add_To_Library_Projs (Proj1.Project);
4716 Proj1 := Proj1.Next;
4719 -- Reset the flags Need_To_Build_Lib for the next main, to avoid
4720 -- rebuilding libraries uselessly.
4722 Proj1 := Project_Tree.Projects;
4723 while Proj1 /= null loop
4724 Proj1.Project.Need_To_Build_Lib := False;
4725 Proj1 := Proj1.Next;
4728 -- Build the libraries, if any need to be built
4730 for J in 1 .. Library_Projs.Last loop
4731 Library_Rebuilt := True;
4733 -- If a library is rebuilt, then executables are obsolete
4735 Executable_Obsolete := True;
4737 MLib.Prj.Build_Library
4738 (For_Project => Library_Projs.Table (J),
4739 In_Tree => Project_Tree,
4740 Gnatbind => Gnatbind.all,
4741 Gnatbind_Path => Gnatbind_Path,
4743 Gcc_Path => Gcc_Path);
4747 -----------------------
4748 -- Compilation_Phase --
4749 -----------------------
4751 procedure Compilation_Phase
4752 (Main_Source_File : File_Name_Type;
4753 Current_Main_Index : Int := 0;
4754 Total_Compilation_Failures : in out Natural;
4755 Stand_Alone_Libraries : in out Boolean;
4756 Executable : File_Name_Type := No_File;
4757 Is_Last_Main : Boolean;
4758 Stop_Compile : out Boolean)
4760 Args : Argument_List (1 .. Gcc_Switches.Last);
4762 First_Compiled_File : File_Name_Type;
4763 Youngest_Obj_File : File_Name_Type;
4764 Youngest_Obj_Stamp : Time_Stamp_Type;
4766 Is_Main_Unit : Boolean;
4767 -- Set True by Compile_Sources if Main_Source_File can be a main unit
4769 Compilation_Failures : Natural;
4771 Executable_Stamp : Time_Stamp_Type;
4773 Library_Rebuilt : Boolean := False;
4776 Stop_Compile := False;
4778 for J in 1 .. Gcc_Switches.Last loop
4779 Args (J) := Gcc_Switches.Table (J);
4782 -- Now we invoke Compile_Sources for the current main
4785 (Main_Source => Main_Source_File,
4787 First_Compiled_File => First_Compiled_File,
4788 Most_Recent_Obj_File => Youngest_Obj_File,
4789 Most_Recent_Obj_Stamp => Youngest_Obj_Stamp,
4790 Main_Unit => Is_Main_Unit,
4791 Main_Index => Current_Main_Index,
4792 Compilation_Failures => Compilation_Failures,
4793 Check_Readonly_Files => Check_Readonly_Files,
4794 Do_Not_Execute => Do_Not_Execute,
4795 Force_Compilations => Force_Compilations,
4796 In_Place_Mode => In_Place_Mode,
4797 Keep_Going => Keep_Going,
4798 Initialize_ALI_Data => True,
4799 Max_Process => Saved_Maximum_Processes);
4801 if Verbose_Mode then
4802 Write_Str ("End of compilation");
4806 Total_Compilation_Failures :=
4807 Total_Compilation_Failures + Compilation_Failures;
4809 if Total_Compilation_Failures /= 0 then
4810 Stop_Compile := True;
4814 -- Regenerate libraries, if there are any and if object files
4815 -- have been regenerated.
4817 if Main_Project /= No_Project
4818 and then MLib.Tgt.Support_For_Libraries /= Prj.None
4819 and then (Do_Bind_Step
4820 or Unique_Compile_All_Projects
4821 or not Compile_Only)
4822 and then (Do_Link_Step or Is_Last_Main)
4825 (Stand_Alone_Libraries => Stand_Alone_Libraries,
4826 Library_Rebuilt => Library_Rebuilt);
4829 if List_Dependencies then
4830 if First_Compiled_File /= No_File then
4832 (First_Compiled_File,
4833 "must be recompiled. Can't generate dependence list.");
4838 elsif First_Compiled_File = No_File
4839 and then not Do_Bind_Step
4840 and then not Quiet_Output
4841 and then not Library_Rebuilt
4842 and then Osint.Number_Of_Files = 1
4844 Inform (Msg => "objects up to date.");
4845 Stop_Compile := True;
4848 elsif Do_Not_Execute and then First_Compiled_File /= No_File then
4849 Write_Name (First_Compiled_File);
4853 -- Stop after compile step if any of:
4855 -- 1) -n (Do_Not_Execute) specified
4857 -- 2) -M (List_Dependencies) specified (also sets
4858 -- Do_Not_Execute above, so this is probably superfluous).
4860 -- 3) -c (Compile_Only) specified, but not -b (Bind_Only)
4862 -- 4) Made unit cannot be a main unit
4865 or List_Dependencies
4867 or not Is_Main_Unit)
4868 and not No_Main_Subprogram
4869 and not Build_Bind_And_Link_Full_Project)
4872 Stop_Compile := True;
4876 -- If the objects were up-to-date check if the executable file is also
4877 -- up-to-date. For now always bind and link on the JVM since there is
4878 -- currently no simple way to check whether objects are up to date wrt
4879 -- the executable. Same in CodePeer mode where there is no executable.
4881 if Targparm.VM_Target /= JVM_Target
4882 and then not CodePeer_Mode
4883 and then First_Compiled_File = No_File
4885 Executable_Stamp := File_Stamp (Executable);
4887 if not Executable_Obsolete then
4888 Executable_Obsolete := Youngest_Obj_Stamp > Executable_Stamp;
4891 if not Executable_Obsolete then
4892 for Index in reverse 1 .. Dependencies.Last loop
4893 if Is_In_Obsoleted (Dependencies.Table (Index).Depends_On) then
4894 Enter_Into_Obsoleted (Dependencies.Table (Index).This);
4898 Executable_Obsolete := Is_In_Obsoleted (Main_Source_File);
4902 if not Executable_Obsolete then
4904 -- If no Ada object files obsolete the executable, check
4905 -- for younger or missing linker files.
4907 Check_Linker_Options
4910 Youngest_Obj_Stamp);
4912 Executable_Obsolete := Youngest_Obj_File /= No_File;
4915 -- Check if any library file is more recent than the
4916 -- executable: there may be an externally built library
4917 -- file that has been modified.
4919 if not Executable_Obsolete and then Main_Project /= No_Project then
4921 Proj1 : Project_List;
4924 Proj1 := Project_Tree.Projects;
4925 while Proj1 /= null loop
4926 if Proj1.Project.Library
4927 and then Proj1.Project.Library_TS > Executable_Stamp
4929 Executable_Obsolete := True;
4930 Youngest_Obj_Stamp := Proj1.Project.Library_TS;
4932 Add_Str_To_Name_Buffer ("library ");
4933 Add_Str_To_Name_Buffer
4934 (Get_Name_String (Proj1.Project.Library_Name));
4935 Youngest_Obj_File := Name_Find;
4939 Proj1 := Proj1.Next;
4944 -- Return if the executable is up to date and otherwise
4945 -- motivate the relink/rebind.
4947 if not Executable_Obsolete then
4948 if not Quiet_Output then
4949 Inform (Executable, "up to date.");
4952 Stop_Compile := True;
4956 if Executable_Stamp (1) = ' ' then
4957 if not No_Main_Subprogram then
4958 Verbose_Msg (Executable, "missing.", Prefix => " ");
4961 elsif Youngest_Obj_Stamp (1) = ' ' then
4963 (Youngest_Obj_File, "missing.", Prefix => " ");
4965 elsif Youngest_Obj_Stamp > Executable_Stamp then
4968 "(" & String (Youngest_Obj_Stamp) & ") newer than",
4970 "(" & String (Executable_Stamp) & ")");
4974 (Executable, "needs to be rebuilt", Prefix => " ");
4978 end Compilation_Phase;
4980 ----------------------------------------
4981 -- Resolve_Relative_Names_In_Switches --
4982 ----------------------------------------
4984 procedure Resolve_Relative_Names_In_Switches (Current_Work_Dir : String) is
4986 -- If a relative path output file has been specified, we add the
4989 for J in reverse 1 .. Saved_Linker_Switches.Last - 1 loop
4990 if Saved_Linker_Switches.Table (J).all = Output_Flag.all then
4992 Exec_File_Name : constant String :=
4993 Saved_Linker_Switches.Table (J + 1).all;
4996 if not Is_Absolute_Path (Exec_File_Name) then
4997 Get_Name_String (Main_Project.Exec_Directory.Display_Name);
4998 Add_Str_To_Name_Buffer (Exec_File_Name);
4999 Saved_Linker_Switches.Table (J + 1) :=
5000 new String'(Name_Buffer (1 .. Name_Len));
5008 -- If we are using a project file, for relative paths we add the
5009 -- current working directory for any relative path on the command
5010 -- line and the project directory, for any relative path in the
5014 Dir_Path : constant String :=
5015 Get_Name_String (Main_Project.Directory.Display_Name);
5017 for J in 1 .. Binder_Switches.Last loop
5018 Test_If_Relative_Path
5019 (Binder_Switches.Table (J),
5020 Do_Fail => Make_Failed'Access,
5021 Parent => Dir_Path, Including_L_Switch => False);
5024 for J in 1 .. Saved_Binder_Switches.Last loop
5025 Test_If_Relative_Path
5026 (Saved_Binder_Switches.Table (J),
5027 Do_Fail => Make_Failed'Access,
5028 Parent => Current_Work_Dir,
5029 Including_L_Switch => False);
5032 for J in 1 .. Linker_Switches.Last loop
5033 Test_If_Relative_Path
5034 (Linker_Switches.Table (J),
5036 Do_Fail => Make_Failed'Access);
5039 for J in 1 .. Saved_Linker_Switches.Last loop
5040 Test_If_Relative_Path
5041 (Saved_Linker_Switches.Table (J),
5042 Do_Fail => Make_Failed'Access,
5043 Parent => Current_Work_Dir);
5046 for J in 1 .. Gcc_Switches.Last loop
5047 Test_If_Relative_Path
5048 (Gcc_Switches.Table (J),
5049 Do_Fail => Make_Failed'Access,
5051 Including_Non_Switch => False);
5054 for J in 1 .. Saved_Gcc_Switches.Last loop
5055 Test_If_Relative_Path
5056 (Saved_Gcc_Switches.Table (J),
5057 Parent => Current_Work_Dir,
5058 Do_Fail => Make_Failed'Access,
5059 Including_Non_Switch => False);
5062 end Resolve_Relative_Names_In_Switches;
5064 -----------------------------------
5065 -- Queue_Library_Project_Sources --
5066 -----------------------------------
5068 procedure Queue_Library_Project_Sources is
5070 if not Unique_Compile
5071 and then MLib.Tgt.Support_For_Libraries /= Prj.None
5074 Proj : Project_List;
5077 Proj := Project_Tree.Projects;
5078 while Proj /= null loop
5079 if Proj.Project.Library then
5080 Proj.Project.Need_To_Build_Lib :=
5081 not MLib.Tgt.Library_Exists_For
5082 (Proj.Project, Project_Tree)
5083 and then not Proj.Project.Externally_Built;
5085 if Proj.Project.Need_To_Build_Lib then
5087 -- If there is no object directory, then it will be
5088 -- impossible to build the library, so fail immediately.
5090 if Proj.Project.Object_Directory =
5094 ("no object files to build library for"
5096 & Get_Name_String (Proj.Project.Name)
5098 Proj.Project.Need_To_Build_Lib := False;
5101 if Verbose_Mode then
5103 ("Library file does not exist for "
5106 (Get_Name_String (Proj.Project.Name));
5110 Insert_Project_Sources
5111 (The_Project => Proj.Project,
5112 All_Projects => False,
5122 end Queue_Library_Project_Sources;
5124 ------------------------
5125 -- Compute_Executable --
5126 ------------------------
5128 procedure Compute_Executable
5129 (Main_Source_File : File_Name_Type;
5130 Executable : out File_Name_Type;
5131 Non_Std_Executable : out Boolean)
5134 Executable := No_File;
5135 Non_Std_Executable :=
5136 Targparm.Executable_Extension_On_Target /= No_Name;
5138 -- Look inside the linker switches to see if the name of the final
5139 -- executable program was specified.
5141 for J in reverse Linker_Switches.First .. Linker_Switches.Last loop
5142 if Linker_Switches.Table (J).all = Output_Flag.all then
5143 pragma Assert (J < Linker_Switches.Last);
5145 -- We cannot specify a single executable for several main
5148 if Osint.Number_Of_Files > 1 then
5149 Fail ("cannot specify a single executable for several mains");
5153 Add_Str_To_Name_Buffer (Linker_Switches.Table (J + 1).all);
5154 Executable := Name_Enter;
5156 Verbose_Msg (Executable, "final executable");
5160 -- If the name of the final executable program was not specified then
5161 -- construct it from the main input file.
5163 if Executable = No_File then
5164 if Main_Project = No_Project then
5165 Executable := Executable_Name (Strip_Suffix (Main_Source_File));
5168 -- If we are using a project file, we attempt to remove the body
5169 -- (or spec) termination of the main subprogram. We find it the
5170 -- naming scheme of the project file. This avoids generating an
5171 -- executable "main.2" for a main subprogram "main.2.ada", when
5172 -- the body termination is ".2.ada".
5175 Prj.Util.Executable_Of
5176 (Main_Project, Project_Tree.Shared,
5177 Main_Source_File, Main_Index);
5181 if Main_Project /= No_Project
5182 and then Main_Project.Exec_Directory /= No_Path_Information
5185 Exec_File_Name : constant String := Get_Name_String (Executable);
5187 if not Is_Absolute_Path (Exec_File_Name) then
5188 Get_Name_String (Main_Project.Exec_Directory.Display_Name);
5189 Add_Str_To_Name_Buffer (Exec_File_Name);
5190 Executable := Name_Find;
5193 Non_Std_Executable := True;
5196 end Compute_Executable;
5198 -------------------------------
5199 -- Compute_Switches_For_Main --
5200 -------------------------------
5202 procedure Compute_Switches_For_Main
5203 (Main_Source_File : in out File_Name_Type;
5205 Project_Node_Tree : Project_Node_Tree_Ref;
5206 Root_Environment : in out Prj.Tree.Environment;
5207 Compute_Builder : Boolean;
5208 Current_Work_Dir : String)
5210 function Add_Global_Switches
5213 For_Builder : Boolean;
5214 Has_Global_Compilation_Switches : Boolean) return Boolean;
5215 -- Handles builder and global compilation switches, as read from the
5218 function Add_Global_Switches
5221 For_Builder : Boolean;
5222 Has_Global_Compilation_Switches : Boolean) return Boolean
5224 pragma Unreferenced (For_Lang);
5227 Program_Args := None;
5228 Switch_May_Be_Passed_To_The_Compiler :=
5229 not Has_Global_Compilation_Switches;
5230 Scan_Make_Arg (Root_Environment, Switch, And_Save => False);
5232 return Gnatmake_Switch_Found
5233 or else Switch_May_Be_Passed_To_The_Compiler;
5235 Add_Switch (Switch, Compiler, And_Save => False);
5238 end Add_Global_Switches;
5240 procedure Do_Compute_Builder_Switches
5241 is new Makeutl.Compute_Builder_Switches (Add_Global_Switches);
5243 if Main_Project /= No_Project then
5245 Main_Source_File_Name : constant String :=
5246 Get_Name_String (Main_Source_File);
5248 Main_Unit_File_Name : constant String :=
5249 Prj.Env.File_Name_Of_Library_Unit_Body
5250 (Name => Main_Source_File_Name,
5251 Project => Main_Project,
5252 In_Tree => Project_Tree,
5253 Main_Project_Only => not Unique_Compile);
5255 The_Packages : constant Package_Id := Main_Project.Decl.Packages;
5257 Binder_Package : constant Prj.Package_Id :=
5259 (Name => Name_Binder,
5260 In_Packages => The_Packages,
5261 Shared => Project_Tree.Shared);
5263 Linker_Package : constant Prj.Package_Id :=
5265 (Name => Name_Linker,
5266 In_Packages => The_Packages,
5267 Shared => Project_Tree.Shared);
5270 -- We fail if we cannot find the main source file
5272 if Main_Unit_File_Name = "" then
5273 Make_Failed ('"' & Main_Source_File_Name
5274 & """ is not a unit of project "
5275 & Project_File_Name.all & ".");
5278 -- Remove any directory information from the main source file
5282 Pos : Natural := Main_Unit_File_Name'Last;
5286 exit when Pos < Main_Unit_File_Name'First
5287 or else Main_Unit_File_Name (Pos) = Directory_Separator;
5291 Name_Len := Main_Unit_File_Name'Last - Pos;
5293 Name_Buffer (1 .. Name_Len) :=
5294 Main_Unit_File_Name (Pos + 1 .. Main_Unit_File_Name'Last);
5296 Main_Source_File := Name_Find;
5298 -- We only output the main source file if there is only one
5300 if Verbose_Mode and then Osint.Number_Of_Files = 1 then
5301 Write_Str ("Main source file: """);
5302 Write_Str (Main_Unit_File_Name
5303 (Pos + 1 .. Main_Unit_File_Name'Last));
5308 if Compute_Builder then
5309 Do_Compute_Builder_Switches
5310 (Project_Tree => Project_Tree,
5311 Root_Environment => Root_Environment,
5312 Main_Project => Main_Project,
5313 Only_For_Lang => Name_Ada);
5315 Resolve_Relative_Names_In_Switches
5316 (Current_Work_Dir => Current_Work_Dir);
5318 -- Record current last switch index for tables Binder_Switches
5319 -- and Linker_Switches, so that these tables may be reset
5320 -- before each main, before adding switches from the project
5321 -- file and from the command line.
5323 Last_Binder_Switch := Binder_Switches.Last;
5324 Last_Linker_Switch := Linker_Switches.Last;
5327 -- Reset the tables Binder_Switches and Linker_Switches
5329 Binder_Switches.Set_Last (Last_Binder_Switch);
5330 Linker_Switches.Set_Last (Last_Linker_Switch);
5333 -- We now deal with the binder and linker switches. If no project
5334 -- file is used, there is nothing to do because the binder and
5335 -- linker switches are the same for all mains.
5337 -- Add binder switches from the project file for the first main
5339 if Do_Bind_Step and then Binder_Package /= No_Package then
5340 if Verbose_Mode then
5341 Write_Str ("Adding binder switches for """);
5342 Write_Str (Main_Unit_File_Name);
5347 (Project_Node_Tree => Project_Node_Tree,
5348 Env => Root_Environment,
5349 File_Name => Main_Unit_File_Name,
5350 Index => Main_Index,
5351 The_Package => Binder_Package,
5355 -- Add linker switches from the project file for the first main
5357 if Do_Link_Step and then Linker_Package /= No_Package then
5358 if Verbose_Mode then
5359 Write_Str ("Adding linker switches for""");
5360 Write_Str (Main_Unit_File_Name);
5365 (Project_Node_Tree => Project_Node_Tree,
5366 Env => Root_Environment,
5367 File_Name => Main_Unit_File_Name,
5368 Index => Main_Index,
5369 The_Package => Linker_Package,
5373 -- As we are using a project file, for relative paths we add the
5374 -- current working directory for any relative path on the command
5375 -- line and the project directory, for any relative path in the
5379 Dir_Path : constant String :=
5380 Get_Name_String (Main_Project.Directory.Display_Name);
5382 for J in Last_Binder_Switch + 1 .. Binder_Switches.Last loop
5383 Test_If_Relative_Path
5384 (Binder_Switches.Table (J),
5385 Do_Fail => Make_Failed'Access,
5386 Parent => Dir_Path, Including_L_Switch => False);
5389 for J in Last_Linker_Switch + 1 .. Linker_Switches.Last loop
5390 Test_If_Relative_Path
5391 (Linker_Switches.Table (J),
5393 Do_Fail => Make_Failed'Access);
5399 if not Compute_Builder then
5401 -- Reset the tables Binder_Switches and Linker_Switches
5403 Binder_Switches.Set_Last (Last_Binder_Switch);
5404 Linker_Switches.Set_Last (Last_Linker_Switch);
5410 if Compute_Builder then
5411 Display_Commands (not Quiet_Output);
5414 -- We now put in the Binder_Switches and Linker_Switches tables, the
5415 -- binder and linker switches of the command line that have been put in
5416 -- the Saved_ tables. If a project file was used, then the command line
5417 -- switches will follow the project file switches.
5419 for J in 1 .. Saved_Binder_Switches.Last loop
5421 (Saved_Binder_Switches.Table (J),
5426 for J in 1 .. Saved_Linker_Switches.Last loop
5428 (Saved_Linker_Switches.Table (J),
5432 end Compute_Switches_For_Main;
5438 procedure Gnatmake is
5439 Main_Source_File : File_Name_Type;
5440 -- The source file containing the main compilation unit
5442 Total_Compilation_Failures : Natural := 0;
5444 Main_ALI_File : File_Name_Type;
5445 -- The ali file corresponding to Main_Source_File
5447 Executable : File_Name_Type := No_File;
5448 -- The file name of an executable
5450 Non_Std_Executable : Boolean := False;
5451 -- Non_Std_Executable is set to True when there is a possibility that
5452 -- the linker will not choose the correct executable file name.
5454 Current_Work_Dir : constant String_Access :=
5455 new String'(Get_Current_Dir);
5456 -- The current working directory, used to modify some relative path
5457 -- switches on the command line when a project file is used.
5459 Current_Main_Index : Int := 0;
5460 -- If not zero, the index of the current main unit in its source file
5462 Is_First_Main : Boolean;
5463 -- Whether we are processing the first main
5465 Stand_Alone_Libraries : Boolean := False;
5466 -- Set to True when there are Stand-Alone Libraries, so that gnatbind
5467 -- is invoked with the -F switch to force checking of elaboration flags.
5469 Project_Node_Tree : Project_Node_Tree_Ref;
5470 Root_Environment : Prj.Tree.Environment;
5472 Stop_Compile : Boolean;
5475 pragma Warnings (Off, Discard);
5477 procedure Check_Mains;
5478 -- Check that the main subprograms do exist and that they all
5479 -- belong to the same project file.
5485 procedure Check_Mains is
5486 Real_Main_Project : Project_Id := No_Project;
5490 if Mains.Number_Of_Mains (Project_Tree) = 0
5491 and then not Unique_Compile
5493 Mains.Fill_From_Project (Main_Project, Project_Tree);
5496 Mains.Complete_Mains
5497 (Root_Environment.Flags, Main_Project, Project_Tree);
5499 -- If we have multiple mains on the command line, they need not
5500 -- belong to the root project, but they must all belong to the same
5503 if not Unique_Compile then
5506 Info := Mains.Next_Main;
5507 exit when Info = No_Main_Info;
5509 Proj := Ultimate_Extending_Project_Of (Info.Project);
5511 if Real_Main_Project = No_Project then
5512 Real_Main_Project := Proj;
5513 elsif Real_Main_Project /= Proj then
5515 ("""" & Get_Name_String (Info.File) &
5516 """ is not a source of project " &
5517 Get_Name_String (Real_Main_Project.Name));
5521 if Real_Main_Project /= No_Project then
5522 Main_Project := Real_Main_Project;
5525 Debug_Output ("After checking mains, main project is",
5529 -- For all mains on the command line, make sure they were in
5530 -- osint. In particular, if the user has specified a multi-unit
5531 -- source file, the call to Complete_Mains will have expanded
5532 -- the list of mains to all its units, and we must now put them
5533 -- back on the command line.
5534 -- ??? This will not be necessary when gnatmake shares the same
5535 -- queue as gprbuild and processes the file directly on the queue.
5539 Info := Mains.Next_Main;
5540 exit when Info = No_Main_Info;
5542 if Info.Index /= 0 then
5543 Debug_Output ("Add to command line index="
5544 & Info.Index'Img, Name_Id (Info.File));
5545 Osint.Add_File (Get_Name_String (Info.File), Info.Index);
5551 -- Start of processing for Gnatmake
5553 -- This body is very long, should be broken down???
5556 Install_Int_Handler (Sigint_Intercepted'Access);
5558 Do_Compile_Step := True;
5559 Do_Bind_Step := True;
5560 Do_Link_Step := True;
5564 Make.Initialize (Project_Node_Tree, Root_Environment);
5566 Bind_Shared := No_Shared_Switch'Access;
5567 Link_With_Shared_Libgcc := No_Shared_Libgcc_Switch'Access;
5569 Failed_Links.Set_Last (0);
5570 Successful_Links.Set_Last (0);
5572 -- Special case when switch -B was specified
5574 if Build_Bind_And_Link_Full_Project then
5576 -- When switch -B is specified, there must be a project file
5578 if Main_Project = No_Project then
5579 Make_Failed ("-B cannot be used without a project file");
5581 -- No main program may be specified on the command line
5583 elsif Osint.Number_Of_Files /= 0 then
5584 Make_Failed ("-B cannot be used with a main specified on " &
5585 "the command line");
5587 -- And the project file cannot be a library project file
5589 elsif Main_Project.Library then
5590 Make_Failed ("-B cannot be used for a library project file");
5593 No_Main_Subprogram := True;
5594 Insert_Project_Sources
5595 (The_Project => Main_Project,
5596 All_Projects => Unique_Compile_All_Projects,
5599 -- If there are no sources to compile, we fail
5601 if Osint.Number_Of_Files = 0 then
5602 Make_Failed ("no sources to compile");
5605 -- Specify -n for gnatbind and add the ALI files of all the
5606 -- sources, except the one which is a fake main subprogram: this
5607 -- is the one for the binder generated file and it will be
5608 -- transmitted to gnatlink. These sources are those that are in
5611 Add_Switch ("-n", Binder, And_Save => True);
5613 for J in 1 .. Queue.Size loop
5615 (Get_Name_String (Lib_File_Name (Queue.Element (J))),
5616 Binder, And_Save => True);
5620 elsif Main_Index /= 0 and then Osint.Number_Of_Files > 1 then
5621 Make_Failed ("cannot specify several mains with a multi-unit index");
5623 elsif Main_Project /= No_Project then
5625 -- If the main project file is a library project file, main(s) cannot
5626 -- be specified on the command line.
5628 if Osint.Number_Of_Files /= 0 then
5629 if Main_Project.Library
5630 and then not Unique_Compile
5631 and then ((not Make_Steps) or else Bind_Only or else Link_Only)
5633 Make_Failed ("cannot specify a main program " &
5634 "on the command line for a library project file");
5637 -- If no mains have been specified on the command line, and we are
5638 -- using a project file, we either find the main(s) in attribute Main
5639 -- of the main project, or we put all the sources of the project file
5643 if Main_Index /= 0 then
5644 Make_Failed ("cannot specify a multi-unit index but no main " &
5645 "on the command line");
5649 Value : String_List_Id := Main_Project.Mains;
5652 -- The attribute Main is an empty list or not specified, or
5653 -- else gnatmake was invoked with the switch "-u".
5655 if Value = Prj.Nil_String or else Unique_Compile then
5659 or not Main_Project.Library
5661 -- First make sure that the binder and the linker will
5664 Do_Bind_Step := False;
5665 Do_Link_Step := False;
5667 -- Put all the sources in the queue
5669 No_Main_Subprogram := True;
5670 Insert_Project_Sources
5671 (The_Project => Main_Project,
5672 All_Projects => Unique_Compile_All_Projects,
5675 -- If no sources to compile, then there is nothing to do
5677 if Osint.Number_Of_Files = 0 then
5678 if not Quiet_Output then
5679 Osint.Write_Program_Name;
5680 Write_Line (": no sources to compile");
5683 Finish_Program (Project_Tree, E_Success);
5688 -- The attribute Main is not an empty list. Put all the main
5689 -- subprograms in the list as if they were specified on the
5690 -- command line. However, if attribute Languages includes a
5691 -- language other than Ada, only include the Ada mains; if
5692 -- there is no Ada main, compile all sources of the project.
5695 Languages : constant Variable_Value :=
5698 Main_Project.Decl.Attributes,
5699 Project_Tree.Shared);
5701 Current : String_List_Id;
5702 Element : String_Element;
5704 Foreign_Language : Boolean := False;
5705 At_Least_One_Main : Boolean := False;
5708 -- First, determine if there is a foreign language in
5709 -- attribute Languages.
5711 if not Languages.Default then
5712 Current := Languages.Values;
5714 while Current /= Nil_String loop
5715 Element := Project_Tree.Shared.String_Elements.
5717 Get_Name_String (Element.Value);
5718 To_Lower (Name_Buffer (1 .. Name_Len));
5720 if Name_Buffer (1 .. Name_Len) /= "ada" then
5721 Foreign_Language := True;
5722 exit Look_For_Foreign;
5725 Current := Element.Next;
5726 end loop Look_For_Foreign;
5729 -- Then, find all mains, or if there is a foreign
5730 -- language, all the Ada mains.
5732 while Value /= Prj.Nil_String loop
5733 -- To know if a main is an Ada main, get its project.
5734 -- It should be the project specified on the command
5738 (Project_Tree.Shared.String_Elements.Table
5742 Main_Name : constant String :=
5744 (Project_Tree.Shared.
5746 Table (Value).Value);
5748 Proj : constant Project_Id :=
5750 (Main_Name, Main_Project, Project_Tree);
5753 if Proj = Main_Project then
5754 At_Least_One_Main := True;
5757 (Project_Tree.Shared.String_Elements.Table
5760 Project_Tree.Shared.String_Elements.Table
5763 elsif not Foreign_Language then
5766 """ is not a source of project " &
5767 Get_Name_String (Main_Project.Display_Name));
5771 Value := Project_Tree.Shared.String_Elements.Table
5775 -- If we did not get any main, it means that all mains
5776 -- in attribute Mains are in a foreign language and -B
5777 -- was not specified to gnatmake; so, we fail.
5779 if not At_Least_One_Main then
5781 ("no Ada mains, use -B to build foreign main");
5789 -- Check that each main on the command line is a source of a
5790 -- project file and, if there are several mains, each of them
5791 -- is a source of the same project file.
5796 if Verbose_Mode then
5798 Display_Version ("GNATMAKE", "1995");
5801 if Osint.Number_Of_Files = 0 then
5802 if Main_Project /= No_Project and then Main_Project.Library then
5804 and then not Main_Project.Standalone_Library
5806 Make_Failed ("only stand-alone libraries may be bound");
5809 -- Add the default search directories to be able to find libgnat
5811 Osint.Add_Default_Search_Dirs;
5813 -- Get the target parameters, so that the correct binder generated
5814 -- files are generated if OpenVMS is the target.
5817 Targparm.Get_Target_Parameters;
5820 when Unrecoverable_Error =>
5821 Make_Failed ("*** make failed.");
5824 -- And bind and or link the library
5826 MLib.Prj.Build_Library
5827 (For_Project => Main_Project,
5828 In_Tree => Project_Tree,
5829 Gnatbind => Gnatbind.all,
5830 Gnatbind_Path => Gnatbind_Path,
5832 Gcc_Path => Gcc_Path,
5836 Finish_Program (Project_Tree, E_Success);
5839 -- Call Get_Target_Parameters to ensure that VM_Target and
5840 -- AAMP_On_Target get set before calling Usage.
5842 Targparm.Get_Target_Parameters;
5844 -- Output usage information if no files to compile
5847 Finish_Program (Project_Tree, E_Success);
5851 -- Get the first executable.
5852 -- ??? This needs to be done early, because Osint.Next_Main_File also
5853 -- initializes the primary search directory, used below to initialize
5854 -- the "-I" parameter
5856 Main_Source_File := Next_Main_Source; -- No directory information
5858 -- If -M was specified, behave as if -n was specified
5860 if List_Dependencies then
5861 Do_Not_Execute := True;
5864 Add_Switch ("-I-", Compiler, And_Save => True);
5866 if Main_Project = No_Project then
5867 if Look_In_Primary_Dir then
5870 Normalize_Directory_Name
5871 (Get_Primary_Src_Search_Directory.all).all,
5872 Compiler, Append_Switch => False,
5878 -- If we use a project file, we have already checked that a main
5879 -- specified on the command line with directory information has the
5880 -- path name corresponding to a correct source in the project tree.
5881 -- So, we don't need the directory information to be taken into
5882 -- account by Find_File, and in fact it may lead to take the wrong
5883 -- sources for other compilation units, when there are extending
5886 Look_In_Primary_Dir := False;
5887 Add_Switch ("-I-", Binder, And_Save => True);
5890 -- If the user wants a program without a main subprogram, add the
5891 -- appropriate switch to the binder.
5893 if No_Main_Subprogram then
5894 Add_Switch ("-z", Binder, And_Save => True);
5897 if Main_Project /= No_Project then
5899 if Main_Project.Object_Directory /= No_Path_Information then
5901 -- Change current directory to object directory of main project
5903 Project_Of_Current_Object_Directory := No_Project;
5904 Change_To_Object_Directory (Main_Project);
5907 -- Source file lookups should be cached for efficiency. Source files
5908 -- are not supposed to change.
5910 Osint.Source_File_Data (Cache => True);
5912 Queue_Library_Project_Sources;
5915 -- The combination of -f -u and one or several mains on the command line
5918 if Force_Compilations
5919 and then Unique_Compile
5920 and then not Unique_Compile_All_Projects
5921 and then Main_On_Command_Line
5923 Must_Compile := True;
5926 if Main_Project /= No_Project
5927 and then not Must_Compile
5928 and then Main_Project.Externally_Built
5931 ("nothing to do for a main project that is externally built");
5934 -- If no project file is used, we just put the gcc switches
5935 -- from the command line in the Gcc_Switches table.
5937 if Main_Project = No_Project then
5938 for J in 1 .. Saved_Gcc_Switches.Last loop
5940 (Saved_Gcc_Switches.Table (J), Compiler, And_Save => False);
5944 -- If there is a project, put the command line gcc switches in the
5945 -- variable The_Saved_Gcc_Switches. They are going to be used later
5946 -- in procedure Compile_Sources.
5948 The_Saved_Gcc_Switches :=
5949 new Argument_List (1 .. Saved_Gcc_Switches.Last + 1);
5951 for J in 1 .. Saved_Gcc_Switches.Last loop
5952 The_Saved_Gcc_Switches (J) := Saved_Gcc_Switches.Table (J);
5955 -- We never use gnat.adc when a project file is used
5957 The_Saved_Gcc_Switches (The_Saved_Gcc_Switches'Last) := No_gnat_adc;
5960 -- If there was a --GCC, --GNATBIND or --GNATLINK switch on the command
5961 -- line, then we have to use it, even if there was another switch in
5962 -- the project file.
5964 if Saved_Gcc /= null then
5968 if Saved_Gnatbind /= null then
5969 Gnatbind := Saved_Gnatbind;
5972 if Saved_Gnatlink /= null then
5973 Gnatlink := Saved_Gnatlink;
5976 Gcc_Path := GNAT.OS_Lib.Locate_Exec_On_Path (Gcc.all);
5977 Gnatbind_Path := GNAT.OS_Lib.Locate_Exec_On_Path (Gnatbind.all);
5978 Gnatlink_Path := GNAT.OS_Lib.Locate_Exec_On_Path (Gnatlink.all);
5980 Bad_Compilation.Init;
5982 -- If project files are used, create the mapping of all the sources, so
5983 -- that the correct paths will be found. Otherwise, if there is a file
5984 -- which is not a source with the same name in a source directory this
5985 -- file may be incorrectly found.
5987 if Main_Project /= No_Project then
5988 Prj.Env.Create_Mapping (Project_Tree);
5991 -- Here is where the make process is started
5994 (Main_Project /= No_Project and then One_Compilation_Per_Obj_Dir);
5996 Is_First_Main := True;
5998 Multiple_Main_Loop : for N_File in 1 .. Osint.Number_Of_Files loop
5999 if Current_File_Index /= No_Index then
6000 Main_Index := Current_File_Index;
6003 Current_Main_Index := Main_Index;
6005 if Current_Main_Index = 0
6006 and then Unique_Compile
6007 and then Main_Project /= No_Project
6009 -- If this is a multi-unit source, do not compile it as is (ie
6010 -- without specifying which unit to compile)
6011 -- Insert_Project_Sources has added each of the unit separately.
6014 Source : constant Prj.Source_Id := Find_Source
6015 (In_Tree => Project_Tree,
6016 Project => Main_Project,
6017 Base_Name => Main_Source_File,
6018 Index => Current_Main_Index,
6019 In_Imported_Only => True);
6021 if Source /= No_Source
6022 and then Source.Index /= 0
6029 Compute_Switches_For_Main
6034 Compute_Builder => Is_First_Main,
6035 Current_Work_Dir => Current_Work_Dir.all);
6037 if Is_First_Main then
6039 -- Put the default source dirs in the source path only now, so
6040 -- that we take the correct ones in the case where --RTS= is
6041 -- specified in the Builder switches.
6043 Osint.Add_Default_Search_Dirs;
6045 -- Get the target parameters, which are only needed for a couple
6046 -- of cases in gnatmake. Protect against an exception, such as the
6047 -- case of system.ads missing from the library, and fail
6051 Targparm.Get_Target_Parameters;
6053 when Unrecoverable_Error =>
6054 Make_Failed ("*** make failed.");
6057 -- Special processing for VM targets
6059 if Targparm.VM_Target /= No_VM then
6061 -- Set proper processing commands
6063 case Targparm.VM_Target is
6064 when Targparm.JVM_Target =>
6066 -- Do not check for an object file (".o") when compiling
6067 -- to JVM machine since ".class" files are generated
6070 Check_Object_Consistency := False;
6071 Gcc := new String'("jvm-gnatcompile");
6073 when Targparm.CLI_Target =>
6074 Gcc := new String'("dotnet-gnatcompile");
6076 when Targparm.No_VM =>
6077 raise Program_Error;
6081 -- If we have specified -j switch both from the project file
6082 -- and on the command line, the one from the command line takes
6085 if Saved_Maximum_Processes = 0 then
6086 Saved_Maximum_Processes := Maximum_Processes;
6089 if Debug.Debug_Flag_M then
6090 Write_Line ("Maximum number of simultaneous compilations =" &
6091 Saved_Maximum_Processes'Img);
6094 -- Allocate as many temporary mapping file names as the maximum
6095 -- number of compilations processed, for each possible project.
6098 Data : Project_Compilation_Access;
6099 Proj : Project_List;
6102 Proj := Project_Tree.Projects;
6103 while Proj /= null loop
6104 Data := new Project_Compilation_Data'
6105 (Mapping_File_Names => new Temp_Path_Names
6106 (1 .. Saved_Maximum_Processes),
6107 Last_Mapping_File_Names => 0,
6108 Free_Mapping_File_Indexes => new Free_File_Indexes
6109 (1 .. Saved_Maximum_Processes),
6110 Last_Free_Indexes => 0);
6112 Project_Compilation_Htable.Set
6113 (Project_Compilation, Proj.Project, Data);
6117 Data := new Project_Compilation_Data'
6118 (Mapping_File_Names => new Temp_Path_Names
6119 (1 .. Saved_Maximum_Processes),
6120 Last_Mapping_File_Names => 0,
6121 Free_Mapping_File_Indexes => new Free_File_Indexes
6122 (1 .. Saved_Maximum_Processes),
6123 Last_Free_Indexes => 0);
6125 Project_Compilation_Htable.Set
6126 (Project_Compilation, No_Project, Data);
6129 Is_First_Main := False;
6132 Executable_Obsolete := False;
6135 (Main_Source_File => Main_Source_File,
6136 Executable => Executable,
6137 Non_Std_Executable => Non_Std_Executable);
6139 if Do_Compile_Step then
6141 (Main_Source_File => Main_Source_File,
6142 Current_Main_Index => Current_Main_Index,
6143 Total_Compilation_Failures => Total_Compilation_Failures,
6144 Stand_Alone_Libraries => Stand_Alone_Libraries,
6145 Executable => Executable,
6146 Is_Last_Main => N_File = Osint.Number_Of_Files,
6147 Stop_Compile => Stop_Compile);
6149 if Stop_Compile then
6150 if Total_Compilation_Failures /= 0 then
6155 List_Bad_Compilations;
6156 Report_Compilation_Failed;
6159 elsif Osint.Number_Of_Files = 1 then
6160 exit Multiple_Main_Loop;
6167 -- For binding and linking, we need to be in the object directory of
6168 -- the main project.
6170 if Main_Project /= No_Project then
6171 Change_To_Object_Directory (Main_Project);
6174 -- If we are here, it means that we need to rebuilt the current main,
6175 -- so we set Executable_Obsolete to True to make sure that subsequent
6176 -- mains will be rebuilt.
6178 Main_ALI_In_Place_Mode_Step : declare
6179 ALI_File : File_Name_Type;
6180 Src_File : File_Name_Type;
6183 Src_File := Strip_Directory (Main_Source_File);
6184 ALI_File := Lib_File_Name (Src_File, Current_Main_Index);
6185 Main_ALI_File := Full_Lib_File_Name (ALI_File);
6187 -- When In_Place_Mode, the library file can be located in the
6188 -- Main_Source_File directory which may not be present in the
6189 -- library path. If it is not present then use the corresponding
6190 -- library file name.
6192 if Main_ALI_File = No_File and then In_Place_Mode then
6193 Get_Name_String (Get_Directory (Full_Source_Name (Src_File)));
6194 Get_Name_String_And_Append (ALI_File);
6195 Main_ALI_File := Name_Find;
6196 Main_ALI_File := Full_Lib_File_Name (Main_ALI_File);
6199 if Main_ALI_File = No_File then
6200 Make_Failed ("could not find the main ALI file");
6202 end Main_ALI_In_Place_Mode_Step;
6204 if Do_Bind_Step then
6206 (Stand_Alone_Libraries => Stand_Alone_Libraries,
6207 Main_ALI_File => Main_ALI_File);
6210 if Do_Link_Step then
6212 (Non_Std_Executable => Non_Std_Executable,
6213 Executable => Executable,
6214 Main_ALI_File => Main_ALI_File);
6217 -- We go to here when we skip the bind and link steps
6223 if N_File < Osint.Number_Of_Files then
6224 Main_Source_File := Next_Main_Source; -- No directory information
6226 end loop Multiple_Main_Loop;
6228 if CodePeer_Mode then
6230 Success : Boolean := False;
6232 Globalize (Success);
6236 Write_Str ("*** globalize failed.");
6238 if Commands_To_Stdout then
6239 Set_Standard_Output;
6245 if Failed_Links.Last > 0 then
6246 for Index in 1 .. Successful_Links.Last loop
6247 Write_Str ("Linking of """);
6248 Write_Str (Get_Name_String (Successful_Links.Table (Index)));
6249 Write_Line (""" succeeded.");
6254 for Index in 1 .. Failed_Links.Last loop
6255 Write_Str ("Linking of """);
6256 Write_Str (Get_Name_String (Failed_Links.Table (Index)));
6257 Write_Line (""" failed.");
6260 if Commands_To_Stdout then
6261 Set_Standard_Output;
6264 if Total_Compilation_Failures = 0 then
6265 Report_Compilation_Failed;
6269 if Total_Compilation_Failures /= 0 then
6270 List_Bad_Compilations;
6271 Report_Compilation_Failed;
6274 Finish_Program (Project_Tree, E_Success);
6279 Write_Line (Exception_Information (X));
6280 Make_Failed ("INTERNAL ERROR. Please report.");
6287 function Hash (F : File_Name_Type) return Header_Num is
6289 return Header_Num (1 + F mod Max_Header);
6292 --------------------
6293 -- In_Ada_Lib_Dir --
6294 --------------------
6296 function In_Ada_Lib_Dir (File : File_Name_Type) return Boolean is
6297 D : constant File_Name_Type := Get_Directory (File);
6298 B : constant Byte := Get_Name_Table_Byte (D);
6300 return (B and Ada_Lib_Dir) /= 0;
6303 -----------------------
6304 -- Init_Mapping_File --
6305 -----------------------
6307 procedure Init_Mapping_File
6308 (Project : Project_Id;
6309 Data : in out Project_Compilation_Data;
6310 File_Index : in out Natural)
6312 FD : File_Descriptor;
6314 -- For call to Close
6317 -- Increase the index of the last mapping file for this project
6319 Data.Last_Mapping_File_Names := Data.Last_Mapping_File_Names + 1;
6321 -- If there is a project file, call Create_Mapping_File with
6324 if Project /= No_Project then
6325 Prj.Env.Create_Mapping_File
6327 In_Tree => Project_Tree,
6328 Language => Name_Ada,
6329 Name => Data.Mapping_File_Names
6330 (Data.Last_Mapping_File_Names));
6332 -- Otherwise, just create an empty file
6335 Tempdir.Create_Temp_File
6337 Data.Mapping_File_Names (Data.Last_Mapping_File_Names));
6339 if FD = Invalid_FD then
6340 Make_Failed ("disk full");
6344 (Project_Tree.Shared,
6345 Data.Mapping_File_Names (Data.Last_Mapping_File_Names));
6351 Make_Failed ("disk full");
6355 -- And return the index of the newly created file
6357 File_Index := Data.Last_Mapping_File_Names;
6358 end Init_Mapping_File;
6364 procedure Initialize
6365 (Project_Node_Tree : out Project_Node_Tree_Ref;
6366 Env : out Prj.Tree.Environment)
6368 procedure Check_Version_And_Help is
6369 new Check_Version_And_Help_G (Makeusg);
6371 -- Start of processing for Initialize
6374 -- Prepare the project's tree, since this is used to hold external
6375 -- references, project path and other attributes that can be impacted by
6376 -- the command line switches
6378 Prj.Tree.Initialize (Env, Gnatmake_Flags);
6379 Prj.Env.Initialize_Default_Project_Path
6380 (Env.Project_Path, Target_Name => Sdefault.Target_Name.all);
6382 Project_Node_Tree := new Project_Node_Tree_Data;
6383 Prj.Tree.Initialize (Project_Node_Tree);
6385 -- Override default initialization of Check_Object_Consistency since
6386 -- this is normally False for GNATBIND, but is True for GNATMAKE since
6387 -- we do not need to check source consistency again once GNATMAKE has
6388 -- looked at the sources to check.
6390 Check_Object_Consistency := True;
6392 -- Package initializations (the order of calls is important here)
6394 Output.Set_Standard_Error;
6397 Binder_Switches.Init;
6398 Linker_Switches.Init;
6403 Prj.Initialize (Project_Tree);
6407 RTS_Specified := null;
6412 -- Add the directory where gnatmake is invoked in front of the path,
6413 -- if gnatmake is invoked from a bin directory or with directory
6414 -- information. Only do this if the platform is not VMS, where the
6415 -- notion of path does not really exist.
6419 Prefix : constant String := Executable_Prefix_Path;
6420 Command : constant String := Command_Name;
6423 if Prefix'Length > 0 then
6425 PATH : constant String :=
6426 Prefix & Directory_Separator & "bin" &
6428 Getenv ("PATH").all;
6430 Setenv ("PATH", PATH);
6434 for Index in reverse Command'Range loop
6435 if Command (Index) = Directory_Separator then
6437 Absolute_Dir : constant String :=
6439 (Command (Command'First .. Index));
6440 PATH : constant String :=
6443 Getenv ("PATH").all;
6445 Setenv ("PATH", PATH);
6455 -- Scan the switches and arguments
6457 -- First, scan to detect --version and/or --help
6459 Check_Version_And_Help ("GNATMAKE", "1995");
6461 -- Scan again the switch and arguments, now that we are sure that they
6462 -- do not include --version or --help.
6464 Scan_Args : for Next_Arg in 1 .. Argument_Count loop
6465 Scan_Make_Arg (Env, Argument (Next_Arg), And_Save => True);
6468 if N_M_Switch > 0 and RTS_Specified = null then
6469 Process_Multilib (Env);
6472 if Commands_To_Stdout then
6473 Set_Standard_Output;
6476 if Usage_Requested then
6480 -- Test for trailing -P switch
6482 if Project_File_Name_Present and then Project_File_Name = null then
6483 Make_Failed ("project file name missing after -P");
6485 -- Test for trailing -o switch
6487 elsif Output_File_Name_Present
6488 and then not Output_File_Name_Seen
6490 Make_Failed ("output file name missing after -o");
6492 -- Test for trailing -D switch
6494 elsif Object_Directory_Present
6495 and then not Object_Directory_Seen
6497 Make_Failed ("object directory missing after -D");
6500 -- Test for simultaneity of -i and -D
6502 if Object_Directory_Path /= null and then In_Place_Mode then
6503 Make_Failed ("-i and -D cannot be used simultaneously");
6506 -- If --subdirs= is specified, but not -P, this is equivalent to -D,
6507 -- except that the directory is created if it does not exist.
6509 if Prj.Subdirs /= null and then Project_File_Name = null then
6510 if Object_Directory_Path /= null then
6511 Make_Failed ("--subdirs and -D cannot be used simultaneously");
6513 elsif In_Place_Mode then
6514 Make_Failed ("--subdirs and -i cannot be used simultaneously");
6517 if not Is_Directory (Prj.Subdirs.all) then
6519 Ada.Directories.Create_Path (Prj.Subdirs.all);
6522 Make_Failed ("unable to create object directory " &
6527 Object_Directory_Present := True;
6530 Argv : constant String (1 .. Prj.Subdirs'Length) :=
6533 Scan_Make_Arg (Env, Argv, And_Save => False);
6538 -- Deal with -C= switch
6540 if Gnatmake_Mapping_File /= null then
6542 -- First, check compatibility with other switches
6544 if Project_File_Name /= null then
6545 Make_Failed ("-C= switch is not compatible with -P switch");
6547 elsif Saved_Maximum_Processes > 1 then
6548 Make_Failed ("-C= switch is not compatible with -jnnn switch");
6551 Fmap.Initialize (Gnatmake_Mapping_File.all);
6553 ("-gnatem=" & Gnatmake_Mapping_File.all,
6558 if Project_File_Name /= null then
6560 -- A project file was specified by a -P switch
6562 if Verbose_Mode then
6564 Write_Str ("Parsing project file """);
6565 Write_Str (Project_File_Name.all);
6570 -- Avoid looking in the current directory for ALI files
6572 -- Look_In_Primary_Dir := False;
6574 -- Set the project parsing verbosity to whatever was specified
6575 -- by a possible -vP switch.
6577 Prj.Pars.Set_Verbosity (To => Current_Verbosity);
6579 -- Parse the project file.
6580 -- If there is an error, Main_Project will still be No_Project.
6583 (Project => Main_Project,
6584 In_Tree => Project_Tree,
6585 Project_File_Name => Project_File_Name.all,
6586 Packages_To_Check => Packages_To_Check_By_Gnatmake,
6588 In_Node_Tree => Project_Node_Tree);
6590 -- The parsing of project files may have changed the current output
6592 if Commands_To_Stdout then
6593 Set_Standard_Output;
6598 if Main_Project = No_Project then
6600 ("""" & Project_File_Name.all & """ processing failed");
6603 Create_Mapping_File := True;
6605 if Verbose_Mode then
6607 Write_Str ("Parsing of project file """);
6608 Write_Str (Project_File_Name.all);
6609 Write_Str (""" is finished.");
6613 -- We add the source directories and the object directories to the
6616 -- ??? Why do we need these search directories, we already know the
6617 -- locations from parsing the project, except for the runtime which
6618 -- has its own directories anyway
6620 Add_Source_Directories (Main_Project, Project_Tree);
6621 Add_Object_Directories (Main_Project, Project_Tree);
6623 Recursive_Compute_Depth (Main_Project);
6624 Compute_All_Imported_Projects (Main_Project, Project_Tree);
6628 Osint.Add_Default_Search_Dirs;
6630 -- Source file lookups should be cached for efficiency. Source files
6631 -- are not supposed to change. However, we do that now only if no
6632 -- project file is used; if a project file is used, we do it just
6633 -- after changing the directory to the object directory.
6635 Osint.Source_File_Data (Cache => True);
6637 -- Read gnat.adc file to initialize Fname.UF
6639 Fname.UF.Initialize;
6642 Fname.SF.Read_Source_File_Name_Pragmas;
6645 when Err : SFN_Scan.Syntax_Error_In_GNAT_ADC =>
6646 Make_Failed (Exception_Message (Err));
6650 -- Make sure no project object directory is recorded
6652 Project_Of_Current_Object_Directory := No_Project;
6656 ----------------------------
6657 -- Insert_Project_Sources --
6658 ----------------------------
6660 procedure Insert_Project_Sources
6661 (The_Project : Project_Id;
6662 All_Projects : Boolean;
6665 Put_In_Q : Boolean := Into_Q;
6667 Sfile : File_Name_Type;
6669 Project : Project_Id;
6672 -- Loop through all the sources in the project files
6674 Unit := Units_Htable.Get_First (Project_Tree.Units_HT);
6675 while Unit /= null loop
6678 Project := No_Project;
6680 -- If there is a source for the body, and the body has not been
6683 if Unit.File_Names (Impl) /= null
6684 and then not Unit.File_Names (Impl).Locally_Removed
6686 -- And it is a source for the specified project
6690 Is_Extending (The_Project, Unit.File_Names (Impl).Project)
6692 Project := Unit.File_Names (Impl).Project;
6694 -- If we don't have a spec, we cannot consider the source
6695 -- if it is a subunit.
6697 if Unit.File_Names (Spec) = null then
6699 Src_Ind : Source_File_Index;
6701 -- Here we are cheating a little bit: we don't want to
6702 -- use Sinput.L, because it depends on the GNAT tree
6703 -- (Atree, Sinfo, ...). So, we pretend that it is a
6704 -- project file, and we use Sinput.P.
6706 -- Source_File_Is_Subunit is just scanning through the
6707 -- file until it finds one of the reserved words
6708 -- separate, procedure, function, generic or package.
6709 -- Fortunately, these Ada reserved words are also
6710 -- reserved for project files.
6713 Src_Ind := Sinput.P.Load_Project_File
6715 (Unit.File_Names (Impl).Path.Display_Name));
6717 -- If it is a subunit, discard it
6719 if Sinput.P.Source_File_Is_Subunit (Src_Ind) then
6723 Sfile := Unit.File_Names (Impl).Display_File;
6724 Index := Unit.File_Names (Impl).Index;
6729 Sfile := Unit.File_Names (Impl).Display_File;
6730 Index := Unit.File_Names (Impl).Index;
6734 elsif Unit.File_Names (Spec) /= null
6735 and then not Unit.File_Names (Spec).Locally_Removed
6739 Is_Extending (The_Project, Unit.File_Names (Spec).Project))
6741 -- If there is no source for the body, but there is one for the
6742 -- spec which has not been locally removed, then we take this one.
6744 Sfile := Unit.File_Names (Spec).Display_File;
6745 Index := Unit.File_Names (Spec).Index;
6746 Project := Unit.File_Names (Spec).Project;
6749 -- For the first source inserted into the Q, we need to initialize
6750 -- the Q, but not for the subsequent sources.
6753 (Main_Project /= No_Project and then
6754 One_Compilation_Per_Obj_Dir);
6756 if Sfile /= No_File then
6758 ((Format => Format_Gnatmake,
6761 Unit => No_Unit_Name,
6765 if not Put_In_Q and then Sfile /= No_File then
6767 -- If Put_In_Q is False, we add the source as if it were specified
6768 -- on the command line, and we set Put_In_Q to True, so that the
6769 -- following sources will only be put in the queue. The source is
6770 -- already in the Q, but we need at least one fake main to call
6773 if Verbose_Mode then
6774 Write_Str ("Adding """);
6775 Write_Str (Get_Name_String (Sfile));
6776 Write_Line (""" as if on the command line");
6779 Osint.Add_File (Get_Name_String (Sfile), Index);
6783 Unit := Units_Htable.Get_Next (Project_Tree.Units_HT);
6785 end Insert_Project_Sources;
6787 ---------------------
6788 -- Is_In_Obsoleted --
6789 ---------------------
6791 function Is_In_Obsoleted (F : File_Name_Type) return Boolean is
6798 Name : constant String := Get_Name_String (F);
6800 F2 : File_Name_Type;
6804 while First > Name'First
6805 and then Name (First - 1) /= Directory_Separator
6806 and then Name (First - 1) /= '/'
6811 if First /= Name'First then
6813 Add_Str_To_Name_Buffer (Name (First .. Name'Last));
6820 return Obsoleted.Get (F2);
6823 end Is_In_Obsoleted;
6825 ----------------------------
6826 -- Is_In_Object_Directory --
6827 ----------------------------
6829 function Is_In_Object_Directory
6830 (Source_File : File_Name_Type;
6831 Full_Lib_File : File_Name_Type) return Boolean
6834 -- There is something to check only when using project files. Otherwise,
6835 -- this function returns True (last line of the function).
6837 if Main_Project /= No_Project then
6839 Source_File_Name : constant String :=
6840 Get_Name_String (Source_File);
6841 Saved_Verbosity : constant Verbosity := Current_Verbosity;
6842 Project : Project_Id := No_Project;
6844 Path_Name : Path_Name_Type := No_Path;
6845 pragma Warnings (Off, Path_Name);
6848 -- Call Get_Reference to know the ultimate extending project of
6849 -- the source. Call it with verbosity default to avoid verbose
6852 Current_Verbosity := Default;
6853 Prj.Env.Get_Reference
6854 (Source_File_Name => Source_File_Name,
6856 In_Tree => Project_Tree,
6858 Current_Verbosity := Saved_Verbosity;
6860 -- If this source is in a project, check that the ALI file is in
6861 -- its object directory. If it is not, return False, so that the
6862 -- ALI file will not be skipped.
6864 if Project /= No_Project then
6866 Object_Directory : constant String :=
6870 Object_Directory.Display_Name));
6872 Olast : Natural := Object_Directory'Last;
6874 Lib_File_Directory : constant String :=
6875 Normalize_Pathname (Dir_Name
6876 (Get_Name_String (Full_Lib_File)));
6878 Llast : Natural := Lib_File_Directory'Last;
6881 -- For directories, Normalize_Pathname may or may not put
6882 -- a directory separator at the end, depending on its input.
6883 -- Remove any last directory separator before comparison.
6884 -- Returns True only if the two directories are the same.
6886 if Object_Directory (Olast) = Directory_Separator then
6890 if Lib_File_Directory (Llast) = Directory_Separator then
6894 return Object_Directory (Object_Directory'First .. Olast) =
6895 Lib_File_Directory (Lib_File_Directory'First .. Llast);
6901 -- When the source is not in a project file, always return True
6904 end Is_In_Object_Directory;
6911 (ALI_File : File_Name_Type;
6912 Args : Argument_List;
6913 Success : out Boolean)
6915 Link_Args : Argument_List (1 .. Args'Length + 1);
6918 Get_Name_String (ALI_File);
6919 Link_Args (1) := new String'(Name_Buffer (1 .. Name_Len));
6921 Link_Args (2 .. Args'Length + 1) := Args;
6923 GNAT.OS_Lib.Normalize_Arguments (Link_Args);
6925 Display (Gnatlink.all, Link_Args);
6927 if Gnatlink_Path = null then
6928 Make_Failed ("error, unable to locate " & Gnatlink.all);
6931 GNAT.OS_Lib.Spawn (Gnatlink_Path.all, Link_Args, Success);
6934 ---------------------------
6935 -- List_Bad_Compilations --
6936 ---------------------------
6938 procedure List_Bad_Compilations is
6940 for J in Bad_Compilation.First .. Bad_Compilation.Last loop
6941 if Bad_Compilation.Table (J).File = No_File then
6943 elsif not Bad_Compilation.Table (J).Found then
6944 Inform (Bad_Compilation.Table (J).File, "not found");
6946 Inform (Bad_Compilation.Table (J).File, "compilation error");
6949 end List_Bad_Compilations;
6955 procedure List_Depend is
6956 Lib_Name : File_Name_Type;
6957 Obj_Name : File_Name_Type;
6958 Src_Name : File_Name_Type;
6962 Line_Size : constant := 77;
6965 Set_Standard_Output;
6967 for A in ALIs.First .. ALIs.Last loop
6968 Lib_Name := ALIs.Table (A).Afile;
6970 -- We have to provide the full library file name in In_Place_Mode
6972 if In_Place_Mode then
6973 Lib_Name := Full_Lib_File_Name (Lib_Name);
6976 Obj_Name := Object_File_Name (Lib_Name);
6977 Write_Name (Obj_Name);
6980 Get_Name_String (Obj_Name);
6982 Line_Pos := Len + 2;
6984 for D in ALIs.Table (A).First_Sdep .. ALIs.Table (A).Last_Sdep loop
6985 Src_Name := Sdep.Table (D).Sfile;
6987 if Is_Internal_File_Name (Src_Name)
6988 and then not Check_Readonly_Files
6992 if not Quiet_Output then
6993 Src_Name := Full_Source_Name (Src_Name);
6996 Get_Name_String (Src_Name);
6999 if Line_Pos + Len + 1 > Line_Size then
7005 Line_Pos := Line_Pos + Len + 1;
7008 Write_Name (Src_Name);
7015 if not Commands_To_Stdout then
7024 procedure Make_Failed (S : String) is
7026 Fail_Program (Project_Tree, S);
7029 --------------------
7030 -- Mark_Directory --
7031 --------------------
7033 procedure Mark_Directory
7035 Mark : Lib_Mark_Type;
7036 On_Command_Line : Boolean)
7041 function Base_Directory return String;
7042 -- If Dir comes from the command line, empty string (relative paths are
7043 -- resolved with respect to the current directory), else return the main
7044 -- project's directory.
7046 --------------------
7047 -- Base_Directory --
7048 --------------------
7050 function Base_Directory return String is
7052 if On_Command_Line then
7055 return Get_Name_String (Main_Project.Directory.Display_Name);
7059 Real_Path : constant String := Normalize_Pathname (Dir, Base_Directory);
7061 -- Start of processing for Mark_Directory
7066 if Real_Path'Length = 0 then
7067 Add_Str_To_Name_Buffer (Dir);
7070 Add_Str_To_Name_Buffer (Real_Path);
7073 -- Last character is supposed to be a directory separator
7075 if not Is_Directory_Separator (Name_Buffer (Name_Len)) then
7076 Add_Char_To_Name_Buffer (Directory_Separator);
7079 -- Add flags to the already existing flags
7082 B := Get_Name_Table_Byte (N);
7083 Set_Name_Table_Byte (N, B or Mark);
7086 ----------------------
7087 -- Process_Multilib --
7088 ----------------------
7090 procedure Process_Multilib (Env : in out Prj.Tree.Environment) is
7091 Output_FD : File_Descriptor;
7092 Output_Name : String_Access;
7093 Arg_Index : Natural := 0;
7094 Success : Boolean := False;
7095 Return_Code : Integer := 0;
7096 Multilib_Gcc_Path : String_Access;
7097 Multilib_Gcc : String_Access;
7098 N_Read : Integer := 0;
7099 Line : String (1 .. 1000);
7100 Args : Argument_List (1 .. N_M_Switch + 1);
7103 pragma Assert (N_M_Switch > 0 and RTS_Specified = null);
7105 -- In case we detected a multilib switch and the user has not
7106 -- manually specified a specific RTS we emulate the following command:
7107 -- gnatmake $FLAGS --RTS=$(gcc -print-multi-directory $FLAGS)
7109 -- First select the flags which might have an impact on multilib
7110 -- processing. Note that this is an heuristic selection and it
7111 -- will need to be maintained over time. The condition has to
7112 -- be kept synchronized with N_M_Switch counting in Scan_Make_Arg.
7114 for Next_Arg in 1 .. Argument_Count loop
7116 Argv : constant String := Argument (Next_Arg);
7120 and then Argv (1) = '-'
7121 and then Argv (2) = 'm'
7122 and then Argv /= "-margs"
7124 -- Ignore -mieee to avoid spawning an extra gcc in this case
7126 and then Argv /= "-mieee"
7128 Arg_Index := Arg_Index + 1;
7129 Args (Arg_Index) := new String'(Argv);
7134 pragma Assert (Arg_Index = N_M_Switch);
7136 Args (Args'Last) := new String'("-print-multi-directory");
7138 -- Call the GCC driver with the collected flags and save its
7139 -- output. Alternate design would be to link in gnatmake the
7140 -- relevant part of the GCC driver.
7142 if Saved_Gcc /= null then
7143 Multilib_Gcc := Saved_Gcc;
7145 Multilib_Gcc := Gcc;
7148 Multilib_Gcc_Path := GNAT.OS_Lib.Locate_Exec_On_Path (Multilib_Gcc.all);
7150 Create_Temp_Output_File (Output_FD, Output_Name);
7152 if Output_FD = Invalid_FD then
7157 (Multilib_Gcc_Path.all, Args, Output_FD, Return_Code, False);
7160 if Return_Code /= 0 then
7164 -- Parse the GCC driver output which is a single line, removing CR/LF
7166 Output_FD := Open_Read (Output_Name.all, Binary);
7168 if Output_FD = Invalid_FD then
7172 N_Read := Read (Output_FD, Line (1)'Address, Line'Length);
7174 Delete_File (Output_Name.all, Success);
7176 for J in reverse 1 .. N_Read loop
7177 if Line (J) = ASCII.CR or else Line (J) = ASCII.LF then
7178 N_Read := N_Read - 1;
7184 -- In case the standard RTS is selected do nothing
7186 if N_Read = 0 or else Line (1 .. N_Read) = "." then
7190 -- Otherwise add -margs --RTS=output
7192 Scan_Make_Arg (Env, "-margs", And_Save => True);
7193 Scan_Make_Arg (Env, "--RTS=" & Line (1 .. N_Read), And_Save => True);
7194 end Process_Multilib;
7196 -----------------------------
7197 -- Recursive_Compute_Depth --
7198 -----------------------------
7200 procedure Recursive_Compute_Depth (Project : Project_Id) is
7201 use Project_Boolean_Htable;
7202 Seen : Project_Boolean_Htable.Instance := Project_Boolean_Htable.Nil;
7204 procedure Recurse (Prj : Project_Id; Depth : Natural);
7205 -- Recursive procedure that does the work, keeping track of the depth
7211 procedure Recurse (Prj : Project_Id; Depth : Natural) is
7212 List : Project_List;
7216 if Prj.Depth >= Depth or else Get (Seen, Prj) then
7220 -- We need a test to avoid infinite recursions with limited withs:
7221 -- If we have A -> B -> A, then when set level of A to n, we try and
7222 -- set level of B to n+1, and then level of A to n + 2, ...
7224 Set (Seen, Prj, True);
7228 -- Visit each imported project
7230 List := Prj.Imported_Projects;
7231 while List /= null loop
7232 Proj := List.Project;
7234 Recurse (Prj => Proj, Depth => Depth + 1);
7237 -- We again allow changing the depth of this project later on if it
7238 -- is in fact imported by a lower-level project.
7240 Set (Seen, Prj, False);
7243 Proj : Project_List;
7245 -- Start of processing for Recursive_Compute_Depth
7248 Proj := Project_Tree.Projects;
7249 while Proj /= null loop
7250 Proj.Project.Depth := 0;
7254 Recurse (Project, Depth => 1);
7256 end Recursive_Compute_Depth;
7258 -------------------------------
7259 -- Report_Compilation_Failed --
7260 -------------------------------
7262 procedure Report_Compilation_Failed is
7264 Fail_Program (Project_Tree, "");
7265 end Report_Compilation_Failed;
7267 ------------------------
7268 -- Sigint_Intercepted --
7269 ------------------------
7271 procedure Sigint_Intercepted is
7272 SIGINT : constant := 2;
7276 Write_Line ("*** Interrupted ***");
7278 -- Send SIGINT to all outstanding compilation processes spawned
7280 for J in 1 .. Outstanding_Compiles loop
7281 Kill (Running_Compile (J).Pid, SIGINT, 1);
7284 Finish_Program (Project_Tree, E_No_Compile);
7285 end Sigint_Intercepted;
7291 procedure Scan_Make_Arg
7292 (Env : in out Prj.Tree.Environment;
7299 Gnatmake_Switch_Found := True;
7301 pragma Assert (Argv'First = 1);
7303 if Argv'Length = 0 then
7307 -- If the previous switch has set the Project_File_Name_Present flag
7308 -- (that is we have seen a -P alone), then the next argument is the name
7309 -- of the project file.
7311 if Project_File_Name_Present and then Project_File_Name = null then
7312 if Argv (1) = '-' then
7313 Make_Failed ("project file name missing after -P");
7316 Project_File_Name_Present := False;
7317 Project_File_Name := new String'(Argv);
7320 -- If the previous switch has set the Output_File_Name_Present flag
7321 -- (that is we have seen a -o), then the next argument is the name of
7322 -- the output executable.
7324 elsif Output_File_Name_Present
7325 and then not Output_File_Name_Seen
7327 Output_File_Name_Seen := True;
7329 if Argv (1) = '-' then
7330 Make_Failed ("output file name missing after -o");
7333 Add_Switch ("-o", Linker, And_Save => And_Save);
7334 Add_Switch (Executable_Name (Argv), Linker, And_Save => And_Save);
7337 -- If the previous switch has set the Object_Directory_Present flag
7338 -- (that is we have seen a -D), then the next argument is the path name
7339 -- of the object directory.
7341 elsif Object_Directory_Present
7342 and then not Object_Directory_Seen
7344 Object_Directory_Seen := True;
7346 if Argv (1) = '-' then
7347 Make_Failed ("object directory path name missing after -D");
7349 elsif not Is_Directory (Argv) then
7350 Make_Failed ("cannot find object directory """ & Argv & """");
7353 -- Record the object directory. Make sure it ends with a directory
7357 Norm : constant String := Normalize_Pathname (Argv);
7360 if Norm (Norm'Last) = Directory_Separator then
7361 Object_Directory_Path := new String'(Norm);
7363 Object_Directory_Path :=
7364 new String'(Norm & Directory_Separator);
7367 Add_Lib_Search_Dir (Norm);
7369 -- Specify the object directory to the binder
7371 Add_Switch ("-aO" & Norm, Binder, And_Save => And_Save);
7376 -- Then check if we are dealing with -cargs/-bargs/-largs/-margs. These
7377 -- options are taken as is when found in package Compiler, Binder or
7378 -- Linker of the main project file.
7380 elsif (And_Save or else Program_Args = None)
7381 and then (Argv = "-bargs" or else
7382 Argv = "-cargs" or else
7383 Argv = "-largs" or else
7387 when 'c' => Program_Args := Compiler;
7388 when 'b' => Program_Args := Binder;
7389 when 'l' => Program_Args := Linker;
7390 when 'm' => Program_Args := None;
7393 raise Program_Error;
7396 -- A special test is needed for the -o switch within a -largs since that
7397 -- is another way to specify the name of the final executable.
7399 elsif Program_Args = Linker
7400 and then Argv = "-o"
7402 Make_Failed ("switch -o not allowed within a -largs. " &
7403 "Use -o directly.");
7405 -- Check to see if we are reading switches after a -cargs, -bargs or
7406 -- -largs switch. If so, save it.
7408 elsif Program_Args /= None then
7410 -- Check to see if we are reading -I switches in order to take into
7411 -- account in the src & lib search directories.
7413 if Argv'Length > 2 and then Argv (1 .. 2) = "-I" then
7414 if Argv (3 .. Argv'Last) = "-" then
7415 Look_In_Primary_Dir := False;
7417 elsif Program_Args = Compiler then
7418 if Argv (3 .. Argv'Last) /= "-" then
7419 Add_Source_Search_Dir (Argv (3 .. Argv'Last), And_Save);
7422 elsif Program_Args = Binder then
7423 Add_Library_Search_Dir (Argv (3 .. Argv'Last), And_Save);
7427 Add_Switch (Argv, Program_Args, And_Save => And_Save);
7429 -- Handle non-default compiler, binder, linker, and handle --RTS switch
7431 elsif Argv'Length > 2 and then Argv (1 .. 2) = "--" then
7433 and then Argv (1 .. 6) = "--GCC="
7436 Program_Args : constant Argument_List_Access :=
7437 Argument_String_To_List
7438 (Argv (7 .. Argv'Last));
7442 Saved_Gcc := new String'(Program_Args.all (1).all);
7444 Gcc := new String'(Program_Args.all (1).all);
7447 for J in 2 .. Program_Args.all'Last loop
7449 (Program_Args.all (J).all, Compiler, And_Save => And_Save);
7453 elsif Argv'Length > 11
7454 and then Argv (1 .. 11) = "--GNATBIND="
7457 Program_Args : constant Argument_List_Access :=
7458 Argument_String_To_List
7459 (Argv (12 .. Argv'Last));
7463 Saved_Gnatbind := new String'(Program_Args.all (1).all);
7465 Gnatbind := new String'(Program_Args.all (1).all);
7468 for J in 2 .. Program_Args.all'Last loop
7470 (Program_Args.all (J).all, Binder, And_Save => And_Save);
7474 elsif Argv'Length > 11
7475 and then Argv (1 .. 11) = "--GNATLINK="
7478 Program_Args : constant Argument_List_Access :=
7479 Argument_String_To_List
7480 (Argv (12 .. Argv'Last));
7483 Saved_Gnatlink := new String'(Program_Args.all (1).all);
7485 Gnatlink := new String'(Program_Args.all (1).all);
7488 for J in 2 .. Program_Args.all'Last loop
7489 Add_Switch (Program_Args.all (J).all, Linker);
7493 elsif Argv'Length >= 5 and then
7494 Argv (1 .. 5) = "--RTS"
7496 Add_Switch (Argv, Compiler, And_Save => And_Save);
7497 Add_Switch (Argv, Binder, And_Save => And_Save);
7499 if Argv'Length <= 6 or else Argv (6) /= '=' then
7500 Make_Failed ("missing path for --RTS");
7503 -- Check that this is the first time we see this switch or
7504 -- if it is not the first time, the same path is specified.
7506 if RTS_Specified = null then
7507 RTS_Specified := new String'(Argv (7 .. Argv'Last));
7509 elsif RTS_Specified.all /= Argv (7 .. Argv'Last) then
7510 Make_Failed ("--RTS cannot be specified multiple times");
7513 -- Valid --RTS switch
7520 Src_Path_Name : constant String_Ptr :=
7522 (Argv (7 .. Argv'Last), Include);
7524 Lib_Path_Name : constant String_Ptr :=
7526 (Argv (7 .. Argv'Last), Objects);
7529 if Src_Path_Name /= null
7530 and then Lib_Path_Name /= null
7532 -- Set RTS_*_Path_Name variables, so that correct direct-
7533 -- ories will be set when Osint.Add_Default_Search_Dirs
7536 RTS_Src_Path_Name := Src_Path_Name;
7537 RTS_Lib_Path_Name := Lib_Path_Name;
7539 elsif Src_Path_Name = null
7540 and then Lib_Path_Name = null
7542 Make_Failed ("RTS path not valid: missing " &
7543 "adainclude and adalib directories");
7545 elsif Src_Path_Name = null then
7546 Make_Failed ("RTS path not valid: missing adainclude " &
7549 elsif Lib_Path_Name = null then
7550 Make_Failed ("RTS path not valid: missing adalib " &
7556 elsif Argv'Length > Source_Info_Option'Length and then
7557 Argv (1 .. Source_Info_Option'Length) = Source_Info_Option
7559 Project_Tree.Source_Info_File_Name :=
7560 new String'(Argv (Source_Info_Option'Length + 1 .. Argv'Last));
7562 elsif Argv'Length >= 8 and then
7563 Argv (1 .. 8) = "--param="
7565 Add_Switch (Argv, Compiler, And_Save => And_Save);
7566 Add_Switch (Argv, Linker, And_Save => And_Save);
7568 elsif Argv = Create_Map_File_Switch then
7569 Map_File := new String'("");
7571 elsif Argv'Length > Create_Map_File_Switch'Length + 1
7573 Argv (1 .. Create_Map_File_Switch'Length) = Create_Map_File_Switch
7575 Argv (Create_Map_File_Switch'Length + 1) = '='
7579 (Argv (Create_Map_File_Switch'Length + 2 .. Argv'Last));
7582 Scan_Make_Switches (Env, Argv, Success);
7585 -- If we have seen a regular switch process it
7587 elsif Argv (1) = '-' then
7588 if Argv'Length = 1 then
7589 Make_Failed ("switch character cannot be followed by a blank");
7591 -- Incorrect switches that should start with "--"
7593 elsif (Argv'Length > 5 and then Argv (1 .. 5) = "-RTS=")
7594 or else (Argv'Length > 5 and then Argv (1 .. 5) = "-GCC=")
7595 or else (Argv'Length > 8 and then Argv (1 .. 7) = "-param=")
7596 or else (Argv'Length > 10 and then Argv (1 .. 10) = "-GNATLINK=")
7597 or else (Argv'Length > 10 and then Argv (1 .. 10) = "-GNATBIND=")
7599 Make_Failed ("option " & Argv & " should start with '--'");
7603 elsif Argv (2 .. Argv'Last) = "I-" then
7604 Look_In_Primary_Dir := False;
7606 -- Forbid -?- or -??- where ? is any character
7608 elsif (Argv'Length = 3 and then Argv (3) = '-')
7609 or else (Argv'Length = 4 and then Argv (4) = '-')
7612 ("trailing ""-"" at the end of " & Argv & " forbidden.");
7616 elsif Argv (2) = 'I' then
7617 Add_Source_Search_Dir (Argv (3 .. Argv'Last), And_Save);
7618 Add_Library_Search_Dir (Argv (3 .. Argv'Last), And_Save);
7619 Add_Switch (Argv, Compiler, And_Save => And_Save);
7620 Add_Switch (Argv, Binder, And_Save => And_Save);
7622 -- -aIdir (to gcc this is like a -I switch)
7624 elsif Argv'Length >= 3 and then Argv (2 .. 3) = "aI" then
7625 Add_Source_Search_Dir (Argv (4 .. Argv'Last), And_Save);
7627 ("-I" & Argv (4 .. Argv'Last), Compiler, And_Save => And_Save);
7628 Add_Switch (Argv, Binder, And_Save => And_Save);
7632 elsif Argv'Length >= 3 and then Argv (2 .. 3) = "aO" then
7633 Add_Library_Search_Dir (Argv (4 .. Argv'Last), And_Save);
7634 Add_Switch (Argv, Binder, And_Save => And_Save);
7636 -- -aLdir (to gnatbind this is like a -aO switch)
7638 elsif Argv'Length >= 3 and then Argv (2 .. 3) = "aL" then
7639 Mark_Directory (Argv (4 .. Argv'Last), Ada_Lib_Dir, And_Save);
7640 Add_Library_Search_Dir (Argv (4 .. Argv'Last), And_Save);
7642 ("-aO" & Argv (4 .. Argv'Last), Binder, And_Save => And_Save);
7646 elsif Argv'Length >= 13 and then Argv (2 .. 13) = "aamp_target=" then
7647 Add_Switch (Argv, Compiler, And_Save => And_Save);
7649 -- Set the aamp_target environment variable so that the binder and
7650 -- linker will use the proper target library. This is consistent
7651 -- with how things work when -aamp_target is passed on the command
7652 -- line to gnaampmake.
7654 Setenv ("aamp_target", Argv (14 .. Argv'Last));
7656 -- -Adir (to gnatbind this is like a -aO switch, to gcc like a -I)
7658 elsif Argv (2) = 'A' then
7659 Mark_Directory (Argv (3 .. Argv'Last), Ada_Lib_Dir, And_Save);
7660 Add_Source_Search_Dir (Argv (3 .. Argv'Last), And_Save);
7661 Add_Library_Search_Dir (Argv (3 .. Argv'Last), And_Save);
7663 ("-I" & Argv (3 .. Argv'Last), Compiler, And_Save => And_Save);
7665 ("-aO" & Argv (3 .. Argv'Last), Binder, And_Save => And_Save);
7669 elsif Argv (2) = 'L' then
7670 Add_Switch (Argv, Linker, And_Save => And_Save);
7672 -- For -gxxx, -pg, -mxxx, -fxxx, -Oxxx, pass the switch to both the
7673 -- compiler and the linker (except for -gnatxxx which is only for the
7674 -- compiler). Some of the -mxxx (for example -m64) and -fxxx (for
7675 -- example -ftest-coverage for gcov) need to be used when compiling
7676 -- the binder generated files, and using all these gcc switches for
7677 -- them should not be a problem. Pass -Oxxx to the linker for LTO.
7680 (Argv (2) = 'g' and then (Argv'Last < 5
7681 or else Argv (2 .. 5) /= "gnat"))
7682 or else Argv (2 .. Argv'Last) = "pg"
7683 or else (Argv (2) = 'm' and then Argv'Last > 2)
7684 or else (Argv (2) = 'f' and then Argv'Last > 2)
7685 or else Argv (2) = 'O'
7687 Add_Switch (Argv, Compiler, And_Save => And_Save);
7688 Add_Switch (Argv, Linker, And_Save => And_Save);
7690 -- The following condition has to be kept synchronized with
7691 -- the Process_Multilib one.
7694 and then Argv /= "-mieee"
7696 N_M_Switch := N_M_Switch + 1;
7699 -- -C=<mapping file>
7701 elsif Argv'Last > 2 and then Argv (2) = 'C' then
7703 if Argv (3) /= '=' or else Argv'Last <= 3 then
7704 Make_Failed ("illegal switch " & Argv);
7707 Gnatmake_Mapping_File := new String'(Argv (4 .. Argv'Last));
7712 elsif Argv'Last = 2 and then Argv (2) = 'D' then
7713 if Project_File_Name /= null then
7715 ("-D cannot be used in conjunction with a project file");
7718 Scan_Make_Switches (Env, Argv, Success);
7723 elsif Argv (2) = 'd' and then Argv'Last = 2 then
7724 Display_Compilation_Progress := True;
7728 elsif Argv'Last = 2 and then Argv (2) = 'i' then
7729 if Project_File_Name /= null then
7731 ("-i cannot be used in conjunction with a project file");
7733 Scan_Make_Switches (Env, Argv, Success);
7736 -- -j (need to save the result)
7738 elsif Argv (2) = 'j' then
7739 Scan_Make_Switches (Env, Argv, Success);
7742 Saved_Maximum_Processes := Maximum_Processes;
7747 elsif Argv (2) = 'm' and then Argv'Last = 2 then
7748 Minimal_Recompilation := True;
7752 elsif Argv (2) = 'u' and then Argv'Last = 2 then
7753 Unique_Compile := True;
7754 Compile_Only := True;
7755 Do_Bind_Step := False;
7756 Do_Link_Step := False;
7760 elsif Argv (2) = 'U'
7761 and then Argv'Last = 2
7763 Unique_Compile_All_Projects := True;
7764 Unique_Compile := True;
7765 Compile_Only := True;
7766 Do_Bind_Step := False;
7767 Do_Link_Step := False;
7769 -- -Pprj or -P prj (only once, and only on the command line)
7771 elsif Argv (2) = 'P' then
7772 if Project_File_Name /= null then
7773 Make_Failed ("cannot have several project files specified");
7775 elsif Object_Directory_Path /= null then
7777 ("-D cannot be used in conjunction with a project file");
7779 elsif In_Place_Mode then
7781 ("-i cannot be used in conjunction with a project file");
7783 elsif not And_Save then
7785 -- It could be a tool other than gnatmake (e.g. gnatdist)
7786 -- or a -P switch inside a project file.
7789 ("either the tool is not ""project-aware"" or " &
7790 "a project file is specified inside a project file");
7792 elsif Argv'Last = 2 then
7794 -- -P is used alone: the project file name is the next option
7796 Project_File_Name_Present := True;
7799 Project_File_Name := new String'(Argv (3 .. Argv'Last));
7802 -- -vPx (verbosity of the parsing of the project files)
7805 and then Argv (2 .. 3) = "vP"
7806 and then Argv (4) in '0' .. '2'
7811 Current_Verbosity := Prj.Default;
7813 Current_Verbosity := Prj.Medium;
7815 Current_Verbosity := Prj.High;
7821 -- -Xext=val (External assignment)
7823 elsif Argv (2) = 'X'
7824 and then Is_External_Assignment (Env, Argv)
7826 -- Is_External_Assignment has side effects when it returns True
7830 -- If -gnath is present, then generate the usage information right
7831 -- now and do not pass this option on to the compiler calls.
7833 elsif Argv = "-gnath" then
7836 -- If -gnatc is specified, make sure the bind and link steps are not
7839 elsif Argv'Length >= 6 and then Argv (2 .. 6) = "gnatc" then
7841 -- If -gnatc is specified, make sure the bind and link steps are
7844 Add_Switch (Argv, Compiler, And_Save => And_Save);
7845 Operating_Mode := Check_Semantics;
7846 Check_Object_Consistency := False;
7848 -- Comment needed here, what is going on???
7850 if Argv'Last >= 7 and then Argv (7) = 'C' then
7851 CodePeer_Mode := True;
7853 Compile_Only := True;
7854 Do_Bind_Step := False;
7855 Do_Link_Step := False;
7858 elsif Argv (2 .. Argv'Last) = "nostdlib" then
7860 -- Pass -nstdlib to gnatbind and gnatlink
7863 Add_Switch (Argv, Binder, And_Save => And_Save);
7864 Add_Switch (Argv, Linker, And_Save => And_Save);
7866 elsif Argv (2 .. Argv'Last) = "nostdinc" then
7868 -- Pass -nostdinc to the Compiler and to gnatbind
7871 Add_Switch (Argv, Compiler, And_Save => And_Save);
7872 Add_Switch (Argv, Binder, And_Save => And_Save);
7874 -- All other switches are processed by Scan_Make_Switches. If the
7875 -- call returns with Gnatmake_Switch_Found = False, then the switch
7876 -- is passed to the compiler.
7879 Scan_Make_Switches (Env, Argv, Gnatmake_Switch_Found);
7881 if not Gnatmake_Switch_Found then
7882 Add_Switch (Argv, Compiler, And_Save => And_Save);
7886 -- If not a switch it must be a file name
7890 Main_On_Command_Line := True;
7894 Mains.Add_Main (Argv);
7902 function Switches_Of
7903 (Source_File : File_Name_Type;
7904 Project : Project_Id;
7905 In_Package : Package_Id;
7906 Allow_ALI : Boolean) return Variable_Value
7908 Switches : Variable_Value;
7909 Is_Default : Boolean;
7912 Makeutl.Get_Switches
7913 (Source_File => Source_File,
7914 Source_Lang => Name_Ada,
7915 Source_Prj => Project,
7916 Pkg_Name => Project_Tree.Shared.Packages.Table (In_Package).Name,
7917 Project_Tree => Project_Tree,
7919 Is_Default => Is_Default,
7920 Test_Without_Suffix => True,
7921 Check_ALI_Suffix => Allow_ALI);
7931 if Usage_Needed then
7932 Usage_Needed := False;
7938 -- Make sure that in case of failure, the temp files will be deleted
7940 Prj.Com.Fail := Make_Failed'Access;
7941 MLib.Fail := Make_Failed'Access;