projects / gcc.git / blob
? search:


449b038e475a2e2f4672f1144487ee02839c0e8e
[gcc.git] / gcc / ada / prj.ads
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- P R J --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 2001-2012, Free Software Foundation, Inc. --
10 -- --
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. --
20 -- --
21 -- GNAT was originally developed by the GNAT team at New York University. --
22 -- Extensive contributions were provided by Ada Core Technologies Inc. --
23 -- --
24 ------------------------------------------------------------------------------
25
26 -- The following package declares the data types for GNAT project.
27 -- These data types may be used by GNAT Project-aware tools.
28
29 -- Children of these package implements various services on these data types.
30 -- See in particular Prj.Pars and Prj.Env.
31
32 with Casing; use Casing;
33 with Namet; use Namet;
34 with Osint;
35 with Scans; use Scans;
36 with Types; use Types;
37
38 with GNAT.Dynamic_HTables; use GNAT.Dynamic_HTables;
39 with GNAT.Dynamic_Tables;
40 with GNAT.OS_Lib; use GNAT.OS_Lib;
41
42 package Prj is
43
44 procedure Add_Restricted_Language (Name : String);
45 -- Call by gprbuild for each language specify by switch
46 -- --restricted-to-languages=.
47
48 function Is_Allowed_Language (Name : Name_Id) return Boolean;
49 -- Returns True if --restricted-to-languages= is not used or if Name
50 -- is one of the restricted languages.
51
52 All_Other_Names : constant Name_Id := Names_High_Bound;
53 -- Name used to replace others as an index of an associative array
54 -- attribute in situations where this is allowed.
55
56 Subdirs : String_Ptr := null;
57 -- The value after the equal sign in switch --subdirs=...
58 -- Contains the relative subdirectory.
59
60 type Library_Support is (None, Static_Only, Full);
61 -- Support for Library Project File.
62 -- - None: Library Project Files are not supported at all
63 -- - Static_Only: Library Project Files are only supported for static
64 -- libraries.
65 -- - Full: Library Project Files are supported for static and dynamic
66 -- (shared) libraries.
67
68 type Yes_No_Unknown is (Yes, No, Unknown);
69 -- Tri-state to decide if -lgnarl is needed when linking
70
71 pragma Warnings (Off);
72 type Project_Qualifier is
73 (Unspecified,
74
75 -- The following clash with Standard is OK, and justified by the context
76 -- which really wants to use the same set of qualifiers.
77
78 Standard,
79
80 Library,
81 Configuration,
82 Dry,
83 Aggregate,
84 Aggregate_Library);
85 pragma Warnings (On);
86 -- Qualifiers that can prefix the reserved word "project" in a project
87 -- file:
88 -- Standard: standard project ...
89 -- Library: library project is ...
90 -- Dry: abstract project is
91 -- Aggregate: aggregate project is
92 -- Aggregate_Library: aggregate library project is ...
93 -- Configuration: configuration project is ...
94
95 subtype Aggregate_Project is
96 Project_Qualifier range Aggregate .. Aggregate_Library;
97
98 All_Packages : constant String_List_Access;
99 -- Default value of parameter Packages of procedures Parse, in Prj.Pars and
100 -- Prj.Part, indicating that all packages should be checked.
101
102 type Project_Tree_Data;
103 type Project_Tree_Ref is access all Project_Tree_Data;
104 -- Reference to a project tree. Several project trees may exist in memory
105 -- at the same time.
106
107 No_Project_Tree : constant Project_Tree_Ref;
108
109 procedure Free (Tree : in out Project_Tree_Ref);
110 -- Free memory associated with the tree
111
112 Config_Project_File_Extension : String := ".cgpr";
113 Project_File_Extension : String := ".gpr";
114 -- The standard config and user project file name extensions. They are not
115 -- constants, because Canonical_Case_File_Name is called on these variables
116 -- in the body of Prj.
117
118 function Empty_File return File_Name_Type;
119 function Empty_String return Name_Id;
120 -- Return the id for an empty string ""
121
122 type Path_Information is record
123 Name : Path_Name_Type := No_Path;
124 Display_Name : Path_Name_Type := No_Path;
125 end record;
126 -- Directory names always end with a directory separator
127
128 No_Path_Information : constant Path_Information := (No_Path, No_Path);
129
130 type Project_Data;
131 type Project_Id is access all Project_Data;
132 No_Project : constant Project_Id := null;
133 -- Id of a Project File
134
135 type String_List_Id is new Nat;
136 Nil_String : constant String_List_Id := 0;
137 type String_Element is record
138 Value : Name_Id := No_Name;
139 Index : Int := 0;
140 Display_Value : Name_Id := No_Name;
141 Location : Source_Ptr := No_Location;
142 Flag : Boolean := False;
143 Next : String_List_Id := Nil_String;
144 end record;
145 -- To hold values for string list variables and array elements.
146 -- Component Flag may be used for various purposes. For source
147 -- directories, it indicates if the directory contains Ada source(s).
148
149 package String_Element_Table is new GNAT.Dynamic_Tables
150 (Table_Component_Type => String_Element,
151 Table_Index_Type => String_List_Id,
152 Table_Low_Bound => 1,
153 Table_Initial => 200,
154 Table_Increment => 100);
155 -- The table for string elements in string lists
156
157 type Variable_Kind is (Undefined, List, Single);
158 -- Different kinds of variables
159
160 subtype Defined_Variable_Kind is Variable_Kind range List .. Single;
161 -- The defined kinds of variables
162
163 Ignored : constant Variable_Kind;
164 -- Used to indicate that a package declaration must be ignored
165 -- while processing the project tree (unknown package name).
166
167 type Variable_Value (Kind : Variable_Kind := Undefined) is record
168 Project : Project_Id := No_Project;
169 Location : Source_Ptr := No_Location;
170 Default : Boolean := False;
171 case Kind is
172 when Undefined =>
173 null;
174 when List =>
175 Values : String_List_Id := Nil_String;
176 when Single =>
177 Value : Name_Id := No_Name;
178 Index : Int := 0;
179 end case;
180 end record;
181 -- Values for variables and array elements. Default is True if the
182 -- current value is the default one for the variable.
183
184 Nil_Variable_Value : constant Variable_Value;
185 -- Value of a non existing variable or array element
186
187 type Variable_Id is new Nat;
188 No_Variable : constant Variable_Id := 0;
189 type Variable is record
190 Next : Variable_Id := No_Variable;
191 Name : Name_Id;
192 Value : Variable_Value;
193 end record;
194 -- To hold the list of variables in a project file and in packages
195
196 package Variable_Element_Table is new GNAT.Dynamic_Tables
197 (Table_Component_Type => Variable,
198 Table_Index_Type => Variable_Id,
199 Table_Low_Bound => 1,
200 Table_Initial => 200,
201 Table_Increment => 100);
202 -- The table of variable in list of variables
203
204 type Array_Element_Id is new Nat;
205 No_Array_Element : constant Array_Element_Id := 0;
206 type Array_Element is record
207 Index : Name_Id;
208 Restricted : Boolean := False;
209 Src_Index : Int := 0;
210 Index_Case_Sensitive : Boolean := True;
211 Value : Variable_Value;
212 Next : Array_Element_Id := No_Array_Element;
213 end record;
214 -- Each Array_Element represents an array element and is linked (Next)
215 -- to the next array element, if any, in the array.
216
217 package Array_Element_Table is new GNAT.Dynamic_Tables
218 (Table_Component_Type => Array_Element,
219 Table_Index_Type => Array_Element_Id,
220 Table_Low_Bound => 1,
221 Table_Initial => 200,
222 Table_Increment => 100);
223 -- The table that contains all array elements
224
225 type Array_Id is new Nat;
226 No_Array : constant Array_Id := 0;
227 type Array_Data is record
228 Name : Name_Id := No_Name;
229 Location : Source_Ptr := No_Location;
230 Value : Array_Element_Id := No_Array_Element;
231 Next : Array_Id := No_Array;
232 end record;
233 -- Each Array_Data value represents an array.
234 -- Value is the id of the first element.
235 -- Next is the id of the next array in the project file or package.
236
237 package Array_Table is new GNAT.Dynamic_Tables
238 (Table_Component_Type => Array_Data,
239 Table_Index_Type => Array_Id,
240 Table_Low_Bound => 1,
241 Table_Initial => 200,
242 Table_Increment => 100);
243 -- The table that contains all arrays
244
245 type Package_Id is new Nat;
246 No_Package : constant Package_Id := 0;
247 type Declarations is record
248 Variables : Variable_Id := No_Variable;
249 Attributes : Variable_Id := No_Variable;
250 Arrays : Array_Id := No_Array;
251 Packages : Package_Id := No_Package;
252 end record;
253 -- Contains the declarations (variables, single and array attributes,
254 -- packages) for a project or a package in a project.
255
256 No_Declarations : constant Declarations :=
257 (Variables => No_Variable,
258 Attributes => No_Variable,
259 Arrays => No_Array,
260 Packages => No_Package);
261 -- Default value of Declarations: indicates that there is no declarations
262
263 type Package_Element is record
264 Name : Name_Id := No_Name;
265 Decl : Declarations := No_Declarations;
266 Parent : Package_Id := No_Package;
267 Next : Package_Id := No_Package;
268 end record;
269 -- A package (includes declarations that may include other packages)
270
271 package Package_Table is new GNAT.Dynamic_Tables
272 (Table_Component_Type => Package_Element,
273 Table_Index_Type => Package_Id,
274 Table_Low_Bound => 1,
275 Table_Initial => 100,
276 Table_Increment => 100);
277 -- The table that contains all packages
278
279 type Language_Data;
280 type Language_Ptr is access all Language_Data;
281 -- Index of language data
282
283 No_Language_Index : constant Language_Ptr := null;
284 -- Constant indicating that there is no language data
285
286 function Get_Language_From_Name
287 (Project : Project_Id;
288 Name : String) return Language_Ptr;
289 -- Get a language from a project. This might return null if no such
290 -- language exists in the project
291
292 Max_Header_Num : constant := 6150;
293 type Header_Num is range 0 .. Max_Header_Num;
294 -- Size for hash table below. The upper bound is an arbitrary value, the
295 -- value here was chosen after testing to determine a good compromise
296 -- between speed of access and memory usage.
297
298 function Hash (Name : Name_Id) return Header_Num;
299 function Hash (Name : File_Name_Type) return Header_Num;
300 function Hash (Name : Path_Name_Type) return Header_Num;
301 function Hash (Project : Project_Id) return Header_Num;
302 -- Used for computing hash values for names put into hash tables
303
304 type Language_Kind is (File_Based, Unit_Based);
305 -- Type for the kind of language. All languages are file based, except Ada
306 -- which is unit based.
307
308 -- Type of dependency to be checked
309
310 type Dependency_File_Kind is
311 (None,
312 -- There is no dependency file, the source must always be recompiled
313
314 Makefile,
315 -- The dependency file is a Makefile fragment indicating all the files
316 -- the source depends on. If the object file or the dependency file is
317 -- more recent than any of these files, the source must be recompiled.
318
319 ALI_File,
320 -- The dependency file is an ALI file and the source must be recompiled
321 -- if the object or ALI file is more recent than any of the sources
322 -- listed in the D lines.
323
324 ALI_Closure);
325 -- The dependency file is an ALI file and the source must be recompiled
326 -- if the object or ALI file is more recent than any source in the full
327 -- closure.
328
329 Makefile_Dependency_Suffix : constant String := ".d";
330 ALI_Dependency_Suffix : constant String := ".ali";
331 Switches_Dependency_Suffix : constant String := ".cswi";
332
333 Binder_Exchange_Suffix : constant String := ".bexch";
334 -- Suffix for binder exchange files
335
336 Library_Exchange_Suffix : constant String := ".lexch";
337 -- Suffix for library exchange files
338
339 type Name_List_Index is new Nat;
340 No_Name_List : constant Name_List_Index := 0;
341
342 type Name_Node is record
343 Name : Name_Id := No_Name;
344 Next : Name_List_Index := No_Name_List;
345 end record;
346
347 package Name_List_Table is new GNAT.Dynamic_Tables
348 (Table_Component_Type => Name_Node,
349 Table_Index_Type => Name_List_Index,
350 Table_Low_Bound => 1,
351 Table_Initial => 10,
352 Table_Increment => 100);
353 -- The table for lists of names
354
355 function Length
356 (Table : Name_List_Table.Instance;
357 List : Name_List_Index) return Natural;
358 -- Return the number of elements in specified list
359
360 type Number_List_Index is new Nat;
361 No_Number_List : constant Number_List_Index := 0;
362
363 type Number_Node is record
364 Number : Natural := 0;
365 Next : Number_List_Index := No_Number_List;
366 end record;
367
368 package Number_List_Table is new GNAT.Dynamic_Tables
369 (Table_Component_Type => Number_Node,
370 Table_Index_Type => Number_List_Index,
371 Table_Low_Bound => 1,
372 Table_Initial => 10,
373 Table_Increment => 100);
374 -- The table for lists of numbers
375
376 package Mapping_Files_Htable is new Simple_HTable
377 (Header_Num => Header_Num,
378 Element => Path_Name_Type,
379 No_Element => No_Path,
380 Key => Path_Name_Type,
381 Hash => Hash,
382 Equal => "=");
383 -- A hash table to store the mapping files that are not used
384
385 -- The following record ???
386
387 type Lang_Naming_Data is record
388 Dot_Replacement : File_Name_Type := No_File;
389 -- The string to replace '.' in the source file name (for Ada)
390
391 Casing : Casing_Type := All_Lower_Case;
392 -- The casing of the source file name (for Ada)
393
394 Separate_Suffix : File_Name_Type := No_File;
395 -- String to append to unit name for source file name of an Ada subunit
396
397 Spec_Suffix : File_Name_Type := No_File;
398 -- The string to append to the unit name for the
399 -- source file name of a spec.
400
401 Body_Suffix : File_Name_Type := No_File;
402 -- The string to append to the unit name for the
403 -- source file name of a body.
404 end record;
405
406 No_Lang_Naming_Data : constant Lang_Naming_Data :=
407 (Dot_Replacement => No_File,
408 Casing => All_Lower_Case,
409 Separate_Suffix => No_File,
410 Spec_Suffix => No_File,
411 Body_Suffix => No_File);
412
413 function Is_Standard_GNAT_Naming (Naming : Lang_Naming_Data) return Boolean;
414 -- True if the naming scheme is GNAT's default naming scheme. This
415 -- is to take into account shortened names like "Ada." (a-), "System." (s-)
416 -- and so on.
417
418 type Source_Data;
419 type Source_Id is access all Source_Data;
420
421 function Is_Compilable (Source : Source_Id) return Boolean;
422 pragma Inline (Is_Compilable);
423 -- Return True if we know how to compile Source (i.e. if a compiler is
424 -- defined). This doesn't indicate whether the source should be compiled.
425
426 function Object_To_Global_Archive (Source : Source_Id) return Boolean;
427 pragma Inline (Object_To_Global_Archive);
428 -- Return True if the object file should be put in the global archive.
429 -- This is for Ada, when only the closure of a main needs to be
430 -- (re)compiled.
431
432 function Other_Part (Source : Source_Id) return Source_Id;
433 pragma Inline (Other_Part);
434 -- Source ID for the other part, if any: for a spec, indicates its body;
435 -- for a body, indicates its spec.
436
437 No_Source : constant Source_Id := null;
438
439 type Path_Syntax_Kind is
440 (Canonical,
441 -- Unix style
442 Host);
443 -- Host specific syntax, for example on VMS (the default)
444
445 -- The following record describes the configuration of a language
446
447 type Language_Config is record
448 Kind : Language_Kind := File_Based;
449 -- Kind of language. Most languages are file based. A few, such as Ada,
450 -- are unit based.
451
452 Naming_Data : Lang_Naming_Data;
453 -- The naming data for the languages (prefixes, etc.)
454
455 Include_Compatible_Languages : Name_List_Index := No_Name_List;
456 -- List of languages that are "include compatible" with this language. A
457 -- language B (for example "C") is "include compatible" with a language
458 -- A (for example "C++") if it is expected that sources of language A
459 -- may "include" header files from language B.
460
461 Compiler_Driver : File_Name_Type := No_File;
462 -- The name of the executable for the compiler of the language
463
464 Compiler_Driver_Path : String_Access := null;
465 -- The path name of the executable for the compiler of the language
466
467 Compiler_Leading_Required_Switches : Name_List_Index := No_Name_List;
468 -- The list of initial switches that are required as a minimum to invoke
469 -- the compiler driver.
470
471 Compiler_Trailing_Required_Switches : Name_List_Index := No_Name_List;
472 -- The list of final switches that are required as a minimum to invoke
473 -- the compiler driver.
474
475 Multi_Unit_Switches : Name_List_Index := No_Name_List;
476 -- The switch(es) to indicate the index of a unit in a multi-source file
477
478 Multi_Unit_Object_Separator : Character := ' ';
479 -- The string separating the base name of a source from the index of the
480 -- unit in a multi-source file, in the object file name.
481
482 Path_Syntax : Path_Syntax_Kind := Host;
483 -- Value may be Canonical (Unix style) or Host (host syntax, for example
484 -- on VMS for DEC C).
485
486 Source_File_Switches : Name_List_Index := No_Name_List;
487 -- Optional switches to be put before the source file. The source file
488 -- path name is appended to the last switch in the list.
489 -- Example: ("-i", "");
490
491 Object_File_Suffix : Name_Id := No_Name;
492 -- Optional alternate object file suffix
493
494 Object_File_Switches : Name_List_Index := No_Name_List;
495 -- Optional object file switches. When this is defined, the switches
496 -- are used to specify the object file. The object file name is appended
497 -- to the last switch in the list. Example: ("-o", "").
498
499 Object_Path_Switches : Name_List_Index := No_Name_List;
500 -- List of switches to specify to the compiler the path name of a
501 -- temporary file containing the list of object directories in the
502 -- correct order.
503
504 Compilation_PIC_Option : Name_List_Index := No_Name_List;
505 -- The option(s) to compile a source in Position Independent Code for
506 -- shared libraries. Specified in the configuration. When not specified,
507 -- there is no need for such switch.
508
509 Object_Generated : Boolean := True;
510 -- False in no object file is generated
511
512 Objects_Linked : Boolean := True;
513 -- False if object files are not use to link executables and build
514 -- libraries.
515
516 Runtime_Library_Dir : Name_Id := No_Name;
517 -- Path name of the runtime library directory, if any
518
519 Runtime_Source_Dir : Name_Id := No_Name;
520 -- Path name of the runtime source directory, if any
521
522 Mapping_File_Switches : Name_List_Index := No_Name_List;
523 -- The option(s) to provide a mapping file to the compiler. Specified in
524 -- the configuration. When value is No_Name_List, there is no mapping
525 -- file.
526
527 Mapping_Spec_Suffix : File_Name_Type := No_File;
528 -- Placeholder representing the spec suffix in a mapping file
529
530 Mapping_Body_Suffix : File_Name_Type := No_File;
531 -- Placeholder representing the body suffix in a mapping file
532
533 Config_File_Switches : Name_List_Index := No_Name_List;
534 -- The option(s) to provide a config file to the compiler. Specified in
535 -- the configuration. If value is No_Name_List there is no config file.
536
537 Dependency_Kind : Dependency_File_Kind := None;
538 -- The kind of dependency to be checked: none, Makefile fragment or
539 -- ALI file (for Ada).
540
541 Dependency_Option : Name_List_Index := No_Name_List;
542 -- The option(s) to be used to create the dependency file. When value is
543 -- No_Name_List, there is not such option(s).
544
545 Compute_Dependency : Name_List_Index := No_Name_List;
546 -- Hold the value of attribute Dependency_Driver, if declared for the
547 -- language.
548
549 Include_Option : Name_List_Index := No_Name_List;
550 -- Hold the value of attribute Include_Switches, if declared for the
551 -- language.
552
553 Include_Path : Name_Id := No_Name;
554 -- Name of environment variable declared by attribute Include_Path for
555 -- the language.
556
557 Include_Path_File : Name_Id := No_Name;
558 -- Name of environment variable declared by attribute Include_Path_File
559 -- for the language.
560
561 Objects_Path : Name_Id := No_Name;
562 -- Name of environment variable declared by attribute Objects_Path for
563 -- the language.
564
565 Objects_Path_File : Name_Id := No_Name;
566 -- Name of environment variable declared by attribute Objects_Path_File
567 -- for the language.
568
569 Config_Body : Name_Id := No_Name;
570 -- The template for a pragma Source_File_Name(_Project) for a specific
571 -- file name of a body.
572
573 Config_Body_Index : Name_Id := No_Name;
574 -- The template for a pragma Source_File_Name(_Project) for a specific
575 -- file name of a body in a multi-source file.
576
577 Config_Body_Pattern : Name_Id := No_Name;
578 -- The template for a pragma Source_File_Name(_Project) for a naming
579 -- body pattern.
580
581 Config_Spec : Name_Id := No_Name;
582 -- The template for a pragma Source_File_Name(_Project) for a specific
583 -- file name of a spec.
584
585 Config_Spec_Index : Name_Id := No_Name;
586 -- The template for a pragma Source_File_Name(_Project) for a specific
587 -- file name of a spec in a multi-source file.
588
589 Config_Spec_Pattern : Name_Id := No_Name;
590 -- The template for a pragma Source_File_Name(_Project) for a naming
591 -- spec pattern.
592
593 Config_File_Unique : Boolean := False;
594 -- Indicate if the config file specified to the compiler needs to be
595 -- unique. If it is unique, then all config files are concatenated into
596 -- a temp config file.
597
598 Binder_Driver : File_Name_Type := No_File;
599 -- The name of the binder driver for the language, if any
600
601 Binder_Driver_Path : Path_Name_Type := No_Path;
602 -- The path name of the binder driver
603
604 Binder_Required_Switches : Name_List_Index := No_Name_List;
605 -- Hold the value of attribute Binder'Required_Switches for the language
606
607 Binder_Prefix : Name_Id := No_Name;
608 -- Hold the value of attribute Binder'Prefix for the language
609
610 Toolchain_Version : Name_Id := No_Name;
611 -- Hold the value of attribute Toolchain_Version for the language
612
613 Toolchain_Description : Name_Id := No_Name;
614 -- Hold the value of attribute Toolchain_Description for the language
615
616 Clean_Object_Artifacts : Name_List_Index := No_Name_List;
617 -- List of object artifact extensions to be deleted by gprclean
618
619 Clean_Source_Artifacts : Name_List_Index := No_Name_List;
620 -- List of source artifact extensions to be deleted by gprclean
621
622 end record;
623
624 No_Language_Config : constant Language_Config :=
625 (Kind => File_Based,
626 Naming_Data => No_Lang_Naming_Data,
627 Include_Compatible_Languages => No_Name_List,
628 Compiler_Driver => No_File,
629 Compiler_Driver_Path => null,
630 Compiler_Leading_Required_Switches
631 => No_Name_List,
632 Compiler_Trailing_Required_Switches
633 => No_Name_List,
634 Multi_Unit_Switches => No_Name_List,
635 Multi_Unit_Object_Separator => ' ',
636 Path_Syntax => Canonical,
637 Source_File_Switches => No_Name_List,
638 Object_File_Suffix => No_Name,
639 Object_File_Switches => No_Name_List,
640 Object_Path_Switches => No_Name_List,
641 Compilation_PIC_Option => No_Name_List,
642 Object_Generated => True,
643 Objects_Linked => True,
644 Runtime_Library_Dir => No_Name,
645 Runtime_Source_Dir => No_Name,
646 Mapping_File_Switches => No_Name_List,
647 Mapping_Spec_Suffix => No_File,
648 Mapping_Body_Suffix => No_File,
649 Config_File_Switches => No_Name_List,
650 Dependency_Kind => None,
651 Dependency_Option => No_Name_List,
652 Compute_Dependency => No_Name_List,
653 Include_Option => No_Name_List,
654 Include_Path => No_Name,
655 Include_Path_File => No_Name,
656 Objects_Path => No_Name,
657 Objects_Path_File => No_Name,
658 Config_Body => No_Name,
659 Config_Body_Index => No_Name,
660 Config_Body_Pattern => No_Name,
661 Config_Spec => No_Name,
662 Config_Spec_Index => No_Name,
663 Config_Spec_Pattern => No_Name,
664 Config_File_Unique => False,
665 Binder_Driver => No_File,
666 Binder_Driver_Path => No_Path,
667 Binder_Required_Switches => No_Name_List,
668 Binder_Prefix => No_Name,
669 Toolchain_Version => No_Name,
670 Toolchain_Description => No_Name,
671 Clean_Object_Artifacts => No_Name_List,
672 Clean_Source_Artifacts => No_Name_List);
673
674 -- The following record ???
675
676 type Language_Data is record
677 Name : Name_Id := No_Name;
678 Display_Name : Name_Id := No_Name;
679 Config : Language_Config := No_Language_Config;
680 First_Source : Source_Id := No_Source;
681 Mapping_Files : Mapping_Files_Htable.Instance :=
682 Mapping_Files_Htable.Nil;
683 Next : Language_Ptr := No_Language_Index;
684 end record;
685
686 No_Language_Data : constant Language_Data :=
687 (Name => No_Name,
688 Display_Name => No_Name,
689 Config => No_Language_Config,
690 First_Source => No_Source,
691 Mapping_Files => Mapping_Files_Htable.Nil,
692 Next => No_Language_Index);
693
694 type Language_List_Element;
695 type Language_List is access all Language_List_Element;
696 type Language_List_Element is record
697 Language : Language_Ptr := No_Language_Index;
698 Next : Language_List;
699 end record;
700
701 type Source_Kind is (Spec, Impl, Sep);
702 subtype Spec_Or_Body is Source_Kind range Spec .. Impl;
703
704 -- The following declarations declare a structure used to store the Name
705 -- and File and Path names of a unit, with a reference to its GNAT Project
706 -- File(s). Some units might have neither Spec nor Impl when they were
707 -- created for a "separate".
708
709 type File_Names_Data is array (Spec_Or_Body) of Source_Id;
710
711 type Unit_Data is record
712 Name : Name_Id := No_Name;
713 File_Names : File_Names_Data;
714 end record;
715
716 type Unit_Index is access all Unit_Data;
717
718 No_Unit_Index : constant Unit_Index := null;
719 -- Used to indicate a null entry for no unit
720
721 type Source_Roots;
722 type Roots_Access is access Source_Roots;
723 type Source_Roots is record
724 Root : Source_Id;
725 Next : Roots_Access;
726 end record;
727 -- A list to store the roots associated with a main unit. These are the
728 -- files that need to linked along with the main (for instance a C file
729 -- corresponding to an Ada file). In general, these are dependencies that
730 -- cannot be computed automatically by the builder.
731
732 type Naming_Exception_Type is (No, Yes, Inherited);
733
734 -- Structure to define source data
735
736 type Source_Data is record
737 Initialized : Boolean := False;
738 -- Set to True when Source_Data is completely initialized
739
740 Project : Project_Id := No_Project;
741 -- Project of the source
742
743 Location : Source_Ptr := No_Location;
744 -- Location in the project file of the declaration of the source in
745 -- package Naming.
746
747 Source_Dir_Rank : Natural := 0;
748 -- The rank of the source directory in list declared with attribute
749 -- Source_Dirs. Two source files with the same name cannot appears in
750 -- different directory with the same rank. That can happen when the
751 -- recursive notation <dir>/** is used in attribute Source_Dirs.
752
753 Language : Language_Ptr := No_Language_Index;
754 -- Index of the language. This is an index into
755 -- Project_Tree.Languages_Data.
756
757 In_Interfaces : Boolean := True;
758 -- False when the source is not included in interfaces, when attribute
759 -- Interfaces is declared.
760
761 Declared_In_Interfaces : Boolean := False;
762 -- True when source is declared in attribute Interfaces
763
764 Alternate_Languages : Language_List := null;
765 -- List of languages a header file may also be, in addition of language
766 -- Language_Name.
767
768 Kind : Source_Kind := Spec;
769 -- Kind of the source: spec, body or subunit
770
771 Unit : Unit_Index := No_Unit_Index;
772 -- Name of the unit, if language is unit based. This is only set for
773 -- those files that are part of the compilation set (for instance a
774 -- file in an extended project that is overridden will not have this
775 -- field set).
776
777 Index : Int := 0;
778 -- Index of the source in a multi unit source file (the same Source_Data
779 -- is duplicated several times when there are several units in the same
780 -- file). Index is 0 if there is either no unit or a single one, and
781 -- starts at 1 when there are multiple units
782
783 Compilable : Yes_No_Unknown := Unknown;
784 -- Updated at the first call to Is_Compilable. Yes if source file is
785 -- compilable.
786
787 In_The_Queue : Boolean := False;
788 -- True if the source has been put in the queue
789
790 Locally_Removed : Boolean := False;
791 -- True if the source has been "excluded"
792
793 Suppressed : Boolean := False;
794 -- True if the source is a locally removed direct source of the project.
795 -- These sources should not be put in the mapping file.
796
797 Replaced_By : Source_Id := No_Source;
798 -- Source in an extending project that replaces the current source
799
800 File : File_Name_Type := No_File;
801 -- Canonical file name of the source
802
803 Display_File : File_Name_Type := No_File;
804 -- File name of the source, for display purposes
805
806 Path : Path_Information := No_Path_Information;
807 -- Path name of the source
808
809 Source_TS : Time_Stamp_Type := Empty_Time_Stamp;
810 -- Time stamp of the source file
811
812 Object_Project : Project_Id := No_Project;
813 -- Project where the object file is. This might be different from
814 -- Project when using extending project files.
815
816 Object : File_Name_Type := No_File;
817 -- File name of the object file
818
819 Current_Object_Path : Path_Name_Type := No_Path;
820 -- Object path of an existing object file
821
822 Object_Path : Path_Name_Type := No_Path;
823 -- Object path of the real object file
824
825 Object_TS : Time_Stamp_Type := Empty_Time_Stamp;
826 -- Object file time stamp
827
828 Dep_Name : File_Name_Type := No_File;
829 -- Dependency file simple name
830
831 Current_Dep_Path : Path_Name_Type := No_Path;
832 -- Path name of an existing dependency file
833
834 Dep_Path : Path_Name_Type := No_Path;
835 -- Path name of the real dependency file
836
837 Dep_TS : aliased Osint.File_Attributes := Osint.Unknown_Attributes;
838 -- Dependency file time stamp
839
840 Switches : File_Name_Type := No_File;
841 -- File name of the switches file. For all languages, this is a file
842 -- that ends with the .cswi extension.
843
844 Switches_Path : Path_Name_Type := No_Path;
845 -- Path name of the switches file
846
847 Switches_TS : Time_Stamp_Type := Empty_Time_Stamp;
848 -- Switches file time stamp
849
850 Naming_Exception : Naming_Exception_Type := No;
851 -- True if the source has an exceptional name
852
853 Duplicate_Unit : Boolean := False;
854 -- True when a duplicate unit has been reported for this source
855
856 Next_In_Lang : Source_Id := No_Source;
857 -- Link to another source of the same language in the same project
858
859 Next_With_File_Name : Source_Id := No_Source;
860 -- Link to another source with the same base file name
861
862 Roots : Roots_Access := null;
863 -- The roots for a main unit
864
865 end record;
866
867 No_Source_Data : constant Source_Data :=
868 (Initialized => False,
869 Project => No_Project,
870 Location => No_Location,
871 Source_Dir_Rank => 0,
872 Language => No_Language_Index,
873 In_Interfaces => True,
874 Declared_In_Interfaces => False,
875 Alternate_Languages => null,
876 Kind => Spec,
877 Unit => No_Unit_Index,
878 Index => 0,
879 Locally_Removed => False,
880 Suppressed => False,
881 Compilable => Unknown,
882 In_The_Queue => False,
883 Replaced_By => No_Source,
884 File => No_File,
885 Display_File => No_File,
886 Path => No_Path_Information,
887 Source_TS => Empty_Time_Stamp,
888 Object_Project => No_Project,
889 Object => No_File,
890 Current_Object_Path => No_Path,
891 Object_Path => No_Path,
892 Object_TS => Empty_Time_Stamp,
893 Dep_Name => No_File,
894 Current_Dep_Path => No_Path,
895 Dep_Path => No_Path,
896 Dep_TS => Osint.Unknown_Attributes,
897 Switches => No_File,
898 Switches_Path => No_Path,
899 Switches_TS => Empty_Time_Stamp,
900 Naming_Exception => No,
901 Duplicate_Unit => False,
902 Next_In_Lang => No_Source,
903 Next_With_File_Name => No_Source,
904 Roots => null);
905
906 package Source_Files_Htable is new Simple_HTable
907 (Header_Num => Header_Num,
908 Element => Source_Id,
909 No_Element => No_Source,
910 Key => File_Name_Type,
911 Hash => Hash,
912 Equal => "=");
913 -- Mapping of source file names to source ids
914
915 package Source_Paths_Htable is new Simple_HTable
916 (Header_Num => Header_Num,
917 Element => Source_Id,
918 No_Element => No_Source,
919 Key => Path_Name_Type,
920 Hash => Hash,
921 Equal => "=");
922 -- Mapping of source paths to source ids
923
924 type Lib_Kind is (Static, Dynamic, Relocatable);
925
926 type Policy is (Autonomous, Compliant, Controlled, Restricted, Direct);
927 -- Type to specify the symbol policy, when symbol control is supported.
928 -- See full explanation about this type in package Symbols.
929 -- Autonomous: Create a symbol file without considering any reference
930 -- Compliant: Try to be as compatible as possible with an existing ref
931 -- Controlled: Fail if symbols are not the same as those in the reference
932 -- Restricted: Restrict the symbols to those in the symbol file
933 -- Direct: The symbol file is used as is
934
935 type Symbol_Record is record
936 Symbol_File : Path_Name_Type := No_Path;
937 Reference : Path_Name_Type := No_Path;
938 Symbol_Policy : Policy := Autonomous;
939 end record;
940 -- Type to keep the symbol data to be used when building a shared library
941
942 No_Symbols : constant Symbol_Record :=
943 (Symbol_File => No_Path,
944 Reference => No_Path,
945 Symbol_Policy => Autonomous);
946 -- The default value of the symbol data
947
948 function Image (The_Casing : Casing_Type) return String;
949 -- Similar to 'Image (but avoid use of this attribute in compiler)
950
951 function Value (Image : String) return Casing_Type;
952 -- Similar to 'Value (but avoid use of this attribute in compiler)
953 -- Raises Constraint_Error if not a Casing_Type image.
954
955 -- The following record contains data for a naming scheme
956
957 function Get_Object_Directory
958 (Project : Project_Id;
959 Including_Libraries : Boolean;
960 Only_If_Ada : Boolean := False) return Path_Name_Type;
961 -- Return the object directory to use for the project. This depends on
962 -- whether we have a library project or a standard project. This function
963 -- might return No_Name when no directory applies.
964 -- If we have a library project file and Including_Libraries is True then
965 -- the library dir is returned instead of the object dir.
966 -- If Only_If_Ada is True, then No_Name will be returned when the project
967 -- doesn't Ada sources.
968
969 procedure Compute_All_Imported_Projects
970 (Root_Project : Project_Id;
971 Tree : Project_Tree_Ref);
972 -- For all projects in the tree, compute the list of the projects imported
973 -- directly or indirectly by project Root_Project. The result is stored in
974 -- Project.All_Imported_Projects for each project
975
976 function Ultimate_Extending_Project_Of
977 (Proj : Project_Id) return Project_Id;
978 -- Returns the ultimate extending project of project Proj. If project Proj
979 -- is not extended, returns Proj.
980
981 type Project_List_Element;
982 type Project_List is access all Project_List_Element;
983 type Project_List_Element is record
984 Project : Project_Id := No_Project;
985 From_Encapsulated_Lib : Boolean := False;
986 Next : Project_List := null;
987 end record;
988 -- A list of projects
989
990 procedure Free_List
991 (List : in out Project_List;
992 Free_Project : Boolean);
993 -- Free the list of projects, if Free_Project, each project is also freed
994
995 type Response_File_Format is
996 (None,
997 GNU,
998 Object_List,
999 Option_List,
1000 GCC,
1001 GCC_GNU,
1002 GCC_Object_List,
1003 GCC_Option_List);
1004 -- The format of the different response files
1005
1006 type Project_Configuration is record
1007 Target : Name_Id := No_Name;
1008 -- The target of the configuration, when specified
1009
1010 Run_Path_Option : Name_List_Index := No_Name_List;
1011 -- The option to use when linking to specify the path where to look for
1012 -- libraries.
1013
1014 Run_Path_Origin : Name_Id := No_Name;
1015 -- Specify the string (such as "$ORIGIN") to indicate paths relative to
1016 -- the directory of the executable in the run path option.
1017
1018 Library_Install_Name_Option : Name_Id := No_Name;
1019 -- When this is not an empty list, this option, followed by the single
1020 -- name of the shared library file is used when linking a shared
1021 -- library.
1022
1023 Separate_Run_Path_Options : Boolean := False;
1024 -- True if each directory needs to be specified in a separate run path
1025 -- option.
1026
1027 Executable_Suffix : Name_Id := No_Name;
1028 -- The suffix of executables, when specified in the configuration or in
1029 -- package Builder of the main project. When this is not specified, the
1030 -- executable suffix is the default for the platform.
1031
1032 -- Linking
1033
1034 Linker : Path_Name_Type := No_Path;
1035 -- Path name of the linker driver. Specified in the configuration or in
1036 -- the package Builder of the main project.
1037
1038 Map_File_Option : Name_Id := No_Name;
1039 -- Option to use when invoking the linker to build a map file
1040
1041 Trailing_Linker_Required_Switches : Name_List_Index := No_Name_List;
1042 -- The minimum options for the linker driver. Specified in the
1043 -- configuration.
1044
1045 Linker_Executable_Option : Name_List_Index := No_Name_List;
1046 -- The option(s) to indicate the name of the executable in the linker
1047 -- command. Specified in the configuration. When not specified, default
1048 -- to -o <executable name>.
1049
1050 Linker_Lib_Dir_Option : Name_Id := No_Name;
1051 -- The option to specify where to find a library for linking. Specified
1052 -- in the configuration. When not specified, defaults to "-L".
1053
1054 Linker_Lib_Name_Option : Name_Id := No_Name;
1055 -- The option to specify the name of a library for linking. Specified in
1056 -- the configuration. When not specified, defaults to "-l".
1057
1058 Max_Command_Line_Length : Natural := 0;
1059 -- When positive and when Resp_File_Format (see below) is not None,
1060 -- if the command line for the invocation of the linker would be greater
1061 -- than this value, a response file is used to invoke the linker.
1062
1063 Resp_File_Format : Response_File_Format := None;
1064 -- The format of a response file, when linking with a response file is
1065 -- supported.
1066
1067 Resp_File_Options : Name_List_Index := No_Name_List;
1068 -- The switches, if any, that precede the path name of the response
1069 -- file in the invocation of the linker.
1070
1071 -- Libraries
1072
1073 Library_Builder : Path_Name_Type := No_Path;
1074 -- The executable to build library (specified in the configuration)
1075
1076 Lib_Support : Library_Support := None;
1077 -- The level of library support. Specified in the configuration. Support
1078 -- is none, static libraries only or both static and shared libraries.
1079
1080 Lib_Encapsulated_Supported : Boolean := False;
1081 -- True when building fully standalone libraries supported on the target
1082
1083 Archive_Builder : Name_List_Index := No_Name_List;
1084 -- The name of the executable to build archives, with the minimum
1085 -- switches. Specified in the configuration.
1086
1087 Archive_Builder_Append_Option : Name_List_Index := No_Name_List;
1088 -- The options to append object files to an archive
1089
1090 Archive_Indexer : Name_List_Index := No_Name_List;
1091 -- The name of the executable to index archives, with the minimum
1092 -- switches. Specified in the configuration.
1093
1094 Archive_Suffix : File_Name_Type := No_File;
1095 -- The suffix of archives. Specified in the configuration. When not
1096 -- specified, defaults to ".a".
1097
1098 Lib_Partial_Linker : Name_List_Index := No_Name_List;
1099
1100 -- Shared libraries
1101
1102 Shared_Lib_Driver : File_Name_Type := No_File;
1103 -- The driver to link shared libraries. Set with attribute Library_GCC.
1104 -- Default to gcc.
1105
1106 Shared_Lib_Prefix : File_Name_Type := No_File;
1107 -- Part of a shared library file name that precedes the name of the
1108 -- library. Specified in the configuration. When not specified, defaults
1109 -- to "lib".
1110
1111 Shared_Lib_Suffix : File_Name_Type := No_File;
1112 -- Suffix of shared libraries, after the library name in the shared
1113 -- library name. Specified in the configuration. When not specified,
1114 -- default to ".so".
1115
1116 Shared_Lib_Min_Options : Name_List_Index := No_Name_List;
1117 -- The minimum options to use when building a shared library
1118
1119 Lib_Version_Options : Name_List_Index := No_Name_List;
1120 -- The options to use to specify a library version
1121
1122 Symbolic_Link_Supported : Boolean := False;
1123 -- True if the platform supports symbolic link files
1124
1125 Lib_Maj_Min_Id_Supported : Boolean := False;
1126 -- True if platform supports library major and minor options, such as
1127 -- libname.so -> libname.so.2 -> libname.so.2.4
1128
1129 Auto_Init_Supported : Boolean := False;
1130 -- True if automatic initialisation is supported for shared stand-alone
1131 -- libraries.
1132 end record;
1133
1134 Default_Project_Config : constant Project_Configuration :=
1135 (Target => No_Name,
1136 Run_Path_Option => No_Name_List,
1137 Run_Path_Origin => No_Name,
1138 Library_Install_Name_Option => No_Name,
1139 Separate_Run_Path_Options => False,
1140 Executable_Suffix => No_Name,
1141 Linker => No_Path,
1142 Map_File_Option => No_Name,
1143 Trailing_Linker_Required_Switches =>
1144 No_Name_List,
1145 Linker_Executable_Option => No_Name_List,
1146 Linker_Lib_Dir_Option => No_Name,
1147 Linker_Lib_Name_Option => No_Name,
1148 Library_Builder => No_Path,
1149 Max_Command_Line_Length => 0,
1150 Resp_File_Format => None,
1151 Resp_File_Options => No_Name_List,
1152 Lib_Support => None,
1153 Lib_Encapsulated_Supported => False,
1154 Archive_Builder => No_Name_List,
1155 Archive_Builder_Append_Option => No_Name_List,
1156 Archive_Indexer => No_Name_List,
1157 Archive_Suffix => No_File,
1158 Lib_Partial_Linker => No_Name_List,
1159 Shared_Lib_Driver => No_File,
1160 Shared_Lib_Prefix => No_File,
1161 Shared_Lib_Suffix => No_File,
1162 Shared_Lib_Min_Options => No_Name_List,
1163 Lib_Version_Options => No_Name_List,
1164 Symbolic_Link_Supported => False,
1165 Lib_Maj_Min_Id_Supported => False,
1166 Auto_Init_Supported => False);
1167
1168 -------------------------
1169 -- Aggregated projects --
1170 -------------------------
1171
1172 type Aggregated_Project;
1173 type Aggregated_Project_List is access all Aggregated_Project;
1174 type Aggregated_Project is record
1175 Path : Path_Name_Type;
1176 Tree : Project_Tree_Ref;
1177 Project : Project_Id;
1178 Next : Aggregated_Project_List;
1179 end record;
1180
1181 procedure Free (List : in out Aggregated_Project_List);
1182 -- Free the memory used for List
1183
1184 procedure Add_Aggregated_Project
1185 (Project : Project_Id;
1186 Path : Path_Name_Type);
1187 -- Add a new aggregated project in Project.
1188 -- The aggregated project has not been processed yet. This procedure should
1189 -- the called while processing the aggregate project, and as a result
1190 -- Prj.Proc.Process will then automatically process the aggregated projects
1191
1192 ------------------
1193 -- Project_Data --
1194 ------------------
1195
1196 -- The following record describes a project file representation
1197
1198 pragma Warnings (Off);
1199 type Standalone is
1200 (No,
1201
1202 -- The following clash with Standard is OK, and justified by the context
1203 -- which really wants to use the same set of qualifiers.
1204
1205 Standard,
1206
1207 Encapsulated);
1208 pragma Warnings (On);
1209
1210 type Project_Data (Qualifier : Project_Qualifier := Unspecified) is record
1211
1212 -------------
1213 -- General --
1214 -------------
1215
1216 Name : Name_Id := No_Name;
1217 -- The name of the project
1218
1219 Display_Name : Name_Id := No_Name;
1220 -- The name of the project with the spelling of its declaration
1221
1222 Externally_Built : Boolean := False;
1223 -- True if the project is externally built. In such case, the Project
1224 -- Manager will not modify anything in this project.
1225
1226 Config : Project_Configuration;
1227
1228 Path : Path_Information := No_Path_Information;
1229 -- The path name of the project file. This include base name of the
1230 -- project file.
1231
1232 Virtual : Boolean := False;
1233 -- True for virtual extending projects
1234
1235 Location : Source_Ptr := No_Location;
1236 -- The location in the project file source of the project name that
1237 -- immediately follows the reserved word "project".
1238
1239 ---------------
1240 -- Languages --
1241 ---------------
1242
1243 Languages : Language_Ptr := No_Language_Index;
1244 -- First index of the language data in the project.
1245 -- This is an index into the project_tree_data.languages_data.
1246 -- Traversing the list gives access to all the languages supported by
1247 -- the project.
1248
1249 --------------
1250 -- Projects --
1251 --------------
1252
1253 Mains : String_List_Id := Nil_String;
1254 -- List of mains specified by attribute Main
1255
1256 Extends : Project_Id := No_Project;
1257 -- The reference of the project file, if any, that this project file
1258 -- extends.
1259
1260 Extended_By : Project_Id := No_Project;
1261 -- The reference of the project file, if any, that extends this project
1262 -- file.
1263
1264 Decl : Declarations := No_Declarations;
1265 -- The declarations (variables, attributes and packages) of this project
1266 -- file.
1267
1268 Imported_Projects : Project_List := null;
1269 -- The list of all directly imported projects, if any
1270
1271 All_Imported_Projects : Project_List := null;
1272 -- The list of all projects imported directly or indirectly, if any.
1273 -- This does not include the project itself.
1274
1275 -----------------
1276 -- Directories --
1277 -----------------
1278
1279 Directory : Path_Information := No_Path_Information;
1280 -- Path name of the directory where the project file resides
1281
1282 Object_Directory : Path_Information := No_Path_Information;
1283 -- The path name of the object directory of this project file
1284
1285 Exec_Directory : Path_Information := No_Path_Information;
1286 -- The path name of the exec directory of this project file. Default is
1287 -- equal to Object_Directory.
1288
1289 Object_Path_File : Path_Name_Type := No_Path;
1290 -- Store the name of the temporary file that contains the list of object
1291 -- directories, when attribute Object_Path_Switches is declared.
1292
1293 -------------
1294 -- Library --
1295 -------------
1296
1297 Library : Boolean := False;
1298 -- True if this is a library project
1299
1300 Library_Name : Name_Id := No_Name;
1301 -- If a library project, name of the library
1302
1303 Library_Kind : Lib_Kind := Static;
1304 -- If a library project, kind of library
1305
1306 Library_Dir : Path_Information := No_Path_Information;
1307 -- If a library project, path name of the directory where the library
1308 -- resides.
1309
1310 Library_TS : Time_Stamp_Type := Empty_Time_Stamp;
1311 -- The timestamp of a library file in a library project
1312
1313 Library_Src_Dir : Path_Information := No_Path_Information;
1314 -- If a Stand-Alone Library project, path name of the directory where
1315 -- the sources of the interfaces of the library are copied. By default,
1316 -- if attribute Library_Src_Dir is not specified, sources of the
1317 -- interfaces are not copied anywhere.
1318
1319 Library_ALI_Dir : Path_Information := No_Path_Information;
1320 -- In a library project, path name of the directory where the ALI files
1321 -- are copied. If attribute Library_ALI_Dir is not specified, ALI files
1322 -- are copied in the Library_Dir.
1323
1324 Lib_Internal_Name : Name_Id := No_Name;
1325 -- If a library project, internal name store inside the library
1326
1327 Standalone_Library : Standalone := No;
1328 -- Indicate that this is a Standalone Library Project File
1329
1330 Lib_Interface_ALIs : String_List_Id := Nil_String;
1331 -- For Standalone Library Project Files, indicate the list of Interface
1332 -- ALI files.
1333
1334 Lib_Auto_Init : Boolean := False;
1335 -- For non static Stand-Alone Library Project Files, indicate if
1336 -- the library initialisation should be automatic.
1337
1338 Symbol_Data : Symbol_Record := No_Symbols;
1339 -- Symbol file name, reference symbol file name, symbol policy
1340
1341 Need_To_Build_Lib : Boolean := False;
1342 -- Indicates that the library of a Library Project needs to be built or
1343 -- rebuilt.
1344
1345 -------------
1346 -- Sources --
1347 -------------
1348 -- The sources for all languages including Ada are accessible through
1349 -- the Source_Iterator type
1350
1351 Interfaces_Defined : Boolean := False;
1352 -- True if attribute Interfaces is declared for the project or any
1353 -- project it extends.
1354
1355 Include_Path_File : Path_Name_Type := No_Path;
1356 -- The path name of the of the source search directory file.
1357 -- This is only used by gnatmake
1358
1359 Source_Dirs : String_List_Id := Nil_String;
1360 -- The list of all the source directories
1361
1362 Source_Dir_Ranks : Number_List_Index := No_Number_List;
1363
1364 Ada_Include_Path : String_Access := null;
1365 -- The cached value of source search path for this project file. Set by
1366 -- the first call to Prj.Env.Ada_Include_Path for the project. Do not
1367 -- use this field directly outside of the project manager, use
1368 -- Prj.Env.Ada_Include_Path instead.
1369
1370 Has_Multi_Unit_Sources : Boolean := False;
1371 -- Whether there is at least one source file containing multiple units
1372
1373 -------------------
1374 -- Miscellaneous --
1375 -------------------
1376
1377 Ada_Objects_Path : String_Access := null;
1378 -- The cached value of ADA_OBJECTS_PATH for this project file. Do not
1379 -- use this field directly outside of the compiler, use
1380 -- Prj.Env.Ada_Objects_Path instead.
1381
1382 Libgnarl_Needed : Yes_No_Unknown := Unknown;
1383 -- Set to True when libgnarl is needed to link
1384
1385 Objects_Path : String_Access := null;
1386 -- The cached value of the object dir path, used during the binding
1387 -- phase of gprbuild.
1388
1389 Objects_Path_File_With_Libs : Path_Name_Type := No_Path;
1390 -- The cached value of the object path temp file (including library
1391 -- dirs) for this project file.
1392
1393 Objects_Path_File_Without_Libs : Path_Name_Type := No_Path;
1394 -- The cached value of the object path temp file (excluding library
1395 -- dirs) for this project file.
1396
1397 Config_File_Name : Path_Name_Type := No_Path;
1398 -- The path name of the configuration pragmas file, if any
1399
1400 Config_File_Temp : Boolean := False;
1401 -- An indication that the configuration pragmas file is a temporary file
1402 -- that must be deleted at the end.
1403
1404 Config_Checked : Boolean := False;
1405 -- A flag to avoid checking repetitively the configuration pragmas file
1406
1407 Depth : Natural := 0;
1408 -- The maximum depth of a project in the project graph. Depth of main
1409 -- project is 0.
1410
1411 Unkept_Comments : Boolean := False;
1412 -- True if there are comments in the project sources that cannot be kept
1413 -- in the project tree.
1414
1415 -----------------------------
1416 -- Qualifier-Specific data --
1417 -----------------------------
1418
1419 -- The following fields are only valid for specific types of projects
1420
1421 case Qualifier is
1422 when Aggregate | Aggregate_Library =>
1423 Aggregated_Projects : Aggregated_Project_List := null;
1424 -- List of aggregated projects (which could themselves be
1425 -- aggregate projects).
1426
1427 when others =>
1428 null;
1429 end case;
1430 end record;
1431
1432 function Empty_Project (Qualifier : Project_Qualifier) return Project_Data;
1433 -- Return the representation of an empty project
1434
1435 function Is_Extending
1436 (Extending : Project_Id;
1437 Extended : Project_Id) return Boolean;
1438 -- Return True if Extending is extending the Extended project
1439
1440 function Is_Ext
1441 (Extending : Project_Id;
1442 Extended : Project_Id) return Boolean renames Is_Extending;
1443
1444 function Has_Ada_Sources (Data : Project_Id) return Boolean;
1445 -- Return True if the project has Ada sources
1446
1447 Project_Error : exception;
1448 -- Raised by some subprograms in Prj.Attr
1449
1450 package Units_Htable is new Simple_HTable
1451 (Header_Num => Header_Num,
1452 Element => Unit_Index,
1453 No_Element => No_Unit_Index,
1454 Key => Name_Id,
1455 Hash => Hash,
1456 Equal => "=");
1457 -- Mapping of unit names to indexes in the Units table
1458
1459 ---------------------
1460 -- Source_Iterator --
1461 ---------------------
1462
1463 type Source_Iterator is private;
1464
1465 function For_Each_Source
1466 (In_Tree : Project_Tree_Ref;
1467 Project : Project_Id := No_Project;
1468 Language : Name_Id := No_Name;
1469 Encapsulated_Libs : Boolean := True;
1470 Locally_Removed : Boolean := True) return Source_Iterator;
1471 -- Returns an iterator for all the sources of a project tree, or a specific
1472 -- project, or a specific language. Include sources from aggregated libs if
1473 -- Aggregated_Libs is True. If Locally_Removed is set to False the
1474 -- Locally_Removed files won't be reported.
1475
1476 function Element (Iter : Source_Iterator) return Source_Id;
1477 -- Return the current source (or No_Source if there are no more sources)
1478
1479 procedure Next (Iter : in out Source_Iterator);
1480 -- Move on to the next source
1481
1482 function Find_Source
1483 (In_Tree : Project_Tree_Ref;
1484 Project : Project_Id;
1485 In_Imported_Only : Boolean := False;
1486 In_Extended_Only : Boolean := False;
1487 Base_Name : File_Name_Type;
1488 Index : Int := 0) return Source_Id;
1489 -- Find the first source file with the given name.
1490 -- If In_Extended_Only is True, it will search in project and the project
1491 -- it extends, but not in the imported projects.
1492 -- Elsif In_Imported_Only is True, it will search in project and the
1493 -- projects it imports, but not in the others or in aggregated projects.
1494 -- Else it searches in the whole tree.
1495 -- If Index is specified, this only search for a source with that index.
1496
1497 -----------------------
1498 -- Project_Tree_Data --
1499 -----------------------
1500
1501 package Replaced_Source_HTable is new Simple_HTable
1502 (Header_Num => Header_Num,
1503 Element => File_Name_Type,
1504 No_Element => No_File,
1505 Key => File_Name_Type,
1506 Hash => Hash,
1507 Equal => "=");
1508
1509 type Private_Project_Tree_Data is private;
1510 -- Data for a project tree that is used only by the Project Manager
1511
1512 type Shared_Project_Tree_Data is record
1513 Name_Lists : Name_List_Table.Instance;
1514 Number_Lists : Number_List_Table.Instance;
1515 String_Elements : String_Element_Table.Instance;
1516 Variable_Elements : Variable_Element_Table.Instance;
1517 Array_Elements : Array_Element_Table.Instance;
1518 Arrays : Array_Table.Instance;
1519 Packages : Package_Table.Instance;
1520 Private_Part : Private_Project_Tree_Data;
1521 end record;
1522 type Shared_Project_Tree_Data_Access is access all Shared_Project_Tree_Data;
1523 -- The data that is shared among multiple trees, when these trees are
1524 -- loaded through the same aggregate project.
1525 -- To avoid ambiguities, limit the number of parameters to the
1526 -- subprograms (we would have to parse the "root project tree" since this
1527 -- is where the configuration file was loaded, in addition to the project's
1528 -- own tree) and make the comparison of projects easier, all trees store
1529 -- the lists in the same tables.
1530
1531 type Project_Tree_Appdata is tagged null record;
1532 type Project_Tree_Appdata_Access is access all Project_Tree_Appdata'Class;
1533 -- Application-specific data that can be associated with a project tree.
1534 -- We do not make the Project_Tree_Data itself tagged for several reasons:
1535 -- - it couldn't have a default value for its discriminant
1536 -- - it would require a "factory" to allocate such data, because trees
1537 -- are created automatically when parsing aggregate projects.
1538
1539 procedure Free (Tree : in out Project_Tree_Appdata);
1540 -- Should be overridden if your derive your own data
1541
1542 type Project_Tree_Data (Is_Root_Tree : Boolean := True) is record
1543 -- The root tree is the one loaded by the user from the command line.
1544 -- Is_Root_Tree is only false for projects aggregated within a root
1545 -- aggregate project.
1546
1547 Projects : Project_List;
1548 -- List of projects in this tree
1549
1550 Replaced_Sources : Replaced_Source_HTable.Instance;
1551 -- The list of sources that have been replaced by sources with
1552 -- different file names.
1553
1554 Replaced_Source_Number : Natural := 0;
1555 -- The number of entries in Replaced_Sources
1556
1557 Units_HT : Units_Htable.Instance;
1558 -- Unit name to Unit_Index (and from there to Source_Id)
1559
1560 Source_Files_HT : Source_Files_Htable.Instance;
1561 -- Base source file names to Source_Id list
1562
1563 Source_Paths_HT : Source_Paths_Htable.Instance;
1564 -- Full path to Source_Id
1565 -- ??? What is behavior for multi-unit source files, where there are
1566 -- several source_id per file ?
1567
1568 Source_Info_File_Name : String_Access := null;
1569 -- The name of the source info file, if specified by the builder
1570
1571 Source_Info_File_Exists : Boolean := False;
1572 -- True when a source info file has been successfully read
1573
1574 Shared : Shared_Project_Tree_Data_Access;
1575 -- The shared data for this tree and all aggregated trees
1576
1577 Appdata : Project_Tree_Appdata_Access;
1578 -- Application-specific data for this tree
1579
1580 case Is_Root_Tree is
1581 when True =>
1582 Shared_Data : aliased Shared_Project_Tree_Data;
1583 -- Do not access directly, only through Shared
1584
1585 when False =>
1586 null;
1587 end case;
1588 end record;
1589 -- Data for a project tree
1590
1591 function Debug_Name (Tree : Project_Tree_Ref) return Name_Id;
1592 -- If debug traces are activated, return an identitier for the project
1593 -- tree. This modifies Name_Buffer.
1594
1595 procedure Expect (The_Token : Token_Type; Token_Image : String);
1596 -- Check that the current token is The_Token. If it is not, then output
1597 -- an error message.
1598
1599 procedure Initialize (Tree : Project_Tree_Ref);
1600 -- This procedure must be called before using any services from the Prj
1601 -- hierarchy. Namet.Initialize must be called before Prj.Initialize.
1602
1603 procedure Reset (Tree : Project_Tree_Ref);
1604 -- This procedure resets all the tables that are used when processing a
1605 -- project file tree. Initialize must be called before the call to Reset.
1606
1607 package Project_Boolean_Htable is new Simple_HTable
1608 (Header_Num => Header_Num,
1609 Element => Boolean,
1610 No_Element => False,
1611 Key => Project_Id,
1612 Hash => Hash,
1613 Equal => "=");
1614 -- A table that associates a project to a boolean. This is used to detect
1615 -- whether a project was already processed for instance.
1616
1617 generic
1618 with procedure Action (Project : Project_Id; Tree : Project_Tree_Ref);
1619 procedure For_Project_And_Aggregated
1620 (Root_Project : Project_Id;
1621 Root_Tree : Project_Tree_Ref);
1622 -- Execute Action for Root_Project and all its aggregated projects
1623 -- recursively.
1624
1625 generic
1626 type State is limited private;
1627 with procedure Action
1628 (Project : Project_Id;
1629 Tree : Project_Tree_Ref;
1630 With_State : in out State);
1631 procedure For_Every_Project_Imported
1632 (By : Project_Id;
1633 Tree : Project_Tree_Ref;
1634 With_State : in out State;
1635 Include_Aggregated : Boolean := True;
1636 Imported_First : Boolean := False);
1637 -- Call Action for each project imported directly or indirectly by project
1638 -- By, as well as extended projects.
1639 --
1640 -- The order of processing depends on Imported_First:
1641 --
1642 -- If False, Action is called according to the order of importation: if A
1643 -- imports B, directly or indirectly, Action will be called for A before
1644 -- it is called for B. If two projects import each other directly or
1645 -- indirectly (using at least one "limited with"), it is not specified
1646 -- for which of these two projects Action will be called first.
1647 --
1648 -- The order is reversed if Imported_First is True
1649 --
1650 -- With_State may be used by Action to choose a behavior or to report some
1651 -- global result.
1652 --
1653 -- If Include_Aggregated is True, then an aggregate project will recurse
1654 -- into the projects it aggregates. Otherwise, the latter are never
1655 -- returned.
1656 --
1657 -- In_Aggregate_Lib is True if the project is in an aggregate library
1658 --
1659 -- The Tree argument passed to the callback is required in the case of
1660 -- aggregated projects, since they might not be using the same tree as 'By'
1661
1662 type Project_Context is record
1663 In_Aggregate_Lib : Boolean;
1664 -- True if the project is part of an aggregate library
1665
1666 From_Encapsulated_Lib : Boolean;
1667 -- True if the project is imported from an encapsulated library
1668 end record;
1669
1670 generic
1671 type State is limited private;
1672 with procedure Action
1673 (Project : Project_Id;
1674 Tree : Project_Tree_Ref;
1675 Context : Project_Context;
1676 With_State : in out State);
1677 procedure For_Every_Project_Imported_Context
1678 (By : Project_Id;
1679 Tree : Project_Tree_Ref;
1680 With_State : in out State;
1681 Include_Aggregated : Boolean := True;
1682 Imported_First : Boolean := False);
1683 -- As for For_Every_Project_Imported but with an associated context
1684
1685 generic
1686 with procedure Action
1687 (Project : Project_Id;
1688 Tree : Project_Tree_Ref;
1689 Context : Project_Context);
1690 procedure For_Project_And_Aggregated_Context
1691 (Root_Project : Project_Id;
1692 Root_Tree : Project_Tree_Ref);
1693 -- As for For_Project_And_Aggregated but with an associated context
1694
1695 function Extend_Name
1696 (File : File_Name_Type;
1697 With_Suffix : String) return File_Name_Type;
1698 -- Replace the extension of File with With_Suffix
1699
1700 function Object_Name
1701 (Source_File_Name : File_Name_Type;
1702 Object_File_Suffix : Name_Id := No_Name) return File_Name_Type;
1703 -- Returns the object file name corresponding to a source file name
1704
1705 function Object_Name
1706 (Source_File_Name : File_Name_Type;
1707 Source_Index : Int;
1708 Index_Separator : Character;
1709 Object_File_Suffix : Name_Id := No_Name) return File_Name_Type;
1710 -- Returns the object file name corresponding to a unit in a multi-source
1711 -- file.
1712
1713 function Dependency_Name
1714 (Source_File_Name : File_Name_Type;
1715 Dependency : Dependency_File_Kind) return File_Name_Type;
1716 -- Returns the dependency file name corresponding to a source file name
1717
1718 function Switches_Name
1719 (Source_File_Name : File_Name_Type) return File_Name_Type;
1720 -- Returns the switches file name corresponding to a source file name
1721
1722 procedure Set_Path_File_Var (Name : String; Value : String);
1723 -- Call Setenv, after calling To_Host_File_Spec
1724
1725 function Current_Source_Path_File_Of
1726 (Shared : Shared_Project_Tree_Data_Access) return Path_Name_Type;
1727 -- Get the current include path file name
1728
1729 procedure Set_Current_Source_Path_File_Of
1730 (Shared : Shared_Project_Tree_Data_Access;
1731 To : Path_Name_Type);
1732 -- Record the current include path file name
1733
1734 function Current_Object_Path_File_Of
1735 (Shared : Shared_Project_Tree_Data_Access) return Path_Name_Type;
1736 -- Get the current object path file name
1737
1738 procedure Set_Current_Object_Path_File_Of
1739 (Shared : Shared_Project_Tree_Data_Access;
1740 To : Path_Name_Type);
1741 -- Record the current object path file name
1742
1743 -----------
1744 -- Flags --
1745 -----------
1746
1747 type Processing_Flags is private;
1748 -- Flags used while parsing and processing a project tree to configure the
1749 -- behavior of the parser, and indicate how to report error messages. This
1750 -- structure does not allocate memory and never needs to be freed
1751
1752 type Error_Warning is (Silent, Warning, Error);
1753 -- Severity of some situations, such as: no Ada sources in a project where
1754 -- Ada is one of the language.
1755 --
1756 -- When the situation occurs, the behaviour depends on the setting:
1757 --
1758 -- - Silent: no action
1759 -- - Warning: issue a warning, does not cause the tool to fail
1760 -- - Error: issue an error, causes the tool to fail
1761
1762 type Error_Handler is access procedure
1763 (Project : Project_Id;
1764 Is_Warning : Boolean);
1765 -- This warns when an error was found when parsing a project. The error
1766 -- itself is handled through Prj.Err (and Prj.Err.Finalize should be called
1767 -- to actually print the error). This ensures that duplicate error messages
1768 -- are always correctly removed, that errors msgs are sorted, and that all
1769 -- tools will report the same error to the user.
1770
1771 function Create_Flags
1772 (Report_Error : Error_Handler;
1773 When_No_Sources : Error_Warning;
1774 Require_Sources_Other_Lang : Boolean := True;
1775 Allow_Duplicate_Basenames : Boolean := True;
1776 Compiler_Driver_Mandatory : Boolean := False;
1777 Error_On_Unknown_Language : Boolean := True;
1778 Require_Obj_Dirs : Error_Warning := Error;
1779 Allow_Invalid_External : Error_Warning := Error;
1780 Missing_Source_Files : Error_Warning := Error;
1781 Ignore_Missing_With : Boolean := False)
1782 return Processing_Flags;
1783 -- Function used to create Processing_Flags structure
1784 --
1785 -- If Allow_Duplicate_Basenames, then files with the same base names are
1786 -- authorized within a project for source-based languages (never for unit
1787 -- based languages).
1788 --
1789 -- If Compiler_Driver_Mandatory is true, then a Compiler.Driver attribute
1790 -- for each language must be defined, or we will not look for its source
1791 -- files.
1792 --
1793 -- When_No_Sources indicates what should be done when no sources of a
1794 -- language are found in a project where this language is declared.
1795 -- If Require_Sources_Other_Lang is true, then all languages must have at
1796 -- least one source file, or an error is reported via When_No_Sources. If
1797 -- it is false, this is only required for Ada (and only if it is a language
1798 -- of the project). When this parameter is set to False, we do not check
1799 -- that a proper naming scheme is defined for languages other than Ada.
1800 --
1801 -- If Report_Error is null, use the standard error reporting mechanism
1802 -- (Errout). Otherwise, report errors using Report_Error.
1803 --
1804 -- If Error_On_Unknown_Language is true, an error is displayed if some of
1805 -- the source files listed in the project do not match any naming scheme
1806 --
1807 -- If Require_Obj_Dirs is true, then all object directories must exist
1808 -- (possibly after they have been created automatically if the appropriate
1809 -- switches were specified), or an error is raised.
1810 --
1811 -- If Allow_Invalid_External is Silent, then no error is reported when an
1812 -- invalid value is used for an external variable (and it doesn't match its
1813 -- type). Instead, the first possible value is used.
1814 --
1815 -- Missing_Source_Files indicates whether it is an error or a warning that
1816 -- a source file mentioned in the Source_Files attributes is not actually
1817 -- found in the source directories. This also impacts errors for missing
1818 -- source directories.
1819 --
1820 -- If Ignore_Missing_With is True, then a "with" statement that cannot be
1821 -- resolved will simply be ignored. However, in such a case, the flag
1822 -- Incomplete_With in the project tree will be set to True.
1823 -- This is meant for use by tools so that they can properly set the
1824 -- project path in such a case:
1825 -- * no "gnatls" found (so no default project path)
1826 -- * user project sets Project.IDE'gnatls attribute to a cross gnatls
1827 -- * user project also includes a "with" that can only be resolved
1828 -- once we have found the gnatls
1829
1830 Gprbuild_Flags : constant Processing_Flags;
1831 Gprclean_Flags : constant Processing_Flags;
1832 Gnatmake_Flags : constant Processing_Flags;
1833 -- Flags used by the various tools. They all display the error messages
1834 -- through Prj.Err.
1835
1836 ----------------
1837 -- Temp Files --
1838 ----------------
1839
1840 procedure Record_Temp_File
1841 (Shared : Shared_Project_Tree_Data_Access;
1842 Path : Path_Name_Type);
1843 -- Record the path of a newly created temporary file, so that it can be
1844 -- deleted later.
1845
1846 procedure Delete_All_Temp_Files
1847 (Shared : Shared_Project_Tree_Data_Access);
1848 -- Delete all recorded temporary files.
1849 -- Does nothing if Debug.Debug_Flag_N is set
1850
1851 procedure Delete_Temp_Config_Files (Project_Tree : Project_Tree_Ref);
1852 -- Delete all temporary config files. Does nothing if Debug.Debug_Flag_N is
1853 -- set or if Project_Tree is null. This initially came from gnatmake
1854 -- ??? Should this be combined with Delete_All_Temp_Files above
1855
1856 procedure Delete_Temporary_File
1857 (Shared : Shared_Project_Tree_Data_Access := null;
1858 Path : Path_Name_Type);
1859 -- Delete a temporary file from the disk. The file is also removed from the
1860 -- list of temporary files to delete at the end of the program, in case
1861 -- another program running on the same machine has recreated it. Does
1862 -- nothing if Debug.Debug_Flag_N is set
1863
1864 Virtual_Prefix : constant String := "v$";
1865 -- The prefix for virtual extending projects. Because of the '$', which is
1866 -- normally forbidden for project names, there cannot be any name clash.
1867
1868 -----------
1869 -- Debug --
1870 -----------
1871
1872 type Verbosity is (Default, Medium, High);
1873 pragma Ordered (Verbosity);
1874 -- Verbosity when parsing GNAT Project Files
1875 -- Default is default (very quiet, if no errors).
1876 -- Medium is more verbose.
1877 -- High is extremely verbose.
1878
1879 Current_Verbosity : Verbosity := Default;
1880 -- The current value of the verbosity the project files are parsed with
1881
1882 procedure Debug_Indent;
1883 -- Inserts a series of blanks depending on the current indentation level
1884
1885 procedure Debug_Output (Str : String);
1886 procedure Debug_Output (Str : String; Str2 : Name_Id);
1887 -- If Current_Verbosity is not Default, outputs Str.
1888 -- This indents Str based on the current indentation level for traces
1889 -- Debug_Error is intended to be used to report an error in the traces.
1890
1891 procedure Debug_Increase_Indent
1892 (Str : String := ""; Str2 : Name_Id := No_Name);
1893 procedure Debug_Decrease_Indent (Str : String := "");
1894 -- Increase or decrease the indentation level for debug traces. This
1895 -- indentation level only affects output done through Debug_Output.
1896
1897 private
1898
1899 All_Packages : constant String_List_Access := null;
1900
1901 No_Project_Tree : constant Project_Tree_Ref := null;
1902
1903 Ignored : constant Variable_Kind := Single;
1904
1905 Nil_Variable_Value : constant Variable_Value :=
1906 (Project => No_Project,
1907 Kind => Undefined,
1908 Location => No_Location,
1909 Default => False);
1910
1911 type Source_Iterator is record
1912 In_Tree : Project_Tree_Ref;
1913
1914 Project : Project_List;
1915 All_Projects : Boolean;
1916 -- Current project and whether we should move on to the next
1917
1918 Language : Language_Ptr;
1919 -- Current language processed
1920
1921 Language_Name : Name_Id;
1922 -- Only sources of this language will be returned (or all if No_Name)
1923
1924 Current : Source_Id;
1925
1926 Encapsulated_Libs : Boolean;
1927 -- True if we want to include the sources from encapsulated libs
1928
1929 Locally_Removed : Boolean;
1930 end record;
1931
1932 procedure Add_To_Buffer
1933 (S : String;
1934 To : in out String_Access;
1935 Last : in out Natural);
1936 -- Append a String to the Buffer
1937
1938 package Temp_Files_Table is new GNAT.Dynamic_Tables
1939 (Table_Component_Type => Path_Name_Type,
1940 Table_Index_Type => Integer,
1941 Table_Low_Bound => 1,
1942 Table_Initial => 10,
1943 Table_Increment => 10);
1944 -- Table to store the path name of all the created temporary files, so that
1945 -- they can be deleted at the end, or when the program is interrupted.
1946
1947 type Private_Project_Tree_Data is record
1948 Temp_Files : Temp_Files_Table.Instance;
1949 -- Temporary files created as part of running tools (pragma files,
1950 -- mapping files,...)
1951
1952 Current_Source_Path_File : Path_Name_Type := No_Path;
1953 -- Current value of project source path file env var. Used to avoid
1954 -- setting the env var to the same value. When different from No_Path,
1955 -- this indicates that logical names (VMS) or environment variables were
1956 -- created and should be deassigned to avoid polluting the environment
1957 -- on VMS.
1958 -- gnatmake only
1959
1960 Current_Object_Path_File : Path_Name_Type := No_Path;
1961 -- Current value of project object path file env var. Used to avoid
1962 -- setting the env var to the same value.
1963 -- gnatmake only
1964
1965 end record;
1966 -- Type to represent the part of a project tree which is private to the
1967 -- Project Manager.
1968
1969 type Processing_Flags is record
1970 Require_Sources_Other_Lang : Boolean;
1971 Report_Error : Error_Handler;
1972 When_No_Sources : Error_Warning;
1973 Allow_Duplicate_Basenames : Boolean;
1974 Compiler_Driver_Mandatory : Boolean;
1975 Error_On_Unknown_Language : Boolean;
1976 Require_Obj_Dirs : Error_Warning;
1977 Allow_Invalid_External : Error_Warning;
1978 Missing_Source_Files : Error_Warning;
1979 Ignore_Missing_With : Boolean;
1980 end record;
1981
1982 Gprbuild_Flags : constant Processing_Flags :=
1983 (Report_Error => null,
1984 When_No_Sources => Warning,
1985 Require_Sources_Other_Lang => True,
1986 Allow_Duplicate_Basenames => False,
1987 Compiler_Driver_Mandatory => True,
1988 Error_On_Unknown_Language => True,
1989 Require_Obj_Dirs => Error,
1990 Allow_Invalid_External => Error,
1991 Missing_Source_Files => Error,
1992 Ignore_Missing_With => False);
1993
1994 Gprclean_Flags : constant Processing_Flags :=
1995 (Report_Error => null,
1996 When_No_Sources => Warning,
1997 Require_Sources_Other_Lang => True,
1998 Allow_Duplicate_Basenames => False,
1999 Compiler_Driver_Mandatory => True,
2000 Error_On_Unknown_Language => True,
2001 Require_Obj_Dirs => Warning,
2002 Allow_Invalid_External => Error,
2003 Missing_Source_Files => Error,
2004 Ignore_Missing_With => False);
2005
2006 Gnatmake_Flags : constant Processing_Flags :=
2007 (Report_Error => null,
2008 When_No_Sources => Error,
2009 Require_Sources_Other_Lang => False,
2010 Allow_Duplicate_Basenames => False,
2011 Compiler_Driver_Mandatory => False,
2012 Error_On_Unknown_Language => False,
2013 Require_Obj_Dirs => Error,
2014 Allow_Invalid_External => Error,
2015 Missing_Source_Files => Error,
2016 Ignore_Missing_With => False);
2017
2018 end Prj;