1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
9 -- Copyright (C) 1992-2021, 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
;
31 with Fname
; use Fname
;
33 with Fname
.UF
; use Fname
.UF
;
34 with Gnatvsn
; use Gnatvsn
;
35 with Hostparm
; use Hostparm
;
37 with Make_Util
; use Make_Util
;
38 with Namet
; use Namet
;
40 with Osint
.M
; use Osint
.M
;
41 with Osint
; use Osint
;
42 with Output
; use Output
;
48 pragma Warnings
(Off
);
52 with Switch
; use Switch
;
53 with Switch
.M
; use Switch
.M
;
57 with Types
; use Types
;
59 with Ada
.Command_Line
; use Ada
.Command_Line
;
61 with Ada
.Exceptions
; use Ada
.Exceptions
;
63 with GNAT
.Command_Line
; use GNAT
.Command_Line
;
65 with GNAT
.Directory_Operations
; use GNAT
.Directory_Operations
;
66 with GNAT
.OS_Lib
; use GNAT
.OS_Lib
;
71 -- Make control characters visible
73 Standard_Library_Package_Body_Name
: constant String := "s-stalib.adb";
74 System_Package_Spec_Name
: constant String := "system.ads";
75 -- Every program depends on one of these packages: usually the first one,
76 -- or if Supress_Standard_Library is true on the second one. The dependency
77 -- is not always explicit and considering it is important when -f and -a
80 procedure Sigint_Intercepted
;
81 pragma No_Return
(Sigint_Intercepted
);
82 -- Called when the program is interrupted by Ctrl-C to delete the
83 -- temporary mapping files and configuration pragmas files.
85 No_Mapping_File
: constant Natural := 0;
87 type Compilation_Data
is record
89 Full_Source_File
: File_Name_Type
;
90 Lib_File
: File_Name_Type
;
91 Source_Unit
: Unit_Name_Type
;
92 Full_Lib_File
: File_Name_Type
;
93 Lib_File_Attr
: aliased File_Attributes
;
94 Mapping_File
: Natural := No_Mapping_File
;
96 -- Data recorded for each compilation process spawned
98 No_Compilation_Data
: constant Compilation_Data
:=
99 (Invalid_Pid
, No_File
, No_File
, No_Unit_Name
, No_File
, Unknown_Attributes
,
102 type Comp_Data_Arr
is array (Positive range <>) of Compilation_Data
;
103 type Comp_Data_Ptr
is access Comp_Data_Arr
;
104 Running_Compile
: Comp_Data_Ptr
;
105 -- Used to save information about outstanding compilations
107 Outstanding_Compiles
: Natural := 0;
108 -- Current number of outstanding compiles
110 procedure Initialize
;
112 Project_File_Name_Present
: Boolean := False;
114 Project_File_Name
: String_Access
:= null;
116 -------------------------
117 -- Note on terminology --
118 -------------------------
120 -- In this program, we use the phrase "termination" of a file name to refer
121 -- to the suffix that appears after the unit name portion. Very often this
122 -- is simply the extension, but in some cases, the sequence may be more
123 -- complex, for example in main.1.ada, the termination in this name is
124 -- ".1.ada" and in main_.ada the termination is "_.ada".
126 Unique_Compile
: Boolean := False;
127 -- Set to True if -u or -U is used
129 Must_Compile
: Boolean := False;
130 -- True if gnatmake is invoked with -f -u and one or several mains on the
133 Main_On_Command_Line
: Boolean := False;
134 -- True if gnatmake is invoked with one or several mains on the command
137 RTS_Specified
: String_Access
:= null;
138 -- Used to detect multiple --RTS= switches
140 N_M_Switch
: Natural := 0;
141 -- Used to count -mxxx switches that can affect multilib
143 -- The 3 following packages are used to store gcc, gnatbind and gnatlink
144 -- switches found in the project files.
146 package Gcc_Switches
is new Table
.Table
(
147 Table_Component_Type
=> String_Access
,
148 Table_Index_Type
=> Integer,
149 Table_Low_Bound
=> 1,
151 Table_Increment
=> 100,
152 Table_Name
=> "Make.Gcc_Switches");
154 package Binder_Switches
is new Table
.Table
(
155 Table_Component_Type
=> String_Access
,
156 Table_Index_Type
=> Integer,
157 Table_Low_Bound
=> 1,
159 Table_Increment
=> 100,
160 Table_Name
=> "Make.Binder_Switches");
162 package Linker_Switches
is new Table
.Table
(
163 Table_Component_Type
=> String_Access
,
164 Table_Index_Type
=> Integer,
165 Table_Low_Bound
=> 1,
167 Table_Increment
=> 100,
168 Table_Name
=> "Make.Linker_Switches");
170 package Switches_To_Check
is new Table
.Table
(
171 Table_Component_Type
=> String_Access
,
172 Table_Index_Type
=> Integer,
173 Table_Low_Bound
=> 1,
175 Table_Increment
=> 100,
176 Table_Name
=> "Make.Switches_To_Check");
178 package Failed_Links
is new Table
.Table
(
179 Table_Component_Type
=> File_Name_Type
,
180 Table_Index_Type
=> Integer,
181 Table_Low_Bound
=> 1,
183 Table_Increment
=> 100,
184 Table_Name
=> "Make.Failed_Links");
186 package Successful_Links
is new Table
.Table
(
187 Table_Component_Type
=> File_Name_Type
,
188 Table_Index_Type
=> Integer,
189 Table_Low_Bound
=> 1,
191 Table_Increment
=> 100,
192 Table_Name
=> "Make.Successful_Links");
194 Normalized_Switches
: Argument_List_Access
:= new Argument_List
(1 .. 10);
195 Last_Norm_Switch
: Natural := 0;
197 Map_File
: String_Access
:= null;
198 -- Value of switch --create-map-file
200 procedure Add_Library_Search_Dir
(Path
: String);
201 -- Call Add_Lib_Search_Dir with an absolute directory path. If Path is
202 -- relative path, it is relative to the current working directory.
204 procedure Add_Source_Search_Dir
(Path
: String);
205 -- Call Add_Src_Search_Dir with an absolute directory path. If Path is a
206 -- relative path, it is relative to the current working directory.
208 type Bad_Compilation_Info
is record
209 File
: File_Name_Type
;
210 Unit
: Unit_Name_Type
;
213 -- File is the name of the file for which a compilation failed. Unit is for
214 -- gnatdist use in order to easily get the unit name of a file when its
215 -- name is krunched or declared in gnat.adc. Found is False if the
216 -- compilation failed because the file could not be found.
218 package Bad_Compilation
is new Table
.Table
(
219 Table_Component_Type
=> Bad_Compilation_Info
,
220 Table_Index_Type
=> Natural,
221 Table_Low_Bound
=> 1,
223 Table_Increment
=> 100,
224 Table_Name
=> "Make.Bad_Compilation");
225 -- Full name of all the source files for which compilation fails
227 Do_Compile_Step
: Boolean := True;
228 Do_Bind_Step
: Boolean := True;
229 Do_Link_Step
: Boolean := True;
230 -- Flags to indicate what step should be executed. Can be set to False
231 -- with the switches -c, -b and -l. These flags are reset to True for
232 -- each invocation of procedure Gnatmake.
234 CodePeer_Mode_String
: aliased String := "-P";
236 No_Shared_Switch
: aliased Argument_List
:= (1 .. 0 => null);
237 Bind_Shared
: Argument_List_Access
:= No_Shared_Switch
'Access;
238 -- Switch to added in front of gnatbind switches. By default no switch is
239 -- added. Switch "-shared" is added if there is a non-static Library
242 Shared_Libgcc
: aliased String := "-shared-libgcc";
244 No_Shared_Libgcc_Switch
: aliased Argument_List
:= (1 .. 0 => null);
245 Shared_Libgcc_Switch
: aliased Argument_List
:=
246 (1 => Shared_Libgcc
'Access);
247 Link_With_Shared_Libgcc
: Argument_List_Access
:=
248 No_Shared_Libgcc_Switch
'Access;
250 procedure Make_Failed
(S
: String);
251 pragma No_Return
(Make_Failed
);
252 -- Delete all temp files created by Gnatmake and call Osint.Fail, with the
253 -- parameter S (see osint.ads).
255 --------------------------
256 -- Obsolete Executables --
257 --------------------------
259 Executable_Obsolete
: Boolean := False;
260 -- Executable_Obsolete is initially set to False for each executable,
261 -- and is set to True whenever one of the source of the executable is
262 -- compiled, or has already been compiled for another executable.
264 Max_Header
: constant := 200;
265 -- This needs a proper comment, it used to say "arbitrary" that's not an
266 -- adequate comment ???
268 type Header_Num
is range 1 .. Max_Header
;
269 -- Header_Num for the hash table Obsoleted below
271 function Hash
(F
: File_Name_Type
) return Header_Num
;
272 -- Hash function for the hash table Obsoleted below
274 package Obsoleted
is new System
.HTable
.Simple_HTable
275 (Header_Num
=> Header_Num
,
278 Key
=> File_Name_Type
,
281 -- A hash table to keep all files that have been compiled, to detect
282 -- if an executable is up to date or not.
284 procedure Enter_Into_Obsoleted
(F
: File_Name_Type
);
285 -- Enter a file name, without directory information, into the hash table
288 function Is_In_Obsoleted
(F
: File_Name_Type
) return Boolean;
289 -- Check if a file name, without directory information, has already been
290 -- entered into the hash table Obsoleted.
292 type Dependency
is record
293 This
: File_Name_Type
;
294 Depends_On
: File_Name_Type
;
296 -- Components of table Dependencies below
298 package Dependencies
is new Table
.Table
(
299 Table_Component_Type
=> Dependency
,
300 Table_Index_Type
=> Integer,
301 Table_Low_Bound
=> 1,
303 Table_Increment
=> 100,
304 Table_Name
=> "Make.Dependencies");
305 -- A table to keep dependencies, to be able to decide if an executable
306 -- is obsolete. More explanation needed ???
308 ----------------------------
309 -- Arguments and Switches --
310 ----------------------------
312 Arguments
: Argument_List_Access
;
313 -- Used to gather the arguments for invocation of the compiler
315 Last_Argument
: Natural := 0;
316 -- Last index of arguments in Arguments above
318 Dummy_Switch
: constant String_Access
:= new String'("- ");
319 -- Used to initialized Prev_Switch in procedure Check
321 procedure Add_Arguments (Args : Argument_List);
322 -- Add arguments to global variable Arguments, increasing its size
323 -- if necessary and adjusting Last_Argument.
329 procedure List_Depend;
330 -- Prints to standard output the list of object dependencies. This list
331 -- can be used directly in a Makefile. A call to Compile_Sources must
332 -- precede the call to List_Depend. Also because this routine uses the
333 -- ALI files that were originally loaded and scanned by Compile_Sources,
334 -- no additional ALI files should be scanned between the two calls (i.e.
335 -- between the call to Compile_Sources and List_Depend.)
337 procedure List_Bad_Compilations;
338 -- Prints out the list of all files for which the compilation failed
340 Usage_Needed : Boolean := True;
341 -- Flag used to make sure Makeusg is call at most once
344 -- Call Makeusg, if Usage_Needed is True.
345 -- Set Usage_Needed to False.
347 procedure Debug_Msg (S : String; N : Name_Id);
348 procedure Debug_Msg (S : String; N : File_Name_Type);
349 procedure Debug_Msg (S : String; N : Unit_Name_Type);
350 -- If Debug.Debug_Flag_W is set outputs string S followed by name N
352 -----------------------
353 -- Gnatmake Routines --
354 -----------------------
356 subtype Lib_Mark_Type is Byte;
357 -- Used in Mark_Directory
359 Ada_Lib_Dir : constant Lib_Mark_Type := 1;
360 -- Used to mark a directory as a GNAT lib dir
362 -- Note that the notion of GNAT lib dir is no longer used. The code related
363 -- to it has not been removed to give an idea on how to use the directory
364 -- prefix marking mechanism.
366 -- An Ada library directory is a directory containing ali and object files
367 -- but no source files for the bodies (the specs can be in the same or some
368 -- other directory). These directories are specified in the Gnatmake
369 -- command line with the switch "-Adir" (to specify the spec location -Idir
370 -- cab be used). Gnatmake skips the missing sources whose ali are in Ada
371 -- library directories. For an explanation of why Gnatmake behaves that
372 -- way, see the spec of Make.Compile_Sources. The directory lookup penalty
373 -- is incurred every single time this routine is called.
375 function In_Ada_Lib_Dir (File : File_Name_Type) return Boolean;
376 -- Get directory prefix of this file and get lib mark stored in name
377 -- table for this directory. Then check if an Ada lib mark has been set.
379 procedure Mark_Directory (Dir : String; Mark : Lib_Mark_Type);
380 -- Store the absolute path from Dir in name table and set lib mark as name
381 -- info to identify Ada libraries.
383 -- If Dir is a relative path, it is relative to the current working
386 Output_Is_Object : Boolean := True;
387 -- Set to False when using a switch -S for the compiler
389 procedure Check_For_S_Switch;
390 -- Set Output_Is_Object to False when the -S switch is used for the
393 procedure Process_Multilib;
394 -- Add appropriate --RTS argument to handle multilib
396 procedure Compute_Executable
397 (Main_Source_File : File_Name_Type;
398 Executable : out File_Name_Type;
399 Non_Std_Executable : out Boolean);
400 -- Parse the linker switches and project file to compute the name of the
401 -- executable to generate.
403 -- When the platform expects a specific extension for the generated binary,
404 -- there is a chance that the linker might not use the right name for the
405 -- it. Non_Std_Executable is set to True in this case.
407 procedure Compilation_Phase
408 (Main_Source_File : File_Name_Type;
409 Current_Main_Index : Int := 0;
410 Total_Compilation_Failures : in out Natural;
411 Executable : File_Name_Type := No_File;
412 Stop_Compile : out Boolean);
413 -- Build all source files for a given main file
415 -- Current_Main_Index, if not zero, is the index of the current main unit
416 -- in its source file.
418 -- Stand_Alone_Libraries is set to True when there are Stand-Alone
419 -- Libraries, so that gnatbind is invoked with the -F switch to force
420 -- checking of elaboration flags.
422 -- Stop_Compile is set to true if we should not try to compile any more
425 procedure Binding_Phase
426 (Main_ALI_File : File_Name_Type);
427 -- Stand_Alone_Libraries should be set to True when there are Stand-Alone
428 -- Libraries, so that gnatbind is invoked with the -F switch to force
429 -- checking of elaboration flags.
431 procedure Linking_Phase
432 (Non_Std_Executable : Boolean := False;
433 Executable : File_Name_Type := No_File;
434 Main_ALI_File : File_Name_Type);
435 -- Perform the link of a single executable. The ali file corresponds
436 -- to Main_ALI_File. Executable is the file name of an executable.
437 -- Non_Std_Executable is set to True when there is a possibility that
438 -- the linker will not choose the correct executable file name.
440 ----------------------------------------------------
441 -- Compiler, Binder & Linker Data and Subprograms --
442 ----------------------------------------------------
444 Gcc : String_Access := Program_Name ("gcc", "gnatmake");
445 Gnatbind : String_Access := Program_Name ("gnatbind", "gnatmake");
446 Gnatlink : String_Access := Program_Name ("gnatlink", "gnatmake");
447 -- Default compiler, binder, linker programs
449 Gcc_Path : String_Access :=
450 GNAT.OS_Lib.Locate_Exec_On_Path (Gcc.all);
451 Gnatbind_Path : String_Access :=
452 GNAT.OS_Lib.Locate_Exec_On_Path (Gnatbind.all);
453 Gnatlink_Path : String_Access :=
454 GNAT.OS_Lib.Locate_Exec_On_Path (Gnatlink.all);
455 -- Path for compiler, binder, linker programs, defaulted now for gnatdist.
456 -- Changed later if overridden on command line.
458 Comp_Flag : constant String_Access := new String'("-c");
459 Output_Flag
: constant String_Access
:= new String'("-o");
460 Ada_Flag_1 : constant String_Access := new String'("-x");
461 Ada_Flag_2
: constant String_Access
:= new String'("ada");
462 AdaSCIL_Flag : constant String_Access := new String'("adascil");
463 GNAT_Flag
: constant String_Access
:= new String'("-gnatg");
464 Do_Not_Check_Flag : constant String_Access := new String'("-x");
466 Object_Suffix
: constant String := Get_Target_Object_Suffix
.all;
468 Syntax_Only
: Boolean := False;
469 -- Set to True when compiling with -gnats
471 Output_File_Name_Seen
: Boolean := False;
472 -- Set to True after having scanned the file_name for
473 -- switch "-o file_name"
475 Object_Directory_Seen
: Boolean := False;
476 -- Set to True after having scanned the object directory for
477 -- switch "-D obj_dir".
479 Object_Directory_Path
: String_Access
:= null;
480 -- The path name of the object directory, set with switch -D
482 type Make_Program_Type
is (None
, Compiler
, Binder
, Linker
);
484 Program_Args
: Make_Program_Type
:= None
;
485 -- Used to indicate if we are scanning gnatmake, gcc, gnatbind, or gnatbind
486 -- options within the gnatmake command line. Used in Scan_Make_Arg only,
487 -- but must be global since value preserved from one call to another.
491 Program
: Make_Program_Type
;
492 Append_Switch
: Boolean := True);
495 Program
: Make_Program_Type
;
496 Append_Switch
: Boolean := True);
497 -- Make invokes one of three programs (the compiler, the binder or the
498 -- linker). For the sake of convenience, some program specific switches
499 -- can be passed directly on the gnatmake command line. This procedure
500 -- records these switches so that gnatmake can pass them to the right
501 -- program. S is the switch to be added at the end of the command line
502 -- for Program if Append_Switch is True. If Append_Switch is False S is
503 -- added at the beginning of the command line.
506 (Source_File
: File_Name_Type
;
507 The_Args
: Argument_List
;
508 Lib_File
: File_Name_Type
;
509 Full_Lib_File
: File_Name_Type
;
510 Lib_File_Attr
: access File_Attributes
;
513 O_File
: out File_Name_Type
;
514 O_Stamp
: out Time_Stamp_Type
);
515 -- Determines whether the library file Lib_File is up-to-date or not. The
516 -- full name (with path information) of the object file corresponding to
517 -- Lib_File is returned in O_File. Its time stamp is saved in O_Stamp.
518 -- ALI is the ALI_Id corresponding to Lib_File. If Lib_File in not
519 -- up-to-date, then the corresponding source file needs to be recompiled.
520 -- In this case ALI = No_ALI_Id.
521 -- Full_Lib_File must be the result of calling Osint.Full_Lib_File_Name on
522 -- Lib_File. Precomputing it saves system calls. Lib_File_Attr is the
523 -- initialized attributes of that file, which is also used to save on
524 -- system calls (it can safely be initialized to Unknown_Attributes).
526 procedure Check_Linker_Options
527 (E_Stamp
: Time_Stamp_Type
;
528 O_File
: out File_Name_Type
;
529 O_Stamp
: out Time_Stamp_Type
);
530 -- Checks all linker options for linker files that are newer
531 -- than E_Stamp. If such objects are found, the youngest object
532 -- is returned in O_File and its stamp in O_Stamp.
534 -- If no obsolete linker files were found, the first missing
535 -- linker file is returned in O_File and O_Stamp is empty.
536 -- Otherwise O_File is No_File.
538 procedure Collect_Arguments
(Args
: Argument_List
);
539 -- Collect all arguments for a source to be compiled.
541 procedure Display
(Program
: String; Args
: Argument_List
);
542 -- Displays Program followed by the arguments in Args if variable
543 -- Display_Executed_Programs is set. The lower bound of Args must be 1.
545 procedure Report_Compilation_Failed
;
546 pragma No_Return
(Report_Compilation_Failed
);
547 -- Delete all temporary files and fail graciously
553 type Temp_Path_Names
is array (Positive range <>) of Path_Name_Type
;
554 type Temp_Path_Ptr
is access Temp_Path_Names
;
556 type Free_File_Indexes
is array (Positive range <>) of Positive;
557 type Free_Indexes_Ptr
is access Free_File_Indexes
;
559 type Mapping_File_Data
is record
560 Mapping_File_Names
: Temp_Path_Ptr
;
561 -- The name ids of the temporary mapping files used. This is indexed
562 -- on the maximum number of compilation processes we will be spawning
565 Last_Mapping_File_Names
: Natural;
566 -- Index of the last mapping file created for this project
568 Free_Mapping_File_Indexes
: Free_Indexes_Ptr
;
569 -- Indexes in Mapping_File_Names of the mapping file names that can be
570 -- reused for subsequent compilations.
572 Last_Free_Indexes
: Natural;
573 -- Number of mapping files that can be reused
575 -- Information necessary when compiling a project
577 The_Mapping_Files
: Mapping_File_Data
;
579 Gnatmake_Mapping_File
: String_Access
:= null;
580 -- The path name of a mapping file specified by switch -C=
582 procedure Init_Mapping_File
(File_Index
: out Natural);
583 -- Create a new mapping file or reuse one already created.
585 package Temp_File_Paths
is new Table
.Table
586 (Table_Component_Type
=> Path_Name_Type
,
587 Table_Index_Type
=> Natural,
588 Table_Low_Bound
=> 1,
590 Table_Increment
=> 100,
591 Table_Name
=> "Make.Temp_File_Paths",
592 Release_Threshold
=> 0);
594 procedure Record_Temp_File
(Path
: Path_Name_Type
);
595 -- Record the path of a temporary file, so that it can be deleted at the
596 -- end of execution of gnatmake.
598 procedure Record_Temp_File
(Path
: Path_Name_Type
) is
600 for J
in 1 .. Temp_File_Paths
.Last
loop
601 if Temp_File_Paths
.Table
(J
) = Path
then
606 Temp_File_Paths
.Append
(Path
);
607 end Record_Temp_File
;
609 -------------------------------------------------
610 -- Subprogram declarations moved from the spec --
611 -------------------------------------------------
613 procedure Bind
(ALI_File
: File_Name_Type
; Args
: Argument_List
);
614 -- Binds ALI_File. Args are the arguments to pass to the binder.
615 -- Args must have a lower bound of 1.
617 -- If a compilation, bind or link failed one of the following 3 exceptions
618 -- is raised. These need to be handled by the calling routines.
620 procedure Compile_Sources
621 (Main_Source
: File_Name_Type
;
622 Args
: Argument_List
;
623 First_Compiled_File
: out File_Name_Type
;
624 Most_Recent_Obj_File
: out File_Name_Type
;
625 Most_Recent_Obj_Stamp
: out Time_Stamp_Type
;
626 Main_Unit
: out Boolean;
627 Compilation_Failures
: out Natural;
628 Main_Index
: Int
:= 0;
629 Check_Readonly_Files
: Boolean := False;
630 Do_Not_Execute
: Boolean := False;
631 Force_Compilations
: Boolean := False;
632 Keep_Going
: Boolean := False;
633 In_Place_Mode
: Boolean := False;
634 Initialize_ALI_Data
: Boolean := True;
635 Max_Process
: Positive := 1);
636 -- Compile_Sources will recursively compile all the sources needed by
637 -- Main_Source. Before calling this routine make sure Namet has been
638 -- initialized. This routine can be called repeatedly with different
639 -- Main_Source file as long as all the source (-I flags), library
640 -- (-B flags) and ada library (-A flags) search paths between calls are
641 -- *exactly* the same. The default directory must also be the same.
643 -- Args contains the arguments to use during the compilations.
644 -- The lower bound of Args must be 1.
646 -- First_Compiled_File is set to the name of the first file that is
647 -- compiled or that needs to be compiled. This is set to No_Name if no
648 -- compilations were needed.
650 -- Most_Recent_Obj_File is set to the full name of the most recent
651 -- object file found when no compilations are needed, that is when
652 -- First_Compiled_File is set to No_Name. When First_Compiled_File
653 -- is set then Most_Recent_Obj_File is set to No_Name.
655 -- Most_Recent_Obj_Stamp is the time stamp of Most_Recent_Obj_File.
657 -- Main_Unit is set to True if Main_Source can be a main unit.
658 -- If Do_Not_Execute is False and First_Compiled_File /= No_Name
659 -- the value of Main_Unit is always False.
660 -- Is this used any more??? It is certainly not used by gnatmake???
662 -- Compilation_Failures is a count of compilation failures. This count
663 -- is used to extract compilation failure reports with Extract_Failure.
665 -- Main_Index, when not zero, is the index of the main unit in source
666 -- file Main_Source which is a multi-unit source.
667 -- Zero indicates that Main_Source is a single unit source file.
669 -- Check_Readonly_Files set it to True to compile source files
670 -- which library files are read-only. When compiling GNAT predefined
671 -- files the "-gnatg" flag is used.
673 -- Do_Not_Execute set it to True to find out the first source that
674 -- needs to be recompiled, but without recompiling it. This file is
675 -- saved in First_Compiled_File.
677 -- Force_Compilations forces all compilations no matter what but
678 -- recompiles read-only files only if Check_Readonly_Files
681 -- Keep_Going when True keep compiling even in the presence of
682 -- compilation errors.
684 -- In_Place_Mode when True save library/object files in their object
685 -- directory if they already exist; otherwise, in the source directory.
687 -- Initialize_ALI_Data set it to True when you want to initialize ALI
688 -- data-structures. This is what you should do most of the time.
689 -- (especially the first time around when you call this routine).
690 -- This parameter is set to False to preserve previously recorded
693 -- Max_Process is the maximum number of processes that should be spawned
694 -- to carry out compilations.
696 -- Flags in Package Opt Affecting Compile_Sources
697 -- -----------------------------------------------
699 -- Check_Object_Consistency set it to False to omit all consistency
700 -- checks between an .ali file and its corresponding object file.
701 -- When this flag is set to true, every time an .ali is read,
702 -- package Osint checks that the corresponding object file
703 -- exists and is more recent than the .ali.
705 -- Use of Name Table Info
706 -- ----------------------
708 -- All file names manipulated by Compile_Sources are entered into the
709 -- Names table. The Byte field of a source file is used to mark it.
711 -- Calling Compile_Sources Several Times
712 -- -------------------------------------
714 -- Upon return from Compile_Sources all the ALI data structures are left
715 -- intact for further browsing. HOWEVER upon entry to this routine ALI
716 -- data structures are re-initialized if parameter Initialize_ALI_Data
717 -- above is set to true. Typically this is what you want the first time
718 -- you call Compile_Sources. You should not load an ali file, call this
719 -- routine with flag Initialize_ALI_Data set to True and then expect
720 -- that ALI information to be around after the call. Note that the first
721 -- time you call Compile_Sources you better set Initialize_ALI_Data to
722 -- True unless you have called Initialize_ALI yourself.
724 -- Compile_Sources ALGORITHM : Compile_Sources (Main_Source)
725 -- -------------------------
727 -- 1. Insert Main_Source in a Queue (Q) and mark it.
729 -- 2. Let unit.adb be the file at the head of the Q. If unit.adb is
730 -- missing but its corresponding ali file is in an Ada library directory
731 -- (see below) then, remove unit.adb from the Q and goto step 4.
732 -- Otherwise, look at the files under the D (dependency) section of
733 -- unit.ali. If unit.ali does not exist or some of the time stamps do
734 -- not match, (re)compile unit.adb.
736 -- An Ada library directory is a directory containing Ada specs, ali
737 -- and object files but no source files for the bodies. An Ada library
738 -- directory is communicated to gnatmake by means of some switch so that
739 -- gnatmake can skip the sources whole ali are in that directory.
740 -- There are two reasons for skipping the sources in this case. Firstly,
741 -- Ada libraries typically come without full sources but binding and
742 -- linking against those libraries is still possible. Secondly, it would
743 -- be very wasteful for gnatmake to systematically check the consistency
744 -- of every external Ada library used in a program. The binder is
745 -- already in charge of catching any potential inconsistencies.
747 -- 3. Look into the W section of unit.ali and insert into the Q all
748 -- unmarked source files. Mark all files newly inserted in the Q.
749 -- Specifically, assuming that the W section looks like
751 -- W types%s types.adb types.ali
752 -- W unchecked_deallocation%s
753 -- W xref_tab%s xref_tab.adb xref_tab.ali
755 -- Then xref_tab.adb and types.adb are inserted in the Q if they are not
757 -- Note that there is no file listed under W unchecked_deallocation%s
758 -- so no generic body should ever be explicitly compiled (unless the
759 -- Main_Source at the start was a generic body).
761 -- 4. Repeat steps 2 and 3 above until the Q is empty
763 -- Note that the above algorithm works because the units withed in
764 -- subunits are transitively included in the W section (with section) of
765 -- the main unit. Likewise the withed units in a generic body needed
766 -- during a compilation are also transitively included in the W section
767 -- of the originally compiled file.
770 (ALI_File
: File_Name_Type
;
771 Args
: Argument_List
;
772 Success
: out Boolean);
773 -- Links ALI_File. Args are the arguments to pass to the linker.
774 -- Args must have a lower bound of 1. Success indicates if the link
777 Gnatmake_Switch_Found
: Boolean := False;
779 procedure Scan_Make_Arg
(Argv
: String);
780 -- Scan make arguments. Argv is a single argument to be processed.
786 procedure Add_Arguments
(Args
: Argument_List
) is
788 if Arguments
= null then
789 Arguments
:= new Argument_List
(1 .. Args
'Length + 10);
792 while Last_Argument
+ Args
'Length > Arguments
'Last loop
794 New_Arguments
: constant Argument_List_Access
:=
795 new Argument_List
(1 .. Arguments
'Last * 2);
797 New_Arguments
(1 .. Last_Argument
) :=
798 Arguments
(1 .. Last_Argument
);
799 Arguments
:= New_Arguments
;
804 Arguments
(Last_Argument
+ 1 .. Last_Argument
+ Args
'Length) := Args
;
805 Last_Argument
:= Last_Argument
+ Args
'Length;
808 ----------------------------
809 -- Add_Library_Search_Dir --
810 ----------------------------
812 procedure Add_Library_Search_Dir
(Path
: String) is
814 Add_Lib_Search_Dir
(Normalize_Pathname
(Path
));
815 end Add_Library_Search_Dir
;
817 ---------------------------
818 -- Add_Source_Search_Dir --
819 ---------------------------
821 procedure Add_Source_Search_Dir
(Path
: String) is
823 Add_Src_Search_Dir
(Normalize_Pathname
(Path
));
824 end Add_Source_Search_Dir
;
832 Program
: Make_Program_Type
;
833 Append_Switch
: Boolean := True)
836 with package T
is new Table
.Table
(<>);
837 procedure Generic_Position
(New_Position
: out Integer);
838 -- Generic procedure that chooses a position for S in T at the
839 -- beginning or the end, depending on the boolean Append_Switch.
840 -- Calling this procedure may expand the table.
842 ----------------------
843 -- Generic_Position --
844 ----------------------
846 procedure Generic_Position
(New_Position
: out Integer) is
850 if Append_Switch
then
851 New_Position
:= Integer (T
.Last
);
853 for J
in reverse T
.Table_Index_Type
'Succ (T
.First
) .. T
.Last
loop
854 T
.Table
(J
) := T
.Table
(T
.Table_Index_Type
'Pred (J
));
857 New_Position
:= Integer (T
.First
);
859 end Generic_Position
;
861 procedure Gcc_Switches_Pos
is new Generic_Position
(Gcc_Switches
);
862 procedure Binder_Switches_Pos
is new Generic_Position
(Binder_Switches
);
863 procedure Linker_Switches_Pos
is new Generic_Position
(Linker_Switches
);
865 New_Position
: Integer;
867 -- Start of processing for Add_Switch
872 Gcc_Switches_Pos
(New_Position
);
873 Gcc_Switches
.Table
(New_Position
) := S
;
876 Binder_Switches_Pos
(New_Position
);
877 Binder_Switches
.Table
(New_Position
) := S
;
880 Linker_Switches_Pos
(New_Position
);
881 Linker_Switches
.Table
(New_Position
) := S
;
890 Program
: Make_Program_Type
;
891 Append_Switch
: Boolean := True)
894 Add_Switch
(S
=> new String'(S),
896 Append_Switch => Append_Switch);
903 procedure Bind (ALI_File : File_Name_Type; Args : Argument_List) is
904 Bind_Args : Argument_List (1 .. Args'Last + 2);
909 pragma Assert (Args'First = 1);
911 -- Optimize the simple case where the gnatbind command line looks like
912 -- gnatbind -aO. -I- file.ali
917 and then Args (Args'First).all = "-aO" & Normalized_CWD
918 and then Args (Args'Last).all = "-I-"
919 and then ALI_File = Strip_Directory (ALI_File)
921 Bind_Last := Args'First - 1;
924 Bind_Last := Args'Last;
925 Bind_Args (Args'Range) := Args;
928 -- It is completely pointless to re-check source file time stamps. This
929 -- has been done already by gnatmake
931 Bind_Last := Bind_Last + 1;
932 Bind_Args (Bind_Last) := Do_Not_Check_Flag;
934 Get_Name_String (ALI_File);
936 Bind_Last := Bind_Last + 1;
937 Bind_Args (Bind_Last) := new String'(Name_Buffer
(1 .. Name_Len
));
939 GNAT
.OS_Lib
.Normalize_Arguments
(Bind_Args
(Args
'First .. Bind_Last
));
941 Display
(Gnatbind
.all, Bind_Args
(Args
'First .. Bind_Last
));
943 if Gnatbind_Path
= null then
944 Make_Failed
("error, unable to locate " & Gnatbind
.all);
948 (Gnatbind_Path
.all, Bind_Args
(Args
'First .. Bind_Last
), Success
);
951 Make_Failed
("*** bind failed.");
960 (Source_File
: File_Name_Type
;
961 The_Args
: Argument_List
;
962 Lib_File
: File_Name_Type
;
963 Full_Lib_File
: File_Name_Type
;
964 Lib_File_Attr
: access File_Attributes
;
967 O_File
: out File_Name_Type
;
968 O_Stamp
: out Time_Stamp_Type
)
970 function First_New_Spec
(A
: ALI_Id
) return File_Name_Type
;
971 -- Looks in the with table entries of A and returns the spec file name
972 -- of the first withed unit (subprogram) for which no spec existed when
973 -- A was generated but for which there exists one now, implying that A
974 -- is now obsolete. If no such unit is found No_File is returned.
975 -- Otherwise the spec file name of the unit is returned.
977 -- **WARNING** in the event of Uname format modifications, one *MUST*
978 -- make sure this function is also updated.
980 -- Note: This function should really be in ali.adb and use Uname
981 -- services, but this causes the whole compiler to be dragged along
982 -- for gnatbind and gnatmake.
988 function First_New_Spec
(A
: ALI_Id
) return File_Name_Type
is
989 Spec_File_Name
: File_Name_Type
:= No_File
;
991 function New_Spec
(Uname
: Unit_Name_Type
) return Boolean;
992 -- Uname is the name of the spec or body of some ada unit. This
993 -- function returns True if the Uname is the name of a body which has
994 -- a spec not mentioned in ALI file A. If True is returned
995 -- Spec_File_Name above is set to the name of this spec file.
1001 function New_Spec
(Uname
: Unit_Name_Type
) return Boolean is
1002 Spec_Name
: Unit_Name_Type
;
1003 File_Name
: File_Name_Type
;
1006 -- Test whether Uname is the name of a body unit (i.e. ends
1009 Get_Name_String
(Uname
);
1011 Assert
(Name_Len
> 2 and then Name_Buffer
(Name_Len
- 1) = '%');
1013 if Name_Buffer
(Name_Len
) /= 'b' then
1017 -- Convert unit name into spec name
1019 -- ??? this code seems dubious in presence of pragma
1020 -- Source_File_Name since there is no more direct relationship
1021 -- between unit name and file name.
1023 -- ??? Further, what about alternative subunit naming
1025 Name_Buffer
(Name_Len
) := 's';
1026 Spec_Name
:= Name_Find
;
1027 File_Name
:= Get_File_Name
(Spec_Name
, Subunit
=> False);
1029 -- Look if File_Name is mentioned in A's sdep list.
1030 -- If not look if the file exists. If it does return True.
1033 ALIs
.Table
(A
).First_Sdep
.. ALIs
.Table
(A
).Last_Sdep
1035 if Sdep
.Table
(D
).Sfile
= File_Name
then
1040 if Full_Source_Name
(File_Name
) /= No_File
then
1041 Spec_File_Name
:= File_Name
;
1048 -- Start of processing for First_New_Spec
1052 ALIs
.Table
(A
).First_Unit
.. ALIs
.Table
(A
).Last_Unit
1054 exit U_Chk
when Units
.Table
(U
).Utype
= Is_Body_Only
1055 and then New_Spec
(Units
.Table
(U
).Uname
);
1057 for W
in Units
.Table
(U
).First_With
1059 Units
.Table
(U
).Last_With
1062 Withs
.Table
(W
).Afile
/= No_File
1063 and then New_Spec
(Withs
.Table
(W
).Uname
);
1067 return Spec_File_Name
;
1070 ---------------------------------
1071 -- Data declarations for Check --
1072 ---------------------------------
1074 Full_Obj_File
: File_Name_Type
;
1075 -- Full name of the object file corresponding to Lib_File
1077 Lib_Stamp
: Time_Stamp_Type
;
1078 -- Time stamp of the current ada library file
1080 Obj_Stamp
: Time_Stamp_Type
;
1081 -- Time stamp of the current object file
1083 Modified_Source
: File_Name_Type
;
1084 -- The first source in Lib_File whose current time stamp differs from
1085 -- that stored in Lib_File.
1087 New_Spec
: File_Name_Type
;
1088 -- If Lib_File contains in its W (with) section a body (for a
1089 -- subprogram) for which there exists a spec, and the spec did not
1090 -- appear in the Sdep section of Lib_File, New_Spec contains the file
1091 -- name of this new spec.
1093 Source_Name
: File_Name_Type
;
1094 Text
: Text_Buffer_Ptr
;
1097 -- Index of the first argument in Args.Table for a given unit
1100 -- Index of the last argument in Args.Table for a given unit
1102 Arg
: Arg_Id
:= Arg_Id
'First;
1103 -- Current index in Args.Table for a given unit (init to stop warning)
1105 Number_Of_Switches
: Natural;
1106 -- Number of switches recorded for a given unit
1108 Prev_Switch
: String_Access
;
1109 -- Previous switch processed
1111 Switch_Found
: Boolean;
1112 -- True if a given switch has been found
1115 pragma Assert
(Lib_File
/= No_File
);
1117 -- If ALI file is read-only, temporarily set Check_Object_Consistency to
1118 -- False. We don't care if the object file is not there (presumably a
1119 -- library will be used for linking.)
1123 Saved_Check_Object_Consistency
: constant Boolean :=
1124 Check_Object_Consistency
;
1126 Check_Object_Consistency
:= False;
1127 Text
:= Read_Library_Info_From_Full
(Full_Lib_File
, Lib_File_Attr
);
1128 Check_Object_Consistency
:= Saved_Check_Object_Consistency
;
1132 Text
:= Read_Library_Info_From_Full
(Full_Lib_File
, Lib_File_Attr
);
1135 Full_Obj_File
:= Full_Object_File_Name
;
1136 Lib_Stamp
:= Current_Library_File_Stamp
;
1137 Obj_Stamp
:= Current_Object_File_Stamp
;
1139 if Full_Lib_File
= No_File
then
1142 "being checked ...",
1144 Minimum_Verbosity
=> Opt
.Medium
);
1148 "being checked ...",
1150 Minimum_Verbosity
=> Opt
.Medium
);
1154 O_File
:= Full_Obj_File
;
1155 O_Stamp
:= Obj_Stamp
;
1158 if Full_Lib_File
= No_File
then
1159 Verbose_Msg
(Lib_File
, "missing.");
1161 elsif Obj_Stamp
(Obj_Stamp
'First) = ' ' then
1162 Verbose_Msg
(Full_Obj_File
, "missing.");
1166 (Full_Lib_File
, "(" & String (Lib_Stamp
) & ") newer than",
1167 Full_Obj_File
, "(" & String (Obj_Stamp
) & ")");
1171 ALI
:= Scan_ALI
(Lib_File
, Text
, Ignore_ED
=> False, Err
=> True);
1174 if ALI
= No_ALI_Id
then
1175 Verbose_Msg
(Full_Lib_File
, "incorrectly formatted ALI file");
1178 elsif ALIs
.Table
(ALI
).Ver
(1 .. ALIs
.Table
(ALI
).Ver_Len
) /=
1179 Verbose_Library_Version
1181 Verbose_Msg
(Full_Lib_File
, "compiled with old GNAT version");
1186 -- Don't take ALI file into account if it was generated with errors
1188 if ALIs
.Table
(ALI
).Compile_Errors
then
1189 Verbose_Msg
(Full_Lib_File
, "had errors, must be recompiled");
1194 -- Don't take ALI file into account if no object was generated
1196 if Operating_Mode
/= Check_Semantics
1197 and then ALIs
.Table
(ALI
).No_Object
1199 Verbose_Msg
(Full_Lib_File
, "has no corresponding object");
1204 -- When compiling with -gnatc, don't take ALI file into account if
1205 -- it has not been generated for the current source, for example if
1206 -- it has been generated for the spec, but we are compiling the body.
1208 if Operating_Mode
= Check_Semantics
then
1210 File_Name
: String := Get_Name_String
(Source_File
);
1211 OK
: Boolean := False;
1214 -- In the ALI file, the source file names are in canonical case
1216 Canonical_Case_File_Name
(File_Name
);
1218 for U
in ALIs
.Table
(ALI
).First_Unit
..
1219 ALIs
.Table
(ALI
).Last_Unit
1221 OK
:= Get_Name_String
(Units
.Table
(U
).Sfile
) = File_Name
;
1227 (Full_Lib_File
, "not generated for the same source");
1234 -- Check for matching compiler switches if needed
1236 if Check_Switches
then
1238 -- First, collect all the switches
1240 Collect_Arguments
(The_Args
);
1241 Prev_Switch
:= Dummy_Switch
;
1242 Get_Name_String
(ALIs
.Table
(ALI
).Sfile
);
1243 Switches_To_Check
.Set_Last
(0);
1245 for J
in 1 .. Last_Argument
loop
1247 -- Skip -c, -I and -o switches
1249 if Arguments
(J
) (1) = '-'
1250 and then Arguments
(J
) (2) /= 'c'
1251 and then Arguments
(J
) (2) /= 'o'
1252 and then Arguments
(J
) (2) /= 'I'
1254 Normalize_Compiler_Switches
1256 Normalized_Switches
,
1259 for K
in 1 .. Last_Norm_Switch
loop
1260 Switches_To_Check
.Increment_Last
;
1261 Switches_To_Check
.Table
(Switches_To_Check
.Last
) :=
1262 Normalized_Switches
(K
);
1267 First_Arg
:= Units
.Table
(ALIs
.Table
(ALI
).First_Unit
).First_Arg
;
1268 Last_Arg
:= Units
.Table
(ALIs
.Table
(ALI
).First_Unit
).Last_Arg
;
1270 for J
in 1 .. Switches_To_Check
.Last
loop
1272 -- Comparing switches is delicate because gcc reorders a number
1273 -- of switches, according to lang-specs.h, but gnatmake doesn't
1274 -- have sufficient knowledge to perform the same reordering.
1275 -- Instead, we ignore orders between different "first letter"
1276 -- switches, but keep orders between same switches, e.g -O -O2
1277 -- is different than -O2 -O, but -g -O is equivalent to -O -g.
1279 if Switches_To_Check
.Table
(J
) (2) /= Prev_Switch
(2) or else
1280 (Prev_Switch
'Length >= 6 and then
1281 Prev_Switch
(2 .. 5) = "gnat" and then
1282 Switches_To_Check
.Table
(J
)'Length >= 6 and then
1283 Switches_To_Check
.Table
(J
) (2 .. 5) = "gnat" and then
1284 Prev_Switch
(6) /= Switches_To_Check
.Table
(J
) (6))
1286 Prev_Switch
:= Switches_To_Check
.Table
(J
);
1290 Switch_Found
:= False;
1292 for K
in Arg
.. Last_Arg
loop
1294 Switches_To_Check
.Table
(J
).all = Args
.Table
(K
).all
1297 Switch_Found
:= True;
1302 if not Switch_Found
then
1303 if Verbose_Mode
then
1304 Verbose_Msg
(ALIs
.Table
(ALI
).Sfile
,
1305 "switch mismatch """ &
1306 Switches_To_Check
.Table
(J
).all & '"');
1314 Number_Of_Switches
:= Natural (Last_Arg
- First_Arg
+ 1);
1316 -- Do not count the multilib switches reinstated by the compiler
1317 -- according to the lang-specs.h.settings.
1319 for K
in First_Arg
.. Last_Arg
loop
1320 if Args
.Table
(K
).all = "-mrtp" then
1321 Number_Of_Switches
:= Number_Of_Switches
- 1;
1325 if Switches_To_Check
.Last
/= Number_Of_Switches
then
1326 if Verbose_Mode
then
1327 Verbose_Msg
(ALIs
.Table
(ALI
).Sfile
,
1328 "different number of switches");
1330 for K
in First_Arg
.. Last_Arg
loop
1331 Write_Str
(Args
.Table
(K
).all);
1337 for J
in 1 .. Switches_To_Check
.Last
loop
1338 Write_Str
(Switches_To_Check
.Table
(J
).all);
1350 -- Get the source files and their message digests. Note that some
1351 -- sources may be missing if ALI is out-of-date.
1353 Set_Source_Table
(ALI
);
1355 Modified_Source
:= Time_Stamp_Mismatch
(ALI
, Read_Only
);
1357 -- To avoid using too much memory when switch -m is used, free the
1358 -- memory allocated for the source file when computing the checksum.
1360 if Minimal_Recompilation
then
1361 Sinput
.Clear_Source_File_Table
;
1364 if Modified_Source
/= No_File
then
1367 if Verbose_Mode
then
1368 Source_Name
:= Full_Source_Name
(Modified_Source
);
1370 if Source_Name
/= No_File
then
1371 Verbose_Msg
(Source_Name
, "time stamp mismatch");
1373 Verbose_Msg
(Modified_Source
, "missing");
1378 New_Spec
:= First_New_Spec
(ALI
);
1380 if New_Spec
/= No_File
then
1383 if Verbose_Mode
then
1384 Source_Name
:= Full_Source_Name
(New_Spec
);
1386 if Source_Name
/= No_File
then
1387 Verbose_Msg
(Source_Name
, "new spec");
1389 Verbose_Msg
(New_Spec
, "old spec missing");
1398 ------------------------
1399 -- Check_For_S_Switch --
1400 ------------------------
1402 procedure Check_For_S_Switch
is
1404 -- By default, we generate an object file
1406 Output_Is_Object
:= True;
1408 for Arg
in 1 .. Last_Argument
loop
1409 if Arguments
(Arg
).all = "-S" then
1410 Output_Is_Object
:= False;
1412 elsif Arguments
(Arg
).all = "-c" then
1413 Output_Is_Object
:= True;
1416 end Check_For_S_Switch
;
1418 --------------------------
1419 -- Check_Linker_Options --
1420 --------------------------
1422 procedure Check_Linker_Options
1423 (E_Stamp
: Time_Stamp_Type
;
1424 O_File
: out File_Name_Type
;
1425 O_Stamp
: out Time_Stamp_Type
)
1427 procedure Check_File
(File
: File_Name_Type
);
1428 -- Update O_File and O_Stamp if the given file is younger than E_Stamp
1429 -- and O_Stamp, or if O_File is No_File and File does not exist.
1431 function Get_Library_File
(Name
: String) return File_Name_Type
;
1432 -- Return the full file name including path of a library based
1433 -- on the name specified with the -l linker option, using the
1434 -- Ada object path. Return No_File if no such file can be found.
1436 type Char_Array
is array (Natural) of Character;
1437 type Char_Array_Access
is access constant Char_Array
;
1439 Template
: Char_Array_Access
;
1440 pragma Import
(C
, Template
, "__gnat_library_template");
1446 procedure Check_File
(File
: File_Name_Type
) is
1447 Stamp
: Time_Stamp_Type
;
1448 Name
: File_Name_Type
:= File
;
1451 Get_Name_String
(Name
);
1453 -- Remove any trailing NUL characters
1455 while Name_Len
>= Name_Buffer
'First
1456 and then Name_Buffer
(Name_Len
) = NUL
1458 Name_Len
:= Name_Len
- 1;
1461 if Name_Len
= 0 then
1464 elsif Name_Buffer
(1) = '-' then
1466 -- Do not check if File is a switch other than "-l"
1468 if Name_Buffer
(2) /= 'l' then
1472 -- The argument is a library switch, get actual name. It
1473 -- is necessary to make a copy of the relevant part of
1474 -- Name_Buffer as Get_Library_Name uses Name_Buffer as well.
1477 Base_Name
: constant String := Name_Buffer
(3 .. Name_Len
);
1480 Name
:= Get_Library_File
(Base_Name
);
1483 if Name
= No_File
then
1488 Stamp
:= File_Stamp
(Name
);
1490 -- Find the youngest object file that is younger than the
1491 -- executable. If no such file exist, record the first object
1492 -- file that is not found.
1494 if (O_Stamp
< Stamp
and then E_Stamp
< Stamp
)
1495 or else (O_File
= No_File
and then Stamp
(Stamp
'First) = ' ')
1500 -- Strip the trailing NUL if present
1502 Get_Name_String
(O_File
);
1504 if Name_Buffer
(Name_Len
) = NUL
then
1505 Name_Len
:= Name_Len
- 1;
1506 O_File
:= Name_Find
;
1511 ----------------------
1512 -- Get_Library_Name --
1513 ----------------------
1515 -- See comments in a-adaint.c about template syntax
1517 function Get_Library_File
(Name
: String) return File_Name_Type
is
1518 File
: File_Name_Type
:= No_File
;
1523 for Ptr
in Template
'Range loop
1524 case Template
(Ptr
) is
1526 Add_Str_To_Name_Buffer
(Name
);
1529 File
:= Full_Lib_File_Name
(Name_Find
);
1530 exit when File
/= No_File
;
1537 Add_Char_To_Name_Buffer
(Template
(Ptr
));
1541 -- The for loop exited because the end of the template
1542 -- was reached. File contains the last possible file name
1545 if File
= No_File
and then Name_Len
> 0 then
1546 File
:= Full_Lib_File_Name
(Name_Find
);
1550 end Get_Library_File
;
1552 -- Start of processing for Check_Linker_Options
1556 O_Stamp
:= (others => ' ');
1558 -- Process linker options from the ALI files
1560 for Opt
in 1 .. Linker_Options
.Last
loop
1561 Check_File
(File_Name_Type
(Linker_Options
.Table
(Opt
).Name
));
1564 -- Process options given on the command line
1566 for Opt
in Linker_Switches
.First
.. Linker_Switches
.Last
loop
1568 -- Check if the previous Opt has one of the two switches
1569 -- that take an extra parameter. (See GCC manual.)
1571 if Opt
= Linker_Switches
.First
1572 or else (Linker_Switches
.Table
(Opt
- 1).all /= "-u"
1574 Linker_Switches
.Table
(Opt
- 1).all /= "-Xlinker"
1576 Linker_Switches
.Table
(Opt
- 1).all /= "-L")
1579 Add_Str_To_Name_Buffer
(Linker_Switches
.Table
(Opt
).all);
1580 Check_File
(Name_Find
);
1583 end Check_Linker_Options
;
1585 -----------------------
1586 -- Collect_Arguments --
1587 -----------------------
1589 procedure Collect_Arguments
(Args
: Argument_List
) is
1592 Add_Arguments
(Args
);
1594 -- Set Output_Is_Object, depending if there is a -S switch.
1595 -- If the bind step is not performed, and there is a -S switch,
1596 -- then we will not check for a valid object file.
1599 end Collect_Arguments
;
1601 ---------------------
1602 -- Compile_Sources --
1603 ---------------------
1605 procedure Compile_Sources
1606 (Main_Source
: File_Name_Type
;
1607 Args
: Argument_List
;
1608 First_Compiled_File
: out File_Name_Type
;
1609 Most_Recent_Obj_File
: out File_Name_Type
;
1610 Most_Recent_Obj_Stamp
: out Time_Stamp_Type
;
1611 Main_Unit
: out Boolean;
1612 Compilation_Failures
: out Natural;
1613 Main_Index
: Int
:= 0;
1614 Check_Readonly_Files
: Boolean := False;
1615 Do_Not_Execute
: Boolean := False;
1616 Force_Compilations
: Boolean := False;
1617 Keep_Going
: Boolean := False;
1618 In_Place_Mode
: Boolean := False;
1619 Initialize_ALI_Data
: Boolean := True;
1620 Max_Process
: Positive := 1)
1622 Mfile
: Natural := No_Mapping_File
;
1623 Mapping_File_Arg
: String_Access
;
1624 -- Info on the mapping file
1626 Need_To_Check_Standard_Library
: Boolean :=
1627 (Check_Readonly_Files
or Must_Compile
)
1628 and not Unique_Compile
;
1630 procedure Add_Process
1632 Sfile
: File_Name_Type
;
1633 Afile
: File_Name_Type
;
1634 Uname
: Unit_Name_Type
;
1635 Full_Lib_File
: File_Name_Type
;
1636 Lib_File_Attr
: File_Attributes
;
1637 Mfile
: Natural := No_Mapping_File
);
1638 -- Adds process Pid to the current list of outstanding compilation
1639 -- processes and record the full name of the source file Sfile that
1640 -- we are compiling, the name of its library file Afile and the
1641 -- name of its unit Uname. If Mfile is not equal to No_Mapping_File,
1642 -- it is the index of the mapping file used during compilation in the
1643 -- array The_Mapping_File_Names.
1645 procedure Await_Compile
1646 (Data
: out Compilation_Data
;
1648 -- Awaits that an outstanding compilation process terminates. When it
1649 -- does set Data to the information registered for the corresponding
1650 -- call to Add_Process. Note that this time stamp can be used to check
1651 -- whether the compilation did generate an object file. OK is set to
1652 -- True if the compilation succeeded. Data could be No_Compilation_Data
1653 -- if there was no compilation to wait for.
1655 function Bad_Compilation_Count
return Natural;
1656 -- Returns the number of compilation failures
1658 procedure Check_Standard_Library
;
1659 -- Check if s-stalib.adb needs to be compiled
1661 procedure Collect_Arguments_And_Compile
1662 (Full_Source_File
: File_Name_Type
;
1663 Lib_File
: File_Name_Type
;
1665 Pid
: out Process_Id
;
1666 Process_Created
: out Boolean);
1667 -- Collect arguments from project file (if any) and compile. If no
1668 -- compilation was attempted, Processed_Created is set to False, and the
1669 -- value of Pid is unknown.
1672 (S
: File_Name_Type
;
1675 Args
: Argument_List
) return Process_Id
;
1676 -- Compiles S using Args. If S is a GNAT predefined source "-gnatg" is
1677 -- added to Args. Non blocking call. L corresponds to the expected
1678 -- library file name. Process_Id of the process spawned to execute the
1681 package Good_ALI
is new Table
.Table
(
1682 Table_Component_Type
=> ALI_Id
,
1683 Table_Index_Type
=> Natural,
1684 Table_Low_Bound
=> 1,
1685 Table_Initial
=> 50,
1686 Table_Increment
=> 100,
1687 Table_Name
=> "Make.Good_ALI");
1688 -- Contains the set of valid ALI files that have not yet been scanned
1690 function Good_ALI_Present
return Boolean;
1691 -- Returns True if any ALI file was recorded in the previous set
1693 procedure Get_Mapping_File
;
1694 -- Get a mapping file name. If there is one to be reused, reuse it.
1695 -- Otherwise, create a new mapping file.
1697 function Get_Next_Good_ALI
return ALI_Id
;
1698 -- Returns the next good ALI_Id record
1700 procedure Record_Failure
1701 (File
: File_Name_Type
;
1702 Unit
: Unit_Name_Type
;
1703 Found
: Boolean := True);
1704 -- Records in the previous table that the compilation for File failed.
1705 -- If Found is False then the compilation of File failed because we
1706 -- could not find it. Records also Unit when possible.
1708 procedure Record_Good_ALI
(A
: ALI_Id
);
1709 -- Records in the previous set the Id of an ALI file
1711 function Must_Exit_Because_Of_Error
return Boolean;
1712 -- Return True if there were errors and the user decided to exit in such
1713 -- a case. This waits for any outstanding compilation.
1715 function Start_Compile_If_Possible
(Args
: Argument_List
) return Boolean;
1716 -- Check if there is more work that we can do (i.e. the Queue is non
1717 -- empty). If there is, do it only if we have not yet used up all the
1718 -- available processes.
1719 -- Returns True if we should exit the main loop
1721 procedure Wait_For_Available_Slot
;
1722 -- Check if we should wait for a compilation to finish. This is the case
1723 -- if all the available processes are busy compiling sources or there is
1724 -- nothing else to do (that is the Q is empty and there are no good ALIs
1727 procedure Fill_Queue_From_ALI_Files
;
1728 -- Check if we recorded good ALI files. If yes process them now in the
1729 -- order in which they have been recorded. There are two occasions in
1730 -- which we record good ali files. The first is in phase 1 when, after
1731 -- scanning an existing ALI file we realize it is up-to-date, the second
1732 -- instance is after a successful compilation.
1738 procedure Add_Process
1740 Sfile
: File_Name_Type
;
1741 Afile
: File_Name_Type
;
1742 Uname
: Unit_Name_Type
;
1743 Full_Lib_File
: File_Name_Type
;
1744 Lib_File_Attr
: File_Attributes
;
1745 Mfile
: Natural := No_Mapping_File
)
1747 OC1
: constant Positive := Outstanding_Compiles
+ 1;
1750 pragma Assert
(OC1
<= Max_Process
);
1751 pragma Assert
(Pid
/= Invalid_Pid
);
1753 Running_Compile
(OC1
) :=
1755 Full_Source_File
=> Sfile
,
1757 Full_Lib_File
=> Full_Lib_File
,
1758 Lib_File_Attr
=> Lib_File_Attr
,
1759 Source_Unit
=> Uname
,
1760 Mapping_File
=> Mfile
);
1762 Outstanding_Compiles
:= OC1
;
1766 --------------------
1770 procedure Await_Compile
1771 (Data
: out Compilation_Data
;
1777 pragma Assert
(Outstanding_Compiles
> 0);
1779 Data
:= No_Compilation_Data
;
1782 Wait_Process
(Pid
, OK
);
1784 if Pid
= Invalid_Pid
then
1788 -- Look into the running compilation processes for this PID
1790 for J
in Running_Compile
'First .. Outstanding_Compiles
loop
1791 if Pid
= Running_Compile
(J
).Pid
then
1792 Data
:= Running_Compile
(J
);
1793 -- If a mapping file was used by this compilation, get its file
1794 -- name for reuse by a subsequent compilation.
1796 if Running_Compile
(J
).Mapping_File
/= No_Mapping_File
then
1797 The_Mapping_Files
.Last_Free_Indexes
:=
1798 The_Mapping_Files
.Last_Free_Indexes
+ 1;
1799 The_Mapping_Files
.Free_Mapping_File_Indexes
1800 (The_Mapping_Files
.Last_Free_Indexes
) :=
1801 Running_Compile
(J
).Mapping_File
;
1804 -- To actually remove this Pid and related info from
1805 -- Running_Compile replace its entry with the last valid
1806 -- entry in Running_Compile.
1808 if J
= Outstanding_Compiles
then
1811 Running_Compile
(J
) :=
1812 Running_Compile
(Outstanding_Compiles
);
1815 Outstanding_Compiles
:= Outstanding_Compiles
- 1;
1820 -- If the PID was not found, return with OK set to False
1822 if Data
= No_Compilation_Data
then
1827 ---------------------------
1828 -- Bad_Compilation_Count --
1829 ---------------------------
1831 function Bad_Compilation_Count
return Natural is
1833 return Bad_Compilation
.Last
- Bad_Compilation
.First
+ 1;
1834 end Bad_Compilation_Count
;
1836 ----------------------------
1837 -- Check_Standard_Library --
1838 ----------------------------
1840 procedure Check_Standard_Library
is
1842 Need_To_Check_Standard_Library
:= False;
1845 if not Targparm
.Suppress_Standard_Library_On_Target
then
1846 Add_Str_To_Name_Buffer
(Standard_Library_Package_Body_Name
);
1848 Add_Str_To_Name_Buffer
(System_Package_Spec_Name
);
1852 Add_It
: Boolean := True;
1853 Sfile
: File_Name_Type
;
1856 Sfile
:= Name_Enter
;
1858 -- If we have a special runtime, we add the standard library only
1859 -- if we can find it.
1862 Add_It
:= Full_Source_Name
(Sfile
) /= No_File
;
1868 Unit
=> No_Unit_Name
,
1871 if Is_In_Obsoleted
(Sfile
) then
1872 Executable_Obsolete
:= True;
1877 end Check_Standard_Library
;
1879 -----------------------------------
1880 -- Collect_Arguments_And_Compile --
1881 -----------------------------------
1883 procedure Collect_Arguments_And_Compile
1884 (Full_Source_File
: File_Name_Type
;
1885 Lib_File
: File_Name_Type
;
1887 Pid
: out Process_Id
;
1888 Process_Created
: out Boolean) is
1890 Process_Created
:= False;
1892 -- If we use mapping file (-P or -C switches), then get one
1894 if Create_Mapping_File
then
1900 (S
=> Full_Source_File
,
1902 Source_Index
=> Source_Index
,
1903 Args
=> Arguments
(1 .. Last_Argument
));
1904 Process_Created
:= True;
1905 end Collect_Arguments_And_Compile
;
1912 (S
: File_Name_Type
;
1915 Args
: Argument_List
) return Process_Id
1917 Comp_Args
: Argument_List
(Args
'First .. Args
'Last + 10);
1918 Comp_Next
: Integer := Args
'First;
1919 Comp_Last
: Integer;
1920 Arg_Index
: Integer;
1922 function Ada_File_Name
(Name
: File_Name_Type
) return Boolean;
1923 -- Returns True if Name is the name of an ada source file
1924 -- (i.e. suffix is .ads or .adb)
1930 function Ada_File_Name
(Name
: File_Name_Type
) return Boolean is
1932 Get_Name_String
(Name
);
1935 and then Name_Buffer
(Name_Len
- 3 .. Name_Len
- 1) = ".ad"
1936 and then (Name_Buffer
(Name_Len
) = 'b'
1938 Name_Buffer
(Name_Len
) = 's');
1941 -- Start of processing for Compile
1944 Enter_Into_Obsoleted
(S
);
1946 -- By default, Syntax_Only is False
1948 Syntax_Only
:= False;
1950 for J
in Args
'Range loop
1951 if Args
(J
).all = "-gnats" then
1953 -- If we compile with -gnats, the bind step and the link step
1954 -- are inhibited. Also, we set Syntax_Only to True, so that
1955 -- we don't fail when we don't find the ALI file, after
1958 Do_Bind_Step
:= False;
1959 Do_Link_Step
:= False;
1960 Syntax_Only
:= True;
1962 elsif Args
(J
).all = "-gnatc" then
1964 -- If we compile with -gnatc, the bind step and the link step
1965 -- are inhibited. We set Syntax_Only to False for the case when
1966 -- -gnats was previously specified.
1968 Do_Bind_Step
:= False;
1969 Do_Link_Step
:= False;
1970 Syntax_Only
:= False;
1974 Comp_Args
(Comp_Next
) := new String'("-gnatea");
1975 Comp_Next := Comp_Next + 1;
1977 Comp_Args (Comp_Next) := Comp_Flag;
1978 Comp_Next := Comp_Next + 1;
1980 -- Optimize the simple case where the gcc command line looks like
1981 -- gcc -c -I. ... -I- file.adb
1983 -- gcc -c ... file.adb
1985 if Args (Args'First).all = "-I" & Normalized_CWD
1986 and then Args (Args'Last).all = "-I-"
1987 and then S = Strip_Directory (S)
1989 Comp_Last := Comp_Next + Args'Length - 3;
1990 Arg_Index := Args'First + 1;
1993 Comp_Last := Comp_Next + Args'Length - 1;
1994 Arg_Index := Args'First;
1997 -- Make a deep copy of the arguments, because Normalize_Arguments
1998 -- may deallocate some arguments. Also strip target specific -mxxx
1999 -- switches in CodePeer mode.
2003 Last : constant Natural := Comp_Last;
2007 for J in Comp_Next .. Last loop
2009 Str : String renames Args (Arg_Index).all;
2012 and then Str'Length > 2
2013 and then Str (Str'First .. Str'First + 1) = "-m"
2015 Comp_Last := Comp_Last - 1;
2017 Comp_Args (Index) := new String'(Str
);
2022 Arg_Index
:= Arg_Index
+ 1;
2026 -- Set -gnatg for predefined files (for this purpose the renamings
2027 -- such as Text_IO do not count as predefined). Note that we strip
2028 -- the directory name from the source file name because the call to
2029 -- Fname.Is_Predefined_File_Name cannot deal with directory prefixes.
2032 Fname
: constant File_Name_Type
:= Strip_Directory
(S
);
2035 if Is_Predefined_File_Name
2036 (Fname
, Renamings_Included
=> False)
2038 if Check_Readonly_Files
or else Must_Compile
then
2039 Comp_Args
(Comp_Args
'First + 2 .. Comp_Last
+ 1) :=
2040 Comp_Args
(Comp_Args
'First + 1 .. Comp_Last
);
2041 Comp_Last
:= Comp_Last
+ 1;
2042 Comp_Args
(Comp_Args
'First + 1) := GNAT_Flag
;
2046 ("not allowed to compile """ &
2047 Get_Name_String
(Fname
) &
2048 """; use -a switch, or use the compiler directly with "
2049 & "the ""-gnatg"" switch");
2054 -- Now check if the file name has one of the suffixes familiar to
2055 -- the gcc driver. If this is not the case then add the ada flag
2057 -- Append systematically "-x adascil" in CodePeer mode instead, to
2058 -- force the use of gnat1scil instead of gnat1.
2060 if CodePeer_Mode
then
2061 Comp_Last
:= Comp_Last
+ 1;
2062 Comp_Args
(Comp_Last
) := Ada_Flag_1
;
2063 Comp_Last
:= Comp_Last
+ 1;
2064 Comp_Args
(Comp_Last
) := AdaSCIL_Flag
;
2066 elsif not Ada_File_Name
(S
) then
2067 Comp_Last
:= Comp_Last
+ 1;
2068 Comp_Args
(Comp_Last
) := Ada_Flag_1
;
2069 Comp_Last
:= Comp_Last
+ 1;
2070 Comp_Args
(Comp_Last
) := Ada_Flag_2
;
2073 if Source_Index
/= 0 then
2075 Num
: constant String := Source_Index
'Img;
2077 Comp_Last
:= Comp_Last
+ 1;
2078 Comp_Args
(Comp_Last
) :=
2079 new String'("-gnateI" & Num (Num'First + 1 .. Num'Last));
2083 if Source_Index /= 0
2084 or else L /= Strip_Directory (L)
2085 or else Object_Directory_Path /= null
2087 -- Build -o argument
2089 Get_Name_String (L);
2091 for J in reverse 1 .. Name_Len loop
2092 if Name_Buffer (J) = '.' then
2093 Name_Len := J + Object_Suffix'Length - 1;
2094 Name_Buffer (J .. Name_Len) := Object_Suffix;
2099 Comp_Last := Comp_Last + 1;
2100 Comp_Args (Comp_Last) := Output_Flag;
2101 Comp_Last := Comp_Last + 1;
2103 -- If an object directory was specified, prepend the object file
2104 -- name with this object directory.
2106 if Object_Directory_Path /= null then
2107 Comp_Args (Comp_Last) :=
2108 new String'(Object_Directory_Path
.all &
2109 Name_Buffer
(1 .. Name_Len
));
2112 Comp_Args
(Comp_Last
) :=
2113 new String'(Name_Buffer (1 .. Name_Len));
2117 if Create_Mapping_File and then Mapping_File_Arg /= null then
2118 Comp_Last := Comp_Last + 1;
2119 Comp_Args (Comp_Last) := new String'(Mapping_File_Arg
.all);
2122 Get_Name_String
(S
);
2124 Comp_Last
:= Comp_Last
+ 1;
2125 Comp_Args
(Comp_Last
) := new String'(Name_Buffer (1 .. Name_Len));
2127 -- Change to object directory of the project file, if necessary
2129 GNAT.OS_Lib.Normalize_Arguments (Comp_Args (Args'First .. Comp_Last));
2131 Comp_Last := Comp_Last + 1;
2132 Comp_Args (Comp_Last) := new String'("-gnatez");
2134 Display
(Gcc
.all, Comp_Args
(Args
'First .. Comp_Last
));
2136 if Gcc_Path
= null then
2137 Make_Failed
("error, unable to locate " & Gcc
.all);
2141 GNAT
.OS_Lib
.Non_Blocking_Spawn
2142 (Gcc_Path
.all, Comp_Args
(Args
'First .. Comp_Last
));
2145 -------------------------------
2146 -- Fill_Queue_From_ALI_Files --
2147 -------------------------------
2149 procedure Fill_Queue_From_ALI_Files
is
2152 Sfile
: File_Name_Type
;
2155 while Good_ALI_Present
loop
2156 ALI
:= Get_Next_Good_ALI
;
2157 Source_Index
:= Unit_Index_Of
(ALIs
.Table
(ALI
).Afile
);
2159 -- If we are processing the library file corresponding to the
2160 -- main source file check if this source can be a main unit.
2162 if ALIs
.Table
(ALI
).Sfile
= Main_Source
2163 and then Source_Index
= Main_Index
2165 Main_Unit
:= ALIs
.Table
(ALI
).Main_Program
/= None
;
2168 -- The following adds the standard library (s-stalib) to the list
2169 -- of files to be handled by gnatmake: this file and any files it
2170 -- depends on are always included in every bind, even if they are
2171 -- not in the explicit dependency list. Of course, it is not added
2172 -- if Suppress_Standard_Library is True.
2174 -- However, to avoid annoying output about s-stalib.ali being read
2175 -- only, when "-v" is used, we add the standard library only when
2178 if Need_To_Check_Standard_Library
then
2179 Check_Standard_Library
;
2182 -- Now insert in the Q the unmarked source files (i.e. those which
2183 -- have never been inserted in the Q and hence never considered).
2184 -- Only do that if Unique_Compile is False.
2186 if not Unique_Compile
then
2188 ALIs
.Table
(ALI
).First_Unit
.. ALIs
.Table
(ALI
).Last_Unit
2191 Units
.Table
(J
).First_With
.. Units
.Table
(J
).Last_With
2193 Sfile
:= Withs
.Table
(K
).Sfile
;
2195 Dependencies
.Append
((ALIs
.Table
(ALI
).Sfile
, Sfile
));
2197 if Is_In_Obsoleted
(Sfile
) then
2198 Executable_Obsolete
:= True;
2201 if Sfile
= No_File
then
2202 Debug_Msg
("Skipping generic:", Withs
.Table
(K
).Uname
);
2205 Source_Index
:= Unit_Index_Of
(Withs
.Table
(K
).Afile
);
2207 if not (Check_Readonly_Files
or Must_Compile
)
2208 and then Is_Internal_File_Name
(Sfile
, False)
2210 Debug_Msg
("Skipping internal file:", Sfile
);
2215 Unit
=> Withs
.Table
(K
).Uname
,
2216 Index
=> Source_Index
));
2223 end Fill_Queue_From_ALI_Files
;
2225 ----------------------
2226 -- Get_Mapping_File --
2227 ----------------------
2229 procedure Get_Mapping_File
is
2231 -- If there is a mapping file ready to be reused, reuse it
2233 if The_Mapping_Files
.Last_Free_Indexes
> 0 then
2235 The_Mapping_Files
.Free_Mapping_File_Indexes
2236 (The_Mapping_Files
.Last_Free_Indexes
);
2237 The_Mapping_Files
.Last_Free_Indexes
:=
2238 The_Mapping_Files
.Last_Free_Indexes
- 1;
2240 -- Otherwise, create and initialize a new one
2243 Init_Mapping_File
(File_Index
=> Mfile
);
2246 -- Put the name in the mapping file argument for the invocation
2249 Free
(Mapping_File_Arg
);
2254 (The_Mapping_Files.Mapping_File_Names (Mfile)));
2255 end Get_Mapping_File;
2257 -----------------------
2258 -- Get_Next_Good_ALI --
2259 -----------------------
2261 function Get_Next_Good_ALI return ALI_Id is
2265 pragma Assert (Good_ALI_Present);
2266 ALIP := Good_ALI.Table (Good_ALI.Last);
2267 Good_ALI.Decrement_Last;
2269 end Get_Next_Good_ALI;
2271 ----------------------
2272 -- Good_ALI_Present --
2273 ----------------------
2275 function Good_ALI_Present return Boolean is
2277 return Good_ALI.First <= Good_ALI.Last;
2278 end Good_ALI_Present;
2280 --------------------------------
2281 -- Must_Exit_Because_Of_Error --
2282 --------------------------------
2284 function Must_Exit_Because_Of_Error return Boolean is
2285 Data : Compilation_Data;
2289 if Bad_Compilation_Count > 0 and then not Keep_Going then
2290 while Outstanding_Compiles > 0 loop
2291 Await_Compile (Data, Success);
2294 Record_Failure (Data.Full_Source_File, Data.Source_Unit);
2302 end Must_Exit_Because_Of_Error;
2304 --------------------
2305 -- Record_Failure --
2306 --------------------
2308 procedure Record_Failure
2309 (File : File_Name_Type;
2310 Unit : Unit_Name_Type;
2311 Found : Boolean := True)
2314 Bad_Compilation.Increment_Last;
2315 Bad_Compilation.Table (Bad_Compilation.Last) := (File, Unit, Found);
2318 ---------------------
2319 -- Record_Good_ALI --
2320 ---------------------
2322 procedure Record_Good_ALI (A : ALI_Id) is
2324 Good_ALI.Increment_Last;
2325 Good_ALI.Table (Good_ALI.Last) := A;
2326 end Record_Good_ALI;
2328 -------------------------------
2329 -- Start_Compile_If_Possible --
2330 -------------------------------
2332 function Start_Compile_If_Possible
2333 (Args : Argument_List) return Boolean
2335 In_Lib_Dir : Boolean;
2336 Need_To_Compile : Boolean;
2337 Pid : Process_Id := Invalid_Pid;
2338 Process_Created : Boolean;
2340 Source : Queue.Source_Info;
2341 Full_Source_File : File_Name_Type := No_File;
2342 Source_File_Attr : aliased File_Attributes;
2343 -- The full name of the source file and its attributes (size, ...)
2345 Lib_File : File_Name_Type;
2346 Full_Lib_File : File_Name_Type := No_File;
2347 Lib_File_Attr : aliased File_Attributes;
2348 Read_Only : Boolean := False;
2349 ALI : ALI_Id := No_ALI_Id;
2350 -- The ALI file and its attributes (size, stamp, ...)
2352 Obj_File : File_Name_Type := No_File;
2353 Obj_Stamp : Time_Stamp_Type;
2359 if not Queue.Is_Empty and then
2360 Outstanding_Compiles < Max_Process
2362 Queue.Extract (Found, Source);
2364 Osint.Full_Source_Name
2366 Full_File => Full_Source_File,
2367 Attr => Source_File_Attr'Unchecked_Access);
2369 Lib_File := Osint.Lib_File_Name (Source.File, Source.Index);
2371 Osint.Full_Lib_File_Name
2373 Lib_File => Full_Lib_File,
2374 Attr => Lib_File_Attr);
2376 -- If source has already been compiled, executable is obsolete
2378 if Is_In_Obsoleted (Source.File) then
2379 Executable_Obsolete := True;
2382 In_Lib_Dir := Full_Lib_File /= No_File
2383 and then In_Ada_Lib_Dir (Full_Lib_File);
2385 -- Since the following requires a system call, we precompute it
2388 if not In_Lib_Dir then
2389 if Full_Lib_File /= No_File
2390 and then not (Check_Readonly_Files or else Must_Compile)
2392 Get_Name_String (Full_Lib_File);
2393 Name_Buffer (Name_Len + 1) := ASCII.NUL;
2394 Read_Only := not Is_Writable_File
2395 (Name_Buffer'Address, Lib_File_Attr'Unchecked_Access);
2401 -- If the library file is an Ada library skip it
2406 "is in an Ada library",
2408 Minimum_Verbosity => Opt.High);
2410 -- If the library file is a read-only library skip it, but only
2411 -- if, when using project files, this library file is in the
2412 -- right object directory (a read-only ALI file in the object
2413 -- directory of a project being extended must not be skipped).
2415 elsif Read_Only then
2418 "is a read-only library",
2420 Minimum_Verbosity => Opt.High);
2422 -- The source file that we are checking cannot be located
2424 elsif Full_Source_File = No_File then
2425 Record_Failure (Source.File, Source.Unit, False);
2427 -- Source and library files can be located but are internal
2430 elsif not (Check_Readonly_Files or else Must_Compile)
2431 and then Full_Lib_File /= No_File
2432 and then Is_Internal_File_Name (Source.File, False)
2434 if Force_Compilations then
2436 ("not allowed to compile """ &
2437 Get_Name_String (Source.File) &
2438 """; use -a switch, or use the compiler directly with "
2439 & "the ""-gnatg"" switch");
2444 "is an internal library",
2446 Minimum_Verbosity => Opt.High);
2448 -- The source file that we are checking can be located
2451 Collect_Arguments (Args);
2453 -- Don't waste any time if we have to recompile anyway
2455 Obj_Stamp := Empty_Time_Stamp;
2456 Need_To_Compile := Force_Compilations;
2458 if not Force_Compilations then
2459 Check (Source_File => Source.File,
2461 Lib_File => Lib_File,
2462 Full_Lib_File => Full_Lib_File,
2463 Lib_File_Attr => Lib_File_Attr'Unchecked_Access,
2464 Read_Only => Read_Only,
2467 O_Stamp => Obj_Stamp);
2468 Need_To_Compile := (ALI = No_ALI_Id);
2471 if not Need_To_Compile then
2473 -- The ALI file is up-to-date; record its Id
2475 Record_Good_ALI (ALI);
2477 -- Record the time stamp of the most recent object
2478 -- file as long as no (re)compilations are needed.
2480 if First_Compiled_File = No_File
2481 and then (Most_Recent_Obj_File = No_File
2482 or else Obj_Stamp > Most_Recent_Obj_Stamp)
2484 Most_Recent_Obj_File := Obj_File;
2485 Most_Recent_Obj_Stamp := Obj_Stamp;
2489 -- Is this the first file we have to compile?
2491 if First_Compiled_File = No_File then
2492 First_Compiled_File := Full_Source_File;
2493 Most_Recent_Obj_File := No_File;
2495 if Do_Not_Execute then
2497 -- Exit the main loop
2503 -- Compute where the ALI file must be generated in
2504 -- In_Place_Mode (this does not require to know the
2505 -- location of the object directory).
2507 if In_Place_Mode then
2508 if Full_Lib_File = No_File then
2510 -- If the library file was not found, then save
2511 -- the library file near the source file.
2515 (Full_Source_File, Source.Index);
2516 Full_Lib_File := Lib_File;
2519 -- If the library file was found, then save the
2520 -- library file in the same place.
2522 Lib_File := Full_Lib_File;
2526 -- Start the compilation and record it. We can do this
2527 -- because there is at least one free process. This might
2528 -- change the current directory.
2530 Collect_Arguments_And_Compile
2531 (Full_Source_File => Full_Source_File,
2532 Lib_File => Lib_File,
2533 Source_Index => Source.Index,
2535 Process_Created => Process_Created);
2537 -- Compute where the ALI file will be generated (for
2538 -- cases that might require to know the current
2539 -- directory). The current directory might be changed
2540 -- when compiling other files so we cannot rely on it
2541 -- being the same to find the resulting ALI file.
2543 if not In_Place_Mode then
2545 -- Compute the expected location of the ALI file. This
2546 -- can be from several places:
2547 -- -i => in place mode. In such a case,
2548 -- Full_Lib_File has already been set above
2549 -- -D => if specified
2550 -- or defaults in current dir
2551 -- We could simply use a call similar to
2552 -- Osint.Full_Lib_File_Name (Lib_File)
2553 -- but that involves system calls and is thus slower
2555 if Object_Directory_Path /= null then
2557 Add_Str_To_Name_Buffer (Object_Directory_Path.all);
2558 Add_Str_To_Name_Buffer (Get_Name_String (Lib_File));
2559 Full_Lib_File := Name_Find;
2562 Full_Lib_File := Lib_File;
2567 Lib_File_Attr := Unknown_Attributes;
2569 -- Make sure we could successfully start the compilation
2571 if Process_Created then
2572 if Pid = Invalid_Pid then
2573 Record_Failure (Full_Source_File, Source.Unit);
2577 Sfile => Full_Source_File,
2579 Uname => Source.Unit,
2581 Full_Lib_File => Full_Lib_File,
2582 Lib_File_Attr => Lib_File_Attr);
2589 end Start_Compile_If_Possible;
2591 -----------------------------
2592 -- Wait_For_Available_Slot --
2593 -----------------------------
2595 procedure Wait_For_Available_Slot is
2596 Compilation_OK : Boolean;
2597 Text : Text_Buffer_Ptr;
2599 Data : Compilation_Data;
2602 if Outstanding_Compiles = Max_Process
2603 or else (Queue.Is_Empty
2604 and then not Good_ALI_Present
2605 and then Outstanding_Compiles > 0)
2607 Await_Compile (Data, Compilation_OK);
2609 if not Compilation_OK then
2610 Record_Failure (Data.Full_Source_File, Data.Source_Unit);
2613 if Compilation_OK or else Keep_Going then
2615 -- Re-read the updated library file
2618 Saved_Object_Consistency : constant Boolean :=
2619 Check_Object_Consistency;
2622 -- If compilation was not OK, or if output is not an object
2623 -- file and we don't do the bind step, don't check for
2624 -- object consistency.
2626 Check_Object_Consistency :=
2627 Check_Object_Consistency
2629 and (Output_Is_Object or Do_Bind_Step);
2632 Read_Library_Info_From_Full
2633 (Data.Full_Lib_File,
2634 Data.Lib_File_Attr'Unchecked_Access);
2636 -- Restore Check_Object_Consistency to its initial value
2638 Check_Object_Consistency := Saved_Object_Consistency;
2641 -- If an ALI file was generated by this compilation, scan the
2642 -- ALI file and record it.
2644 -- If the scan fails, a previous ali file is inconsistent with
2645 -- the unit just compiled.
2647 if Text /= null then
2650 (Data.Lib_File, Text, Ignore_ED => False, Err => True);
2652 if ALI = No_ALI_Id then
2654 -- Record a failure only if not already done
2656 if Compilation_OK then
2659 "incompatible ALI file, please recompile");
2661 (Data.Full_Source_File, Data.Source_Unit);
2665 Record_Good_ALI (ALI);
2670 -- If we could not read the ALI file that was just generated
2671 -- then there could be a problem reading either the ALI or the
2672 -- corresponding object file (if Check_Object_Consistency is
2673 -- set Read_Library_Info checks that the time stamp of the
2674 -- object file is more recent than that of the ALI). However,
2675 -- we record a failure only if not already done.
2678 if Compilation_OK and not Syntax_Only then
2681 "WARNING: ALI or object file not found after compile");
2683 if not Is_Regular_File
2684 (Get_Name_String (Name_Id (Data.Full_Lib_File)))
2686 Inform (Data.Full_Lib_File, "not found");
2689 Record_Failure (Data.Full_Source_File, Data.Source_Unit);
2694 end Wait_For_Available_Slot;
2696 -- Start of processing for Compile_Sources
2699 pragma Assert (Args'First = 1);
2701 Outstanding_Compiles := 0;
2702 Running_Compile := new Comp_Data_Arr (1 .. Max_Process);
2704 -- Package and Queue initializations
2708 if Initialize_ALI_Data then
2710 Initialize_ALI_Source;
2713 -- The following two flags affect the behavior of ALI.Set_Source_Table.
2714 -- We set Check_Source_Files to True to ensure that source file time
2715 -- stamps are checked, and we set All_Sources to False to avoid checking
2716 -- the presence of the source files listed in the source dependency
2717 -- section of an ali file (which would be a mistake since the ali file
2718 -- may be obsolete).
2720 Check_Source_Files := True;
2721 All_Sources := False;
2724 ((File => Main_Source,
2725 Unit => No_Unit_Name,
2726 Index => Main_Index));
2728 First_Compiled_File := No_File;
2729 Most_Recent_Obj_File := No_File;
2730 Most_Recent_Obj_Stamp := Empty_Time_Stamp;
2733 -- Keep looping until there is no more work to do (the Q is empty)
2734 -- and all the outstanding compilations have terminated.
2737 while not Queue.Is_Empty or else Outstanding_Compiles > 0 loop
2738 exit Make_Loop when Must_Exit_Because_Of_Error;
2739 exit Make_Loop when Start_Compile_If_Possible (Args);
2741 Wait_For_Available_Slot;
2743 -- ??? Should be done as soon as we add a Good_ALI, wouldn't it avoid
2744 -- the need for a list of good ALI?
2746 Fill_Queue_From_ALI_Files;
2748 if Display_Compilation_Progress then
2749 Write_Str ("completed ");
2750 Write_Int (Int (Queue.Processed));
2751 Write_Str (" out of ");
2752 Write_Int (Int (Queue.Size));
2754 Write_Int (Int ((Queue.Processed * 100) / Queue.Size));
2755 Write_Str ("%)...");
2760 Compilation_Failures := Bad_Compilation_Count;
2762 -- Compilation is finished
2764 end Compile_Sources;
2770 procedure Debug_Msg (S : String; N : Name_Id) is
2772 if Debug.Debug_Flag_W then
2773 Write_Str (" ... ");
2781 procedure Debug_Msg (S : String; N : File_Name_Type) is
2783 Debug_Msg (S, Name_Id (N));
2786 procedure Debug_Msg (S : String; N : Unit_Name_Type) is
2788 Debug_Msg (S, Name_Id (N));
2795 procedure Display (Program : String; Args : Argument_List) is
2797 pragma Assert (Args'First = 1);
2799 if not Quiet_Output then
2800 Write_Str (Program);
2802 for J in Args'Range loop
2804 -- Never display -gnatea nor -gnatez
2806 if Args (J).all /= "-gnatea"
2808 Args (J).all /= "-gnatez"
2810 -- Do not display the -F=mapping_file switch for gnatbind if
2811 -- -dn is not specified.
2813 if Opt.Keep_Temporary_Files
2814 or else Args (J)'Length < 4
2816 Args (J) (Args (J)'First .. Args (J)'First + 2) /= "-F="
2820 -- If -df is used, only display file names, not path
2823 if Debug.Debug_Flag_F then
2825 Equal_Pos : Natural;
2828 Equal_Pos := Args (J)'First - 1;
2829 for K in Args (J)'Range loop
2830 if Args (J) (K) = '=' then
2837 (Args (J) (Equal_Pos + 1 .. Args (J)'Last))
2840 (Args (J) (Args (J)'First .. Equal_Pos));
2844 (Equal_Pos + 1 .. Args (J)'Last)));
2847 Write_Str (Args (J).all);
2852 Write_Str (Args (J).all);
2862 --------------------------
2863 -- Enter_Into_Obsoleted --
2864 --------------------------
2866 procedure Enter_Into_Obsoleted (F : File_Name_Type) is
2867 Name : constant String := Get_Name_String (F);
2869 F2 : File_Name_Type;
2873 while First > Name'First
2874 and then not Is_Directory_Separator (Name (First - 1))
2879 if First /= Name'First then
2881 Add_Str_To_Name_Buffer (Name (First .. Name'Last));
2888 Debug_Msg ("New entry in Obsoleted table:", F2);
2889 Obsoleted.Set (F2, True);
2890 end Enter_Into_Obsoleted;
2896 procedure Linking_Phase
2897 (Non_Std_Executable : Boolean := False;
2898 Executable : File_Name_Type := No_File;
2899 Main_ALI_File : File_Name_Type)
2901 Linker_Switches_Last : constant Integer := Linker_Switches.Last;
2904 if not Run_Path_Option then
2905 Linker_Switches.Increment_Last;
2906 Linker_Switches.Table (Linker_Switches.Last) :=
2910 if CodePeer_Mode
then
2911 Linker_Switches
.Increment_Last
;
2912 Linker_Switches
.Table
(Linker_Switches
.Last
) :=
2913 new String'(CodePeer_Mode_String);
2916 -- Add switch -M to gnatlink if builder switch --create-map-file
2917 -- has been specified.
2919 if Map_File /= null then
2920 Linker_Switches.Increment_Last;
2921 Linker_Switches.Table (Linker_Switches.Last) :=
2922 new String'("-M" & Map_File
.all);
2926 Args
: Argument_List
2927 (Linker_Switches
.First
.. Linker_Switches
.Last
+ 2);
2929 Last_Arg
: Integer := Linker_Switches
.First
- 1;
2930 Skip
: Boolean := False;
2933 -- Get all the linker switches
2935 for J
in Linker_Switches
.First
.. Linker_Switches
.Last
loop
2939 elsif Non_Std_Executable
2940 and then Linker_Switches
.Table
(J
).all = "-o"
2944 -- Here we capture and duplicate the linker argument. We
2945 -- need to do the duplication since the arguments will get
2946 -- normalized. Not doing so will result in calling normalized
2947 -- two times for the same set of arguments if gnatmake is
2948 -- passed multiple mains. This can result in the wrong
2949 -- argument being passed to the linker.
2952 Last_Arg
:= Last_Arg
+ 1;
2953 Args
(Last_Arg
) := new String'(Linker_Switches.Table (J).all);
2957 -- If need be, add the -o switch
2959 if Non_Std_Executable then
2960 Last_Arg := Last_Arg + 1;
2961 Args (Last_Arg) := new String'("-o");
2962 Last_Arg
:= Last_Arg
+ 1;
2963 Args
(Last_Arg
) := new String'(Get_Name_String (Executable));
2966 -- And invoke the linker
2969 Success : Boolean := False;
2972 -- If gnatmake was invoked with --subdirs, put the executable in
2973 -- the subdirectory specified.
2975 if Subdirs /= null then
2976 Change_Dir (Object_Directory_Path.all);
2979 Link (Main_ALI_File,
2980 Link_With_Shared_Libgcc.all &
2981 Args (Args'First .. Last_Arg),
2985 Successful_Links.Increment_Last;
2986 Successful_Links.Table (Successful_Links.Last) := Main_ALI_File;
2988 elsif Osint.Number_Of_Files = 1 or else not Keep_Going then
2989 Make_Failed ("*** link failed.");
2993 Write_Line ("*** link failed");
2995 if Commands_To_Stdout then
2996 Set_Standard_Output;
2999 Failed_Links.Increment_Last;
3000 Failed_Links.Table (Failed_Links.Last) := Main_ALI_File;
3005 Linker_Switches.Set_Last (Linker_Switches_Last);
3012 procedure Binding_Phase (Main_ALI_File : File_Name_Type) is
3013 Args : Argument_List (Binder_Switches.First .. Binder_Switches.Last + 2);
3014 -- The arguments for the invocation of gnatbind
3016 Last_Arg : Natural := Binder_Switches.Last;
3017 -- Index of the last argument in Args
3019 Shared_Libs : Boolean := False;
3020 -- Set to True when there are shared library project files or
3021 -- when gnatbind is invoked with -shared.
3025 -- Check now for switch -shared
3027 for J in Binder_Switches.First .. Last_Arg loop
3028 if Binder_Switches.Table (J).all = "-shared" then
3029 Shared_Libs := True;
3034 -- If shared libraries present, invoke gnatlink with
3038 Link_With_Shared_Libgcc := Shared_Libgcc_Switch'Access;
3041 -- Get all the binder switches
3043 for J in Binder_Switches.First .. Last_Arg loop
3044 Args (J) := Binder_Switches.Table (J);
3047 if CodePeer_Mode then
3048 Last_Arg := Last_Arg + 1;
3049 Args (Last_Arg) := CodePeer_Mode_String'Access;
3052 -- If gnatmake was invoked with --subdirs, put the
3053 -- binder generated files in the subdirectory specified.
3055 if Subdirs /= null then
3056 Change_Dir (Object_Directory_Path.all);
3059 Bind (Main_ALI_File, Bind_Shared.all & Args (Args'First .. Last_Arg));
3063 -----------------------
3064 -- Compilation_Phase --
3065 -----------------------
3067 procedure Compilation_Phase
3068 (Main_Source_File : File_Name_Type;
3069 Current_Main_Index : Int := 0;
3070 Total_Compilation_Failures : in out Natural;
3071 Executable : File_Name_Type := No_File;
3072 Stop_Compile : out Boolean)
3074 Args : Argument_List (1 .. Gcc_Switches.Last);
3075 First_Compiled_File : File_Name_Type;
3076 Youngest_Obj_File : File_Name_Type;
3077 Youngest_Obj_Stamp : Time_Stamp_Type;
3079 Is_Main_Unit : Boolean;
3080 -- Set True by Compile_Sources if Main_Source_File can be a main unit
3082 Compilation_Failures : Natural;
3084 Executable_Stamp : Time_Stamp_Type;
3087 Stop_Compile := False;
3089 for J in 1 .. Gcc_Switches.Last loop
3090 Args (J) := Gcc_Switches.Table (J);
3093 -- Now we invoke Compile_Sources for the current main
3096 (Main_Source => Main_Source_File,
3098 First_Compiled_File => First_Compiled_File,
3099 Most_Recent_Obj_File => Youngest_Obj_File,
3100 Most_Recent_Obj_Stamp => Youngest_Obj_Stamp,
3101 Main_Unit => Is_Main_Unit,
3102 Main_Index => Current_Main_Index,
3103 Compilation_Failures => Compilation_Failures,
3104 Check_Readonly_Files => Check_Readonly_Files,
3105 Do_Not_Execute => Do_Not_Execute,
3106 Force_Compilations => Force_Compilations,
3107 In_Place_Mode => In_Place_Mode,
3108 Keep_Going => Keep_Going,
3109 Initialize_ALI_Data => True,
3110 Max_Process => Maximum_Processes);
3112 if Verbose_Mode then
3113 Write_Str ("End of compilation");
3117 Total_Compilation_Failures :=
3118 Total_Compilation_Failures + Compilation_Failures;
3120 if Total_Compilation_Failures /= 0 then
3121 Stop_Compile := True;
3125 if List_Dependencies then
3126 if First_Compiled_File /= No_File then
3128 (First_Compiled_File,
3129 "must be recompiled. Can't generate dependence list.");
3134 elsif First_Compiled_File = No_File
3135 and then not Do_Bind_Step
3136 and then not Quiet_Output
3137 and then Osint.Number_Of_Files = 1
3139 Inform (Msg => "objects up to date.");
3140 Stop_Compile := True;
3143 elsif Do_Not_Execute and then First_Compiled_File /= No_File then
3144 Write_Name (First_Compiled_File);
3148 -- Stop after compile step if any of:
3150 -- 1) -n (Do_Not_Execute) specified
3152 -- 2) -M (List_Dependencies) specified (also sets
3153 -- Do_Not_Execute above, so this is probably superfluous).
3155 -- 3) -c (Compile_Only) specified, but not -b (Bind_Only)
3157 -- 4) Made unit cannot be a main unit
3160 or List_Dependencies
3162 or not Is_Main_Unit)
3163 and not No_Main_Subprogram
3164 and not Build_Bind_And_Link_Full_Project)
3167 Stop_Compile := True;
3171 -- If the objects were up-to-date check if the executable file is also
3172 -- up-to-date. For now always bind and link in CodePeer mode where there
3173 -- is no executable.
3175 if not CodePeer_Mode
3176 and then Do_Link_Step
3177 and then First_Compiled_File = No_File
3179 Executable_Stamp := File_Stamp (Executable);
3181 if not Executable_Obsolete then
3182 Executable_Obsolete := Youngest_Obj_Stamp > Executable_Stamp;
3185 if not Executable_Obsolete then
3186 for Index in reverse 1 .. Dependencies.Last loop
3187 if Is_In_Obsoleted (Dependencies.Table (Index).Depends_On) then
3188 Enter_Into_Obsoleted (Dependencies.Table (Index).This);
3192 Executable_Obsolete := Is_In_Obsoleted (Main_Source_File);
3196 if not Executable_Obsolete then
3198 -- If no Ada object files obsolete the executable, check
3199 -- for younger or missing linker files.
3201 Check_Linker_Options
3204 Youngest_Obj_Stamp);
3206 Executable_Obsolete := Youngest_Obj_File /= No_File;
3209 -- Return if the executable is up to date and otherwise
3210 -- motivate the relink/rebind.
3212 if not Executable_Obsolete then
3213 if not Quiet_Output then
3214 Inform (Executable, "up to date.");
3217 Stop_Compile := True;
3221 if Executable_Stamp (1) = ' ' then
3222 if not No_Main_Subprogram then
3223 Verbose_Msg (Executable, "missing.", Prefix => " ");
3226 elsif Youngest_Obj_Stamp (1) = ' ' then
3228 (Youngest_Obj_File, "missing.", Prefix => " ");
3230 elsif Youngest_Obj_Stamp > Executable_Stamp then
3233 "(" & String (Youngest_Obj_Stamp) & ") newer than",
3235 "(" & String (Executable_Stamp) & ")");
3239 (Executable, "needs to be rebuilt", Prefix => " ");
3243 end Compilation_Phase;
3245 ------------------------
3246 -- Compute_Executable --
3247 ------------------------
3249 procedure Compute_Executable
3250 (Main_Source_File : File_Name_Type;
3251 Executable : out File_Name_Type;
3252 Non_Std_Executable : out Boolean)
3255 Executable := No_File;
3256 Non_Std_Executable :=
3257 Targparm.Executable_Extension_On_Target /= No_Name;
3259 -- Look inside the linker switches to see if the name of the final
3260 -- executable program was specified.
3262 for J in reverse Linker_Switches.First .. Linker_Switches.Last loop
3263 if Linker_Switches.Table (J).all = Output_Flag.all then
3264 pragma Assert (J < Linker_Switches.Last);
3266 -- We cannot specify a single executable for several main
3269 if Osint.Number_Of_Files > 1 then
3270 Fail ("cannot specify a single executable for several mains");
3274 Add_Str_To_Name_Buffer (Linker_Switches.Table (J + 1).all);
3275 Executable := Name_Enter;
3277 Verbose_Msg (Executable, "final executable");
3281 -- If the name of the final executable program was not specified then
3282 -- construct it from the main input file.
3284 if Executable = No_File then
3285 Executable := Executable_Name (Strip_Suffix (Main_Source_File));
3288 end Compute_Executable;
3294 procedure Gnatmake is
3295 Main_Source_File : File_Name_Type;
3296 -- The source file containing the main compilation unit
3298 Total_Compilation_Failures : Natural := 0;
3300 Main_ALI_File : File_Name_Type;
3301 -- The ali file corresponding to Main_Source_File
3303 Executable : File_Name_Type := No_File;
3304 -- The file name of an executable
3306 Non_Std_Executable : Boolean := False;
3307 -- Non_Std_Executable is set to True when there is a possibility that
3308 -- the linker will not choose the correct executable file name.
3310 Current_Main_Index : Int := 0;
3311 -- If not zero, the index of the current main unit in its source file
3313 Is_First_Main : Boolean;
3314 -- Whether we are processing the first main
3316 Stop_Compile : Boolean;
3319 pragma Warnings (Off, Discard);
3322 GNAT.Ctrl_C.Install_Handler (Sigint_Intercepted'Access);
3324 Do_Compile_Step := True;
3325 Do_Bind_Step := True;
3326 Do_Link_Step := True;
3332 Bind_Shared := No_Shared_Switch'Access;
3333 Link_With_Shared_Libgcc := No_Shared_Libgcc_Switch'Access;
3335 Failed_Links.Set_Last (0);
3336 Successful_Links.Set_Last (0);
3338 -- Special case when switch -B was specified
3340 if Main_Index /= 0 and then Osint.Number_Of_Files > 1 then
3341 Make_Failed ("cannot specify several mains with a multi-unit index");
3344 if Verbose_Mode then
3346 Display_Version ("GNATMAKE", "1992");
3349 if Osint.Number_Of_Files = 0 then
3350 -- Call Get_Target_Parameters to ensure that flags are properly
3351 -- set before calling Usage.
3353 Targparm.Get_Target_Parameters;
3355 -- Output usage information if no argument on the command line
3357 if Argument_Count = 0 then
3363 Finish_Program (E_Success);
3366 -- Get the first executable.
3367 -- ??? This needs to be done early, because Osint.Next_Main_File also
3368 -- initializes the primary search directory, used below to initialize
3369 -- the "-I" parameter
3371 Main_Source_File := Next_Main_Source; -- No directory information
3373 -- If -M was specified, behave as if -n was specified
3375 if List_Dependencies then
3376 Do_Not_Execute := True;
3379 Add_Switch ("-I-", Compiler);
3381 if Look_In_Primary_Dir then
3384 Normalize_Directory_Name
3385 (Get_Primary_Src_Search_Directory.all).all,
3387 Append_Switch => False);
3391 -- If the user wants a program without a main subprogram, add the
3392 -- appropriate switch to the binder.
3394 if No_Main_Subprogram then
3395 Add_Switch ("-z", Binder);
3398 -- The combination of -f -u and one or several mains on the command line
3401 if Force_Compilations
3402 and then Unique_Compile
3403 and then Main_On_Command_Line
3405 Must_Compile := True;
3408 Bad_Compilation.Init;
3410 -- Here is where the make process is started
3414 Is_First_Main := True;
3416 Multiple_Main_Loop : for N_File in 1 .. Osint.Number_Of_Files loop
3417 if Current_File_Index /= No_Index then
3418 Main_Index := Current_File_Index;
3421 Current_Main_Index := Main_Index;
3423 if Is_First_Main then
3425 -- Put the default source dirs in the source path only now, so
3426 -- that we take the correct ones in the case where --RTS= is
3427 -- specified in the Builder switches.
3429 Osint.Add_Default_Search_Dirs;
3431 -- Get the target parameters, which are only needed for a couple
3432 -- of cases in gnatmake. Protect against an exception, such as the
3433 -- case of system.ads missing from the library, and fail
3437 Targparm.Get_Target_Parameters;
3439 when Unrecoverable_Error =>
3440 Make_Failed ("*** make failed.");
3443 Gcc_Path := GNAT.OS_Lib.Locate_Exec_On_Path (Gcc.all);
3444 Gnatbind_Path := GNAT.OS_Lib.Locate_Exec_On_Path (Gnatbind.all);
3445 Gnatlink_Path := GNAT.OS_Lib.Locate_Exec_On_Path (Gnatlink.all);
3447 -- If we have specified -j switch both from the project file
3448 -- and on the command line, the one from the command line takes
3451 if Debug.Debug_Flag_M then
3452 Write_Line ("Maximum number of simultaneous compilations =" &
3453 Maximum_Processes'Img);
3456 -- Allocate as many temporary mapping file names as the maximum
3457 -- number of compilations processed.
3459 The_Mapping_Files :=
3460 (Mapping_File_Names =>
3461 new Temp_Path_Names (1 .. Maximum_Processes),
3462 Last_Mapping_File_Names => 0,
3463 Free_Mapping_File_Indexes =>
3464 new Free_File_Indexes (1 .. Maximum_Processes),
3465 Last_Free_Indexes => 0);
3467 Is_First_Main := False;
3470 Executable_Obsolete := False;
3473 (Main_Source_File => Main_Source_File,
3474 Executable => Executable,
3475 Non_Std_Executable => Non_Std_Executable);
3477 if Do_Compile_Step then
3479 (Main_Source_File => Main_Source_File,
3480 Current_Main_Index => Current_Main_Index,
3481 Total_Compilation_Failures => Total_Compilation_Failures,
3482 Executable => Executable,
3483 Stop_Compile => Stop_Compile);
3485 if Stop_Compile then
3486 if Total_Compilation_Failures /= 0 then
3491 List_Bad_Compilations;
3492 Report_Compilation_Failed;
3495 elsif Osint.Number_Of_Files = 1 then
3496 exit Multiple_Main_Loop;
3503 -- If we are here, it means that we need to rebuilt the current main,
3504 -- so we set Executable_Obsolete to True to make sure that subsequent
3505 -- mains will be rebuilt.
3507 Main_ALI_In_Place_Mode_Step : declare
3508 ALI_File : File_Name_Type;
3509 Src_File : File_Name_Type;
3512 Src_File := Strip_Directory (Main_Source_File);
3513 ALI_File := Lib_File_Name (Src_File, Current_Main_Index);
3514 Main_ALI_File := Full_Lib_File_Name (ALI_File);
3516 -- When In_Place_Mode, the library file can be located in the
3517 -- Main_Source_File directory which may not be present in the
3518 -- library path. If it is not present then use the corresponding
3519 -- library file name.
3521 if Main_ALI_File = No_File and then In_Place_Mode then
3522 Get_Name_String (Get_Directory (Full_Source_Name (Src_File)));
3523 Get_Name_String_And_Append (ALI_File);
3524 Main_ALI_File := Name_Find;
3525 Main_ALI_File := Full_Lib_File_Name (Main_ALI_File);
3528 if Main_ALI_File = No_File then
3529 Make_Failed ("could not find the main ALI file");
3531 end Main_ALI_In_Place_Mode_Step;
3533 if Do_Bind_Step then
3534 Binding_Phase (Main_ALI_File);
3537 if Do_Link_Step then
3539 (Non_Std_Executable => Non_Std_Executable,
3540 Executable => Executable,
3541 Main_ALI_File => Main_ALI_File);
3544 -- We go to here when we skip the bind and link steps
3550 if N_File < Osint.Number_Of_Files then
3551 Main_Source_File := Next_Main_Source; -- No directory information
3553 end loop Multiple_Main_Loop;
3555 if Failed_Links.Last > 0 then
3556 for Index in 1 .. Successful_Links.Last loop
3557 Write_Str ("Linking of """);
3558 Write_Str (Get_Name_String (Successful_Links.Table (Index)));
3559 Write_Line (""" succeeded.");
3564 for Index in 1 .. Failed_Links.Last loop
3565 Write_Str ("Linking of """);
3566 Write_Str (Get_Name_String (Failed_Links.Table (Index)));
3567 Write_Line (""" failed.");
3570 if Commands_To_Stdout then
3571 Set_Standard_Output;
3574 if Total_Compilation_Failures = 0 then
3575 Report_Compilation_Failed;
3579 if Total_Compilation_Failures /= 0 then
3580 List_Bad_Compilations;
3581 Report_Compilation_Failed;
3584 Finish_Program (E_Success);
3589 Write_Line (Exception_Information (X));
3590 Make_Failed ("INTERNAL ERROR. Please report.");
3597 function Hash (F : File_Name_Type) return Header_Num is
3599 return Header_Num (1 + F mod Max_Header);
3602 --------------------
3603 -- In_Ada_Lib_Dir --
3604 --------------------
3606 function In_Ada_Lib_Dir (File : File_Name_Type) return Boolean is
3607 D : constant File_Name_Type := Get_Directory (File);
3608 B : constant Byte := Get_Name_Table_Byte (D);
3610 return (B and Ada_Lib_Dir) /= 0;
3613 -----------------------
3614 -- Init_Mapping_File --
3615 -----------------------
3617 procedure Init_Mapping_File (File_Index : out Natural) is
3618 FD : File_Descriptor;
3620 -- For call to Close
3623 -- Increase the index of the last mapping file for this project
3625 The_Mapping_Files.Last_Mapping_File_Names :=
3626 The_Mapping_Files.Last_Mapping_File_Names + 1;
3628 -- Just create an empty file
3630 Tempdir.Create_Temp_File
3632 The_Mapping_Files.Mapping_File_Names
3633 (The_Mapping_Files.Last_Mapping_File_Names));
3635 if FD = Invalid_FD then
3636 Make_Failed ("disk full");
3639 (The_Mapping_Files.Mapping_File_Names
3640 (The_Mapping_Files.Last_Mapping_File_Names));
3646 Make_Failed ("disk full");
3649 -- And return the index of the newly created file
3651 File_Index := The_Mapping_Files.Last_Mapping_File_Names;
3652 end Init_Mapping_File;
3658 procedure Initialize is
3659 procedure Check_Version_And_Help is
3660 new Check_Version_And_Help_G (Makeusg);
3663 -- Override default initialization of Check_Object_Consistency since
3664 -- this is normally False for GNATBIND, but is True for GNATMAKE since
3665 -- we do not need to check source consistency again once GNATMAKE has
3666 -- looked at the sources to check.
3668 Check_Object_Consistency := True;
3670 -- Package initializations (the order of calls is important here)
3672 Output.Set_Standard_Error;
3675 Binder_Switches.Init;
3676 Linker_Switches.Init;
3684 RTS_Specified := null;
3689 -- Add the directory where gnatmake is invoked in front of the path,
3690 -- if gnatmake is invoked from a bin directory or with directory
3694 Prefix : constant String := Executable_Prefix_Path;
3695 Command : constant String := Command_Name;
3698 if Prefix'Length > 0 then
3700 PATH : constant String :=
3701 Prefix & Directory_Separator & "bin" & Path_Separator
3702 & Getenv ("PATH").all;
3704 Setenv ("PATH", PATH);
3708 for Index in reverse Command'Range loop
3709 if Command (Index) = Directory_Separator then
3711 Absolute_Dir : constant String :=
3713 (Command (Command'First .. Index));
3714 PATH : constant String :=
3717 Getenv ("PATH").all;
3719 Setenv ("PATH", PATH);
3728 -- Scan the switches and arguments
3730 -- First, scan to detect --version and/or --help
3732 Check_Version_And_Help ("GNATMAKE", "1995");
3734 -- Scan again the switch and arguments, now that we are sure that they
3735 -- do not include --version or --help.
3737 -- First, check for switch -P and, if found and gprbuild is available,
3738 -- silently invoke gprbuild, with switch --target if not on a native
3742 Arg_Len : Natural := Argument_Count;
3743 Call_Gprbuild : Boolean := False;
3744 Gprbuild : String_Access := null;
3747 Target : String_Access := null;
3749 In_Gnatmake_Switches : Boolean := True;
3750 -- Set to False after -cargs, -bargs, or -largs, to avoid detecting
3751 -- -P switches that are not for gnatmake.
3757 and then Name_Buffer (Name_Len - 7 .. Name_Len) = "gnatmake"
3759 if Name_Len > 9 then
3760 Target := new String'(Name_Buffer
(1 .. Name_Len
- 9));
3761 Arg_Len
:= Arg_Len
+ 1;
3764 for J
in 1 .. Argument_Count
loop
3766 Arg
: constant String := Argument
(J
);
3768 if Arg
= "-cargs" or Arg
= "-bargs" or Arg
= "-largs" then
3769 In_Gnatmake_Switches
:= False;
3771 elsif Arg
= "-margs" then
3772 In_Gnatmake_Switches
:= True;
3774 elsif In_Gnatmake_Switches
3775 and then Arg
'Length >= 2
3776 and then Arg
(Arg
'First .. Arg
'First + 1) = "-P"
3778 Call_Gprbuild
:= True;
3784 if Call_Gprbuild
then
3785 Gprbuild
:= Locate_Exec_On_Path
(Exec_Name
=> "gprbuild");
3787 if Gprbuild
= null then
3789 ("project files are no longer supported by gnatmake;" &
3790 " use gprbuild instead");
3794 Args
: Argument_List
(1 .. Arg_Len
);
3796 if Target
/= null then
3797 Args
(1) := new String'("--target=" & Target.all);
3801 for J in 1 .. Argument_Count loop
3803 Args (Pos) := new String'(Argument
(J
));
3806 Spawn
(Gprbuild
.all, Args
, Success
);
3811 Exit_Program
(E_Success
);
3813 Exit_Program
(E_Errors
);
3820 Scan_Args
: for Next_Arg
in 1 .. Argument_Count
loop
3821 Scan_Make_Arg
(Argument
(Next_Arg
));
3825 Do_Compile_Step
:= Compile_Only
;
3826 Do_Bind_Step
:= Bind_Only
;
3827 Do_Link_Step
:= Link_Only
;
3829 if Do_Compile_Step
and then Do_Link_Step
then
3830 Do_Bind_Step
:= True;
3834 if N_M_Switch
> 0 and RTS_Specified
= null then
3838 if Commands_To_Stdout
then
3839 Set_Standard_Output
;
3842 if Usage_Requested
then
3846 -- Test for trailing -P switch
3848 if Project_File_Name_Present
and then Project_File_Name
= null then
3849 Make_Failed
("project file name missing after -P");
3851 -- Test for trailing -o switch
3853 elsif Output_File_Name_Present
and then not Output_File_Name_Seen
then
3854 Make_Failed
("output file name missing after -o");
3856 -- Test for trailing -D switch
3858 elsif Object_Directory_Present
and then not Object_Directory_Seen
then
3859 Make_Failed
("object directory missing after -D");
3862 -- Test for simultaneity of -i and -D
3864 if Object_Directory_Path
/= null and then In_Place_Mode
then
3865 Make_Failed
("-i and -D cannot be used simultaneously");
3868 -- If --subdirs= is specified, but not -P, this is equivalent to -D,
3869 -- except that the directory is created if it does not exist.
3871 if Subdirs
/= null then
3872 if Object_Directory_Path
/= null then
3873 Make_Failed
("--subdirs and -D cannot be used simultaneously");
3875 elsif In_Place_Mode
then
3876 Make_Failed
("--subdirs and -i cannot be used simultaneously");
3879 if not Is_Directory
(Subdirs
.all) then
3881 Ada
.Directories
.Create_Path
(Subdirs
.all);
3884 Make_Failed
("unable to create object directory " &
3889 Object_Directory_Present
:= True;
3892 Argv
: constant String (1 .. Subdirs
'Length) :=
3895 Scan_Make_Arg
(Argv
);
3900 -- Deal with -C= switch
3902 if Gnatmake_Mapping_File
/= null then
3904 -- First, check compatibility with other switches
3906 if Maximum_Processes
> 1 then
3907 Make_Failed
("-C= switch is not compatible with -jnnn switch");
3910 Fmap
.Initialize
(Gnatmake_Mapping_File
.all);
3912 ("-gnatem=" & Gnatmake_Mapping_File
.all,
3916 Osint
.Add_Default_Search_Dirs
;
3918 -- Source file lookups should be cached for efficiency. Source files
3919 -- are not supposed to change. However, we do that now only if no
3920 -- project file is used; if a project file is used, we do it just
3921 -- after changing the directory to the object directory.
3923 Osint
.Source_File_Data
(Cache
=> True);
3925 -- Read gnat.adc file to initialize Fname.UF
3927 Fname
.UF
.Initialize
;
3931 Fname
.SF
.Read_Source_File_Name_Pragmas
;
3934 when Err
: SFN_Scan
.Syntax_Error_In_GNAT_ADC
=>
3935 Make_Failed
(Exception_Message
(Err
));
3939 if Debug
.Debug_Flag_N
then
3940 Opt
.Keep_Temporary_Files
:= True;
3944 ---------------------
3945 -- Is_In_Obsoleted --
3946 ---------------------
3948 function Is_In_Obsoleted
(F
: File_Name_Type
) return Boolean is
3955 Name
: constant String := Get_Name_String
(F
);
3957 F2
: File_Name_Type
;
3961 while First
> Name
'First
3962 and then not Is_Directory_Separator
(Name
(First
- 1))
3967 if First
/= Name
'First then
3969 Add_Str_To_Name_Buffer
(Name
(First
.. Name
'Last));
3976 return Obsoleted
.Get
(F2
);
3979 end Is_In_Obsoleted
;
3986 (ALI_File
: File_Name_Type
;
3987 Args
: Argument_List
;
3988 Success
: out Boolean)
3990 Link_Args
: Argument_List
(1 .. Args
'Length + 1);
3993 Get_Name_String
(ALI_File
);
3994 Link_Args
(1) := new String'(Name_Buffer (1 .. Name_Len));
3996 Link_Args (2 .. Args'Length + 1) := Args;
3998 GNAT.OS_Lib.Normalize_Arguments (Link_Args);
4000 Display (Gnatlink.all, Link_Args);
4002 if Gnatlink_Path = null then
4003 Make_Failed ("error, unable to locate " & Gnatlink.all);
4006 GNAT.OS_Lib.Spawn (Gnatlink_Path.all, Link_Args, Success);
4009 ---------------------------
4010 -- List_Bad_Compilations --
4011 ---------------------------
4013 procedure List_Bad_Compilations is
4015 if not No_Exit_Message then
4016 for J in Bad_Compilation.First .. Bad_Compilation.Last loop
4017 if Bad_Compilation.Table (J).File = No_File then
4019 elsif not Bad_Compilation.Table (J).Found then
4020 Inform (Bad_Compilation.Table (J).File, "not found");
4022 Inform (Bad_Compilation.Table (J).File, "compilation error");
4026 end List_Bad_Compilations;
4032 procedure List_Depend is
4033 Lib_Name : File_Name_Type;
4034 Obj_Name : File_Name_Type;
4035 Src_Name : File_Name_Type;
4039 Line_Size : constant := 77;
4042 Set_Standard_Output;
4044 for A in ALIs.First .. ALIs.Last loop
4045 Lib_Name := ALIs.Table (A).Afile;
4047 -- We have to provide the full library file name in In_Place_Mode
4049 if In_Place_Mode then
4050 Lib_Name := Full_Lib_File_Name (Lib_Name);
4053 Obj_Name := Object_File_Name (Lib_Name);
4054 Write_Name (Obj_Name);
4057 Get_Name_String (Obj_Name);
4059 Line_Pos := Len + 2;
4061 for D in ALIs.Table (A).First_Sdep .. ALIs.Table (A).Last_Sdep loop
4062 Src_Name := Sdep.Table (D).Sfile;
4064 if Is_Internal_File_Name (Src_Name)
4065 and then not Check_Readonly_Files
4069 if not Quiet_Output then
4070 Src_Name := Full_Source_Name (Src_Name);
4073 Get_Name_String (Src_Name);
4076 if Line_Pos + Len + 1 > Line_Size then
4082 Line_Pos := Line_Pos + Len + 1;
4085 Write_Name (Src_Name);
4092 if not Commands_To_Stdout then
4101 procedure Make_Failed (S : String) is
4106 --------------------
4107 -- Mark_Directory --
4108 --------------------
4110 procedure Mark_Directory (Dir : String; Mark : Lib_Mark_Type) is
4114 Real_Path : constant String := Normalize_Pathname (Dir, "");
4119 if Real_Path'Length = 0 then
4120 Add_Str_To_Name_Buffer (Dir);
4123 Add_Str_To_Name_Buffer (Real_Path);
4126 -- Last character is supposed to be a directory separator
4128 if not Is_Directory_Separator (Name_Buffer (Name_Len)) then
4129 Add_Char_To_Name_Buffer (Directory_Separator);
4132 -- Add flags to the already existing flags
4135 B := Get_Name_Table_Byte (N);
4136 Set_Name_Table_Byte (N, B or Mark);
4139 ----------------------
4140 -- Process_Multilib --
4141 ----------------------
4143 procedure Process_Multilib is
4144 Output_FD : File_Descriptor;
4145 Output_Name : String_Access;
4146 Arg_Index : Natural := 0;
4147 Success : Boolean := False;
4148 Return_Code : Integer := 0;
4149 Multilib_Gcc_Path : String_Access;
4150 Multilib_Gcc : String_Access;
4151 N_Read : Integer := 0;
4152 Line : String (1 .. 1000);
4153 Args : Argument_List (1 .. N_M_Switch + 1);
4156 pragma Assert (N_M_Switch > 0 and RTS_Specified = null);
4158 -- In case we detected a multilib switch and the user has not
4159 -- manually specified a specific RTS we emulate the following command:
4160 -- gnatmake $FLAGS --RTS=$(gcc -print-multi-directory $FLAGS)
4162 -- First select the flags which might have an impact on multilib
4163 -- processing. Note that this is an heuristic selection and it
4164 -- will need to be maintained over time. The condition has to
4165 -- be kept synchronized with N_M_Switch counting in Scan_Make_Arg.
4167 for Next_Arg in 1 .. Argument_Count loop
4169 Argv : constant String := Argument (Next_Arg);
4173 and then Argv (1) = '-'
4174 and then Argv (2) = 'm
'
4175 and then Argv /= "-margs"
4177 -- Ignore -mieee to avoid spawning an extra gcc in this case
4179 and then Argv /= "-mieee"
4181 Arg_Index := Arg_Index + 1;
4182 Args (Arg_Index) := new String'(Argv
);
4187 pragma Assert
(Arg_Index
= N_M_Switch
);
4189 Args
(Args
'Last) := new String'("-print-multi-directory");
4191 -- Call the GCC driver with the collected flags and save its
4192 -- output. Alternate design would be to link in gnatmake the
4193 -- relevant part of the GCC driver.
4195 Multilib_Gcc := Gcc;
4197 Multilib_Gcc_Path := GNAT.OS_Lib.Locate_Exec_On_Path (Multilib_Gcc.all);
4199 Create_Temp_Output_File (Output_FD, Output_Name);
4201 if Output_FD = Invalid_FD then
4206 (Multilib_Gcc_Path.all, Args, Output_FD, Return_Code, False);
4209 if Return_Code /= 0 then
4213 -- Parse the GCC driver output which is a single line, removing CR/LF
4215 Output_FD := Open_Read (Output_Name.all, Binary);
4217 if Output_FD = Invalid_FD then
4221 N_Read := Read (Output_FD, Line (1)'Address, Line'Length);
4223 Delete_File (Output_Name.all, Success);
4225 for J in reverse 1 .. N_Read loop
4226 if Line (J) = ASCII.CR or else Line (J) = ASCII.LF then
4227 N_Read := N_Read - 1;
4233 -- In case the standard RTS is selected do nothing
4235 if N_Read = 0 or else Line (1 .. N_Read) = "." then
4239 -- Otherwise add -margs --RTS=output
4241 Scan_Make_Arg ("-margs");
4242 Scan_Make_Arg ("--RTS=" & Line (1 .. N_Read));
4243 end Process_Multilib;
4245 -------------------------------
4246 -- Report_Compilation_Failed --
4247 -------------------------------
4249 procedure Report_Compilation_Failed is
4252 end Report_Compilation_Failed;
4254 ------------------------
4255 -- Sigint_Intercepted --
4256 ------------------------
4258 procedure Sigint_Intercepted is
4261 Write_Line ("*** Interrupted ***");
4263 -- Send SIGINT to all outstanding compilation processes spawned
4265 for J in 1 .. Outstanding_Compiles loop
4266 Kill (Running_Compile (J).Pid, Hard_Kill => False);
4269 Finish_Program (E_No_Compile);
4270 end Sigint_Intercepted;
4276 procedure Scan_Make_Arg (Argv : String) is
4280 Gnatmake_Switch_Found := True;
4282 pragma Assert (Argv'First = 1);
4284 if Argv'Length = 0 then
4288 -- If the previous switch has set the Output_File_Name_Present flag
4289 -- (that is we have seen a -o), then the next argument is the name of
4290 -- the output executable.
4292 if Output_File_Name_Present and then not Output_File_Name_Seen then
4293 Output_File_Name_Seen := True;
4295 if Argv (1) = '-' then
4296 Make_Failed ("output file name missing after -o");
4299 Add_Switch ("-o", Linker);
4300 Add_Switch (Executable_Name (Argv), Linker);
4303 -- If the previous switch has set the Object_Directory_Present flag
4304 -- (that is we have seen a -D), then the next argument is the path name
4305 -- of the object directory.
4307 elsif Object_Directory_Present
4308 and then not Object_Directory_Seen
4310 Object_Directory_Seen := True;
4312 if Argv (1) = '-' then
4313 Make_Failed ("object directory path name missing after -D");
4315 elsif not Is_Directory (Argv) then
4316 Make_Failed ("cannot find object directory """ & Argv & """");
4319 -- Record the object directory. Make sure it ends with a directory
4323 Norm : constant String := Normalize_Pathname (Argv);
4326 if Norm (Norm'Last) = Directory_Separator then
4327 Object_Directory_Path := new String'(Norm
);
4329 Object_Directory_Path
:=
4330 new String'(Norm & Directory_Separator);
4333 Add_Lib_Search_Dir (Norm);
4335 -- Specify the object directory to the binder
4337 Add_Switch ("-aO" & Norm, Binder);
4342 -- Then check if we are dealing with -cargs/-bargs/-largs/-margs. These
4343 -- options are taken as is when found in package Compiler, Binder or
4344 -- Linker of the main project file.
4346 elsif Argv = "-bargs" or else
4347 Argv = "-cargs" or else
4348 Argv = "-largs" or else
4352 when 'c
' => Program_Args := Compiler;
4353 when 'b
' => Program_Args := Binder;
4354 when 'l
' => Program_Args := Linker;
4355 when 'm
' => Program_Args := None;
4358 raise Program_Error;
4361 -- A special test is needed for the -o switch within a -largs since that
4362 -- is another way to specify the name of the final executable.
4364 elsif Program_Args = Linker and then Argv = "-o" then
4366 ("switch -o not allowed within a -largs. Use -o directly.");
4368 -- Check to see if we are reading switches after a -cargs, -bargs or
4369 -- -largs switch. If so, save it.
4371 elsif Program_Args /= None then
4373 -- Check to see if we are reading -I switches in order to take into
4374 -- account in the src & lib search directories.
4376 if Argv'Length > 2 and then Argv (1 .. 2) = "-I" then
4377 if Argv (3 .. Argv'Last) = "-" then
4378 Look_In_Primary_Dir := False;
4380 elsif Program_Args = Compiler then
4381 Add_Source_Search_Dir (Argv (3 .. Argv'Last));
4383 elsif Program_Args = Binder then
4384 Add_Library_Search_Dir (Argv (3 .. Argv'Last));
4388 Add_Switch (Argv, Program_Args);
4390 -- Make sure that all significant switches -m on the command line
4394 and then Argv (1 .. 2) = "-m"
4395 and then Argv /= "-mieee"
4397 N_M_Switch := N_M_Switch + 1;
4400 -- Handle non-default compiler, binder, linker, and handle --RTS switch
4402 elsif Argv'Length > 2 and then Argv (1 .. 2) = "--" then
4404 and then Argv (1 .. 6) = "--GCC="
4407 Program_Args : constant Argument_List_Access :=
4408 Argument_String_To_List
4409 (Argv (7 .. Argv'Last));
4412 Gcc := new String'(Program_Args
.all (1).all);
4414 for J
in 2 .. Program_Args
.all'Last loop
4416 (Program_Args
.all (J
).all, Compiler
);
4420 elsif Argv
'Length > 11
4421 and then Argv
(1 .. 11) = "--GNATBIND="
4424 Program_Args
: constant Argument_List_Access
:=
4425 Argument_String_To_List
4426 (Argv
(12 .. Argv
'Last));
4429 Gnatbind
:= new String'(Program_Args.all (1).all);
4431 for J in 2 .. Program_Args.all'Last loop
4433 (Program_Args.all (J).all, Binder);
4437 elsif Argv'Length > 11
4438 and then Argv (1 .. 11) = "--GNATLINK="
4441 Program_Args : constant Argument_List_Access :=
4442 Argument_String_To_List
4443 (Argv (12 .. Argv'Last));
4445 Gnatlink := new String'(Program_Args
.all (1).all);
4447 for J
in 2 .. Program_Args
.all'Last loop
4448 Add_Switch
(Program_Args
.all (J
).all, Linker
);
4452 elsif Argv
'Length >= 5 and then
4453 Argv
(1 .. 5) = "--RTS"
4455 Add_Switch
(Argv
, Compiler
);
4456 Add_Switch
(Argv
, Binder
);
4458 if Argv
'Length <= 6 or else Argv
(6) /= '=' then
4459 Make_Failed
("missing path for --RTS");
4462 -- Check that this is the first time we see this switch or
4463 -- if it is not the first time, the same path is specified.
4465 if RTS_Specified
= null then
4466 RTS_Specified
:= new String'(Argv (7 .. Argv'Last));
4468 elsif RTS_Specified.all /= Argv (7 .. Argv'Last) then
4469 Make_Failed ("--RTS cannot be specified multiple times");
4472 -- Valid --RTS switch
4479 Src_Path_Name : constant String_Ptr :=
4481 (Argv (7 .. Argv'Last), Include);
4483 Lib_Path_Name : constant String_Ptr :=
4485 (Argv (7 .. Argv'Last), Objects);
4488 if Src_Path_Name /= null
4489 and then Lib_Path_Name /= null
4491 -- Set RTS_*_Path_Name variables, so that correct direct-
4492 -- ories will be set when Osint.Add_Default_Search_Dirs
4495 RTS_Src_Path_Name := Src_Path_Name;
4496 RTS_Lib_Path_Name := Lib_Path_Name;
4498 elsif Src_Path_Name = null
4499 and then Lib_Path_Name = null
4502 ("RTS path not valid: missing adainclude and adalib "
4505 elsif Src_Path_Name = null then
4507 ("RTS path not valid: missing adainclude directory");
4509 elsif Lib_Path_Name = null then
4511 ("RTS path not valid: missing adalib directory");
4516 elsif (Argv'Length >= 8 and then Argv (1 .. 8) = "--param=")
4517 or else (Argv'Length >= 10 and then Argv (1 .. 10) = "--sysroot=")
4519 Add_Switch (Argv, Compiler);
4520 Add_Switch (Argv, Linker);
4522 elsif Argv = Create_Map_File_Switch then
4523 Map_File := new String'("");
4525 elsif Argv
'Length > Create_Map_File_Switch
'Length + 1
4527 Argv
(1 .. Create_Map_File_Switch
'Length) = Create_Map_File_Switch
4529 Argv
(Create_Map_File_Switch
'Length + 1) = '='
4533 (Argv (Create_Map_File_Switch'Length + 2 .. Argv'Last));
4536 Scan_Make_Switches (Argv, Success);
4539 -- If we have seen a regular switch process it
4541 elsif Argv (1) = '-' then
4542 if Argv'Length = 1 then
4543 Make_Failed ("switch character cannot be followed by a blank");
4545 -- Incorrect switches that should start with "--"
4547 elsif (Argv'Length > 5 and then Argv (1 .. 5) = "-RTS=")
4548 or else (Argv'Length > 5 and then Argv (1 .. 5) = "-GCC=")
4549 or else (Argv'Length > 8 and then Argv (1 .. 7) = "-param=")
4550 or else (Argv'Length > 10 and then Argv (1 .. 10) = "-GNATLINK=")
4551 or else (Argv'Length > 10 and then Argv (1 .. 10) = "-GNATBIND=")
4553 Make_Failed ("option " & Argv & " should start with '--'");
4557 elsif Argv
(2 .. Argv
'Last) = "I-" then
4558 Look_In_Primary_Dir
:= False;
4560 -- Forbid -?- or -??- where ? is any character
4562 elsif (Argv
'Length = 3 and then Argv
(3) = '-')
4563 or else (Argv
'Length = 4 and then Argv
(4) = '-')
4566 ("trailing ""-"" at the end of " & Argv
& " forbidden.");
4570 elsif Argv
(2) = 'I' then
4571 Add_Source_Search_Dir
(Argv
(3 .. Argv
'Last));
4572 Add_Library_Search_Dir
(Argv
(3 .. Argv
'Last));
4573 Add_Switch
(Argv
, Compiler
);
4574 Add_Switch
(Argv
, Binder
);
4576 -- -aIdir (to gcc this is like a -I switch)
4578 elsif Argv
'Length >= 3 and then Argv
(2 .. 3) = "aI" then
4579 Add_Source_Search_Dir
(Argv
(4 .. Argv
'Last));
4581 ("-I" & Argv
(4 .. Argv
'Last), Compiler
);
4582 Add_Switch
(Argv
, Binder
);
4586 elsif Argv
'Length >= 3 and then Argv
(2 .. 3) = "aO" then
4587 Add_Library_Search_Dir
(Argv
(4 .. Argv
'Last));
4588 Add_Switch
(Argv
, Binder
);
4590 -- -aLdir (to gnatbind this is like a -aO switch)
4592 elsif Argv
'Length >= 3 and then Argv
(2 .. 3) = "aL" then
4593 Mark_Directory
(Argv
(4 .. Argv
'Last), Ada_Lib_Dir
);
4594 Add_Library_Search_Dir
(Argv
(4 .. Argv
'Last));
4596 ("-aO" & Argv
(4 .. Argv
'Last), Binder
);
4598 -- -Adir (to gnatbind this is like a -aO switch, to gcc like a -I)
4600 elsif Argv
(2) = 'A' then
4601 Mark_Directory
(Argv
(3 .. Argv
'Last), Ada_Lib_Dir
);
4602 Add_Source_Search_Dir
(Argv
(3 .. Argv
'Last));
4603 Add_Library_Search_Dir
(Argv
(3 .. Argv
'Last));
4604 Add_Switch
("-I" & Argv
(3 .. Argv
'Last), Compiler
);
4605 Add_Switch
("-aO" & Argv
(3 .. Argv
'Last), Binder
);
4609 elsif Argv
(2) = 'L' then
4610 Add_Switch
(Argv
, Linker
);
4612 -- For -gxxx, -pg, -mxxx, -fxxx, -Oxxx, pass the switch to both the
4613 -- compiler and the linker (except for -gnatxxx which is only for the
4614 -- compiler). Some of the -mxxx (for example -m64) and -fxxx (for
4615 -- example -ftest-coverage for gcov) need to be used when compiling
4616 -- the binder generated files, and using all these gcc switches for
4617 -- them should not be a problem. Pass -Oxxx to the linker for LTO.
4620 (Argv
(2) = 'g' and then (Argv
'Last < 5
4621 or else Argv
(2 .. 5) /= "gnat"))
4622 or else Argv
(2 .. Argv
'Last) = "pg"
4623 or else (Argv
(2) = 'm' and then Argv
'Last > 2)
4624 or else (Argv
(2) = 'f' and then Argv
'Last > 2)
4625 or else Argv
(2) = 'O'
4627 Add_Switch
(Argv
, Compiler
);
4628 Add_Switch
(Argv
, Linker
);
4630 -- The following condition has to be kept synchronized with
4631 -- the Process_Multilib one.
4634 and then Argv
/= "-mieee"
4636 N_M_Switch
:= N_M_Switch
+ 1;
4639 -- -C=<mapping file>
4641 elsif Argv
'Last > 2 and then Argv
(2) = 'C' then
4642 if Argv
(3) /= '=' or else Argv
'Last <= 3 then
4643 Make_Failed
("illegal switch " & Argv
);
4646 Gnatmake_Mapping_File
:= new String'(Argv (4 .. Argv'Last));
4650 elsif Argv'Last = 2 and then Argv (2) = 'D
' then
4651 if Project_File_Name /= null then
4653 ("-D cannot be used in conjunction with a project file");
4656 Scan_Make_Switches (Argv, Success);
4661 elsif Argv (2) = 'd
' and then Argv'Last = 2 then
4662 Display_Compilation_Progress := True;
4666 elsif Argv'Last = 2 and then Argv (2) = 'i
' then
4667 if Project_File_Name /= null then
4669 ("-i cannot be used in conjunction with a project file");
4671 Scan_Make_Switches (Argv, Success);
4674 -- -j (need to save the result)
4676 elsif Argv (2) = 'j
' then
4677 Scan_Make_Switches (Argv, Success);
4681 elsif Argv (2) = 'm
' then
4682 pragma Assert (Argv'Last = 2);
4683 Minimal_Recompilation := True;
4685 -- -u and -U (they are differentiated elsewhere)
4687 elsif Argv (2) in 'u
' | 'U
' and then Argv'Last = 2 then
4688 Unique_Compile := True;
4689 Compile_Only := True;
4690 Do_Bind_Step := False;
4691 Do_Link_Step := False;
4693 -- -Pprj or -P prj (only once, and only on the command line)
4695 elsif Argv (2) = 'P
' then
4696 if Project_File_Name /= null then
4697 Make_Failed ("cannot have several project files specified");
4699 elsif Object_Directory_Path /= null then
4701 ("-D cannot be used in conjunction with a project file");
4703 elsif In_Place_Mode then
4705 ("-i cannot be used in conjunction with a project file");
4707 elsif Argv'Last = 2 then
4709 -- -P is used alone: the project file name is the next option
4711 Project_File_Name_Present := True;
4714 Project_File_Name := new String'(Argv
(3 .. Argv
'Last));
4717 -- -vPx (verbosity of the parsing of the project files)
4719 elsif Argv
'Length >= 3 and then Argv
(2 .. 3) = "vP" then
4720 if Argv
'Last /= 4 or else Argv
(4) not in '0' .. '2' then
4722 ("invalid verbosity level " & Argv
(4 .. Argv
'Last));
4725 -- -Xext=val (External assignment)
4727 elsif Argv
(2) = 'X' then
4730 -- If -gnath is present, then generate the usage information right
4731 -- now and do not pass this option on to the compiler calls.
4733 elsif Argv
= "-gnath" then
4736 -- If -gnatc is specified, make sure the bind and link steps are not
4739 elsif Argv
'Length >= 6 and then Argv
(2 .. 6) = "gnatc" then
4741 -- If -gnatc is specified, make sure the bind and link steps are
4744 Add_Switch
(Argv
, Compiler
);
4745 Operating_Mode
:= Check_Semantics
;
4746 Check_Object_Consistency
:= False;
4748 -- Except in CodePeer mode (set by -gnatcC), where we do want to
4749 -- call bind/link in CodePeer mode (-P switch).
4751 if Argv
'Last >= 7 and then Argv
(7) = 'C' then
4752 CodePeer_Mode
:= True;
4754 Compile_Only
:= True;
4755 Do_Bind_Step
:= False;
4756 Do_Link_Step
:= False;
4759 -- If -gnatA is specified, make sure that gnat.adc is never read
4761 elsif Argv
'Length >= 6 and then Argv
(2 .. 6) = "gnatA" then
4762 Add_Switch
(Argv
, Compiler
);
4763 Opt
.Config_File
:= False;
4765 elsif Argv
(2 .. Argv
'Last) = "nostdlib" then
4767 -- Pass -nstdlib to gnatbind and gnatlink
4770 Add_Switch
(Argv
, Binder
);
4771 Add_Switch
(Argv
, Linker
);
4773 elsif Argv
(2 .. Argv
'Last) = "nostdinc" then
4775 -- Pass -nostdinc to the Compiler and to gnatbind
4778 Add_Switch
(Argv
, Compiler
);
4779 Add_Switch
(Argv
, Binder
);
4781 -- All other switches are processed by Scan_Make_Switches. If the
4782 -- call returns with Gnatmake_Switch_Found = False, then the switch
4783 -- is passed to the compiler.
4786 Scan_Make_Switches
(Argv
, Gnatmake_Switch_Found
);
4788 if not Gnatmake_Switch_Found
then
4789 Add_Switch
(Argv
, Compiler
);
4793 -- If not a switch it must be a file name
4796 Main_On_Command_Line
:= True;
4799 Mains
.Add_Main
(Argv
);
4809 if Usage_Needed
then
4810 Usage_Needed
:= False;