1 @set gprconfig GPRconfig
3 @c ------ projects.texi
4 @c Copyright (C) 2002-2013, Free Software Foundation, Inc.
5 @c This file is shared between the GNAT user's guide and gprbuild. It is not
6 @c compilable on its own, you should instead compile the other two manuals.
7 @c For that reason, there is no toplevel @menu
9 @c ---------------------------------------------
10 @node GNAT Project Manager
11 @chapter GNAT Project Manager
12 @c ---------------------------------------------
17 * Building With Projects::
18 * Organizing Projects into Subsystems::
19 * Scenarios in Projects::
22 * Aggregate Projects::
23 * Aggregate Library Projects::
24 * Project File Reference::
27 @c ---------------------------------------------
30 @c ---------------------------------------------
33 This chapter describes GNAT's @emph{Project Manager}, a facility that allows
34 you to manage complex builds involving a number of source files, directories,
35 and options for different system configurations. In particular,
36 project files allow you to specify:
39 @item The directory or set of directories containing the source files, and/or the
40 names of the specific source files themselves
41 @item The directory in which the compiler's output
42 (@file{ALI} files, object files, tree files, etc.) is to be placed
43 @item The directory in which the executable programs are to be placed
44 @item ^Switch^Switch^ settings for any of the project-enabled tools;
45 you can apply these settings either globally or to individual compilation units.
46 @item The source files containing the main subprogram(s) to be built
47 @item The source programming language(s)
48 @item Source file naming conventions; you can specify these either globally or for
49 individual compilation units (@pxref{Naming Schemes}).
50 @item Change any of the above settings depending on external values, thus enabling
51 the reuse of the projects in various @b{scenarios} (@pxref{Scenarios in Projects}).
52 @item Automatically build libraries as part of the build process
53 (@pxref{Library Projects}).
58 Project files are written in a syntax close to that of Ada, using familiar
59 notions such as packages, context clauses, declarations, default values,
60 assignments, and inheritance (@pxref{Project File Reference}).
62 Project files can be built hierarchically from other project files, simplifying
63 complex system integration and project reuse (@pxref{Organizing Projects into
67 @item One project can import other projects containing needed source files.
68 More generally, the Project Manager lets you structure large development
69 efforts into hierarchical subsystems, where build decisions are delegated
70 to the subsystem level, and thus different compilation environments
71 (^switch^switch^ settings) used for different subsystems.
72 @item You can organize GNAT projects in a hierarchy: a child project
73 can extend a parent project, inheriting the parent's source files and
74 optionally overriding any of them with alternative versions
75 (@pxref{Project Extension}).
80 Several tools support project files, generally in addition to specifying
81 the information on the command line itself). They share common switches
82 to control the loading of the project (in particular
83 @option{^-P^/PROJECT_FILE=^@emph{projectfile}} and
84 @option{^-X^/EXTERNAL_REFERENCE=^@emph{vbl}=@emph{value}}).
86 The Project Manager supports a wide range of development strategies,
87 for systems of all sizes. Here are some typical practices that are
91 @item Using a common set of source files and generating object files in different
92 directories via different ^switch^switch^ settings. It can be used for instance, for
93 generating separate sets of object files for debugging and for production.
94 @item Using a mostly-shared set of source files with different versions of
95 some units or subunits. It can be used for instance, for grouping and hiding
99 all OS dependencies in a small number of implementation units.
101 Project files can be used to achieve some of the effects of a source
102 versioning system (for example, defining separate projects for
103 the different sets of sources that comprise different releases) but the
104 Project Manager is independent of any source configuration management tool
105 that might be used by the developers.
107 The various sections below introduce the different concepts related to
108 projects. Each section starts with examples and use cases, and then goes into
109 the details of related project file capabilities.
111 @c ---------------------------------------------
112 @node Building With Projects
113 @section Building With Projects
114 @c ---------------------------------------------
117 In its simplest form, a unique project is used to build a single executable.
118 This section concentrates on such a simple setup. Later sections will extend
119 this basic model to more complex setups.
121 The following concepts are the foundation of project files, and will be further
122 detailed later in this documentation. They are summarized here as a reference.
125 @item @b{Project file}:
126 A text file using an Ada-like syntax, generally using the @file{.gpr}
127 extension. It defines build-related characteristics of an application.
128 The characteristics include the list of sources, the location of those
129 sources, the location for the generated object files, the name of
130 the main program, and the options for the various tools involved in the
133 @item @b{Project attribute}:
134 A specific project characteristic is defined by an attribute clause. Its
135 value is a string or a sequence of strings. All settings in a project
136 are defined through a list of predefined attributes with precise
137 semantics. @xref{Attributes}.
139 @item @b{Package in a project}:
140 Global attributes are defined at the top level of a project.
141 Attributes affecting specific tools are grouped in a
142 package whose name is related to tool's function. The most common
143 packages are @code{Builder}, @code{Compiler}, @code{Binder},
144 and @code{Linker}. @xref{Packages}.
146 @item @b{Project variables}:
147 In addition to attributes, a project can use variables to store intermediate
148 values and avoid duplication in complex expressions. It can be initialized
149 with a value coming from the environment.
150 A frequent use of variables is to define scenarios.
151 @xref{External Values}, @xref{Scenarios in Projects}, and @xref{Variables}.
153 @item @b{Source files} and @b{source directories}:
154 A source file is associated with a language through a naming convention. For
155 instance, @code{foo.c} is typically the name of a C source file;
156 @code{bar.ads} or @code{bar.1.ada} are two common naming conventions for a
157 file containing an Ada spec. A compilation unit is often composed of a main
158 source file and potentially several auxiliary ones, such as header files in C.
159 The naming conventions can be user defined @xref{Naming Schemes}, and will
160 drive the builder to call the appropriate compiler for the given source file.
161 Source files are searched for in the source directories associated with the
162 project through the @b{Source_Dirs} attribute. By default, all the files (in
163 these source directories) following the naming conventions associated with the
164 declared languages are considered to be part of the project. It is also
165 possible to limit the list of source files using the @b{Source_Files} or
166 @b{Source_List_File} attributes. Note that those last two attributes only
167 accept basenames with no directory information.
169 @item @b{Object files} and @b{object directory}:
170 An object file is an intermediate file produced by the compiler from a
171 compilation unit. It is used by post-compilation tools to produce
172 final executables or libraries. Object files produced in the context of
173 a given project are stored in a single directory that can be specified by the
174 @b{Object_Dir} attribute. In order to store objects in
175 two or more object directories, the system must be split into
176 distinct subsystems with their own project file.
181 The following subsections introduce gradually all the attributes of interest
182 for simple build needs. Here is the simple setup that will be used in the
185 The Ada source files @file{pack.ads}, @file{pack.adb}, and @file{proc.adb} are in
186 the @file{common/} directory. The file @file{proc.adb} contains an Ada main
187 subprogram @code{Proc} that @code{with}s package @code{Pack}. We want to compile
188 these source files with the ^switch^switch^
189 @option{^-O2^-O2^}, and put the resulting files in
190 the directory @file{obj/}.
200 ^common/release/^[COMMON.RELEASE]^
201 proc.ali, proc.o pack.ali, pack.o
206 Our project is to be called @emph{Build}. The name of the
207 file is the name of the project (case-insensitive) with the
208 @file{.gpr} extension, therefore the project file name is @file{build.gpr}. This
209 is not mandatory, but a warning is issued when this convention is not followed.
211 This is a very simple example, and as stated above, a single project
212 file is enough for it. We will thus create a new file, that for now
213 should contain the following code:
216 @b{project} Build @b{is}
221 * Source Files and Directories::
222 * Duplicate Sources in Projects::
223 * Object and Exec Directory::
225 * Tools Options in Project Files::
226 * Compiling with Project Files::
227 * Executable File Names::
228 * Avoid Duplication With Variables::
231 * Distributed support::
234 @c ---------------------------------------------
235 @node Source Files and Directories
236 @subsection Source Files and Directories
237 @c ---------------------------------------------
240 When you create a new project, the first thing to describe is how to find the
241 corresponding source files. This is the only settings that are needed by all
242 the tools that will use this project (builder, compiler, binder and linker for
243 the compilation, IDEs to edit the source files,@dots{}).
245 @cindex Source directories
246 First step is to declare the source directories, which are the directories
247 to be searched to find source files. In the case of the example,
248 the @file{common} directory is the only source directory.
250 @cindex @code{Source_Dirs}
251 There are several ways of defining source directories:
254 @item When the attribute @b{Source_Dirs} is not used, a project contains a
255 single source directory which is the one where the project file itself
256 resides. In our example, if @file{build.gpr} is placed in the @file{common}
257 directory, the project has the needed implicit source directory.
259 @item The attribute @b{Source_Dirs} can be set to a list of path names, one
260 for each of the source directories. Such paths can either be absolute
261 names (for instance @file{"/usr/local/common/"} on UNIX), or relative to the
262 directory in which the project file resides (for instance "." if
263 @file{build.gpr} is inside @file{common/}, or "common" if it is one level up).
264 Each of the source directories must exist and be readable.
267 The syntax for directories is platform specific. For portability, however,
268 the project manager will always properly translate UNIX-like path names to
269 the native format of specific platform. For instance, when the same project
270 file is to be used both on Unix and Windows, "/" should be used as the
271 directory separator rather than "\".
273 @item The attribute @b{Source_Dirs} can automatically include subdirectories
274 using a special syntax inspired by some UNIX shells. If any of the path in
275 the list ends with @emph{"**"}, then that path and all its subdirectories
276 (recursively) are included in the list of source directories. For instance,
277 @file{**} and @file{./**} represent the complete directory tree rooted at ".".
278 @cindex Source directories, recursive
280 @cindex @code{Excluded_Source_Dirs}
281 When using that construct, it can sometimes be convenient to also use the
282 attribute @b{Excluded_Source_Dirs}, which is also a list of paths. Each entry
283 specifies a directory whose immediate content, not including subdirs, is to
284 be excluded. It is also possible to exclude a complete directory subtree
285 using the "**" notation.
287 @cindex @code{Ignore_Source_Sub_Dirs}
288 It is often desirable to remove, from the source directories, directory
289 subtrees rooted at some subdirectories. An example is the subdirectories
290 created by a Version Control System such as Subversion that creates directory
291 subtrees rooted at subdirectories ".svn". To do that, attribute
292 @b{Ignore_Source_Sub_Dirs} can be used. It specifies the list of simple
293 file names for the roots of these undesirable directory subtrees.
296 @b{for} Source_Dirs @b{use} ("./**");
297 @b{for} Ignore_Source_Sub_Dirs @b{use} (".svn");
303 When applied to the simple example, and because we generally prefer to have
304 the project file at the toplevel directory rather than mixed with the sources,
305 we will create the following file
309 @b{project} Build @b{is}
310 @b{for} Source_Dirs @b{use} ("common"); -- <<<<
315 Once source directories have been specified, one may need to indicate
316 source files of interest. By default, all source files present in the source
317 directories are considered by the project manager. When this is not desired,
318 it is possible to specify the list of sources to consider explicitly.
319 In such a case, only source file base names are indicated and not
320 their absolute or relative path names. The project manager is in charge of
321 locating the specified source files in the specified source directories.
324 @item By default, the project manager search for all source files of all
325 specified languages in all the source directories.
327 Since the project manager was initially developed for Ada environments, the
328 default language is usually Ada and the above project file is complete: it
329 defines without ambiguity the sources composing the project: that is to say,
330 all the sources in subdirectory "common" for the default language (Ada) using
331 the default naming convention.
333 @cindex @code{Languages}
334 However, when compiling a multi-language application, or a pure C
335 application, the project manager must be told which languages are of
336 interest, which is done by setting the @b{Languages} attribute to a list of
337 strings, each of which is the name of a language. Tools like
338 @command{gnatmake} only know about Ada, while other tools like
339 @command{gprbuild} know about many more languages such as C, C++, Fortran,
340 assembly and others can be added dynamically.
342 @cindex Naming scheme
343 Even when using only Ada, the default naming might not be suitable. Indeed,
344 how does the project manager recognizes an "Ada file" from any other
345 file? Project files can describe the naming scheme used for source files,
346 and override the default (@pxref{Naming Schemes}). The default is the
347 standard GNAT extension (@file{.adb} for bodies and @file{.ads} for
348 specs), which is what is used in our example, explaining why no naming scheme
349 is explicitly specified.
350 @xref{Naming Schemes}.
352 @item @code{Source_Files}
353 @cindex @code{Source_Files}
354 In some cases, source directories might contain files that should not be
355 included in a project. One can specify the explicit list of file names to
356 be considered through the @b{Source_Files} attribute.
357 When this attribute is defined, instead of looking at every file in the
358 source directories, the project manager takes only those names into
359 consideration reports errors if they cannot be found in the source
360 directories or does not correspond to the naming scheme.
362 @item For various reasons, it is sometimes useful to have a project with no
363 sources (most of the time because the attributes defined in the project
364 file will be reused in other projects, as explained in
365 @pxref{Organizing Projects into Subsystems}. To do this, the attribute
366 @emph{Source_Files} is set to the empty list, i.e. @code{()}. Alternatively,
367 @emph{Source_Dirs} can be set to the empty list, with the same
370 @item @code{Source_List_File}
371 @cindex @code{Source_List_File}
372 If there is a great number of files, it might be more convenient to use
373 the attribute @b{Source_List_File}, which specifies the full path of a file.
374 This file must contain a list of source file names (one per line, no
375 directory information) that are searched as if they had been defined
376 through @emph{Source_Files}. Such a file can easily be created through
379 A warning is issued if both attributes @code{Source_Files} and
380 @code{Source_List_File} are given explicit values. In this case, the
381 attribute @code{Source_Files} prevails.
383 @item @code{Excluded_Source_Files}
384 @cindex @code{Excluded_Source_Files}
385 @cindex @code{Locally_Removed_Files}
386 @cindex @code{Excluded_Source_List_File}
387 Specifying an explicit list of files is not always convenient.It might be
388 more convenient to use the default search rules with specific exceptions.
389 This can be done thanks to the attribute @b{Excluded_Source_Files}
390 (or its synonym @b{Locally_Removed_Files}).
391 Its value is the list of file names that should not be taken into account.
392 This attribute is often used when extending a project,
393 @xref{Project Extension}. A similar attribute
394 @b{Excluded_Source_List_File} plays the same
395 role but takes the name of file containing file names similarly to
396 @code{Source_List_File}.
401 In most simple cases, such as the above example, the default source file search
402 behavior provides the expected result, and we do not need to add anything after
403 setting @code{Source_Dirs}. The project manager automatically finds
404 @file{pack.ads}, @file{pack.adb} and @file{proc.adb} as source files of the
407 Note that by default a warning is issued when a project has no sources attached
408 to it and this is not explicitly indicated in the project file.
410 @c ---------------------------------------------
411 @node Duplicate Sources in Projects
412 @subsection Duplicate Sources in Projects
413 @c ---------------------------------------------
416 If the order of the source directories is known statically, that is if
417 @code{"/**"} is not used in the string list @code{Source_Dirs}, then there may
418 be several files with the same source file name sitting in different
419 directories of the project. In this case, only the file in the first directory
420 is considered as a source of the project and the others are hidden. If
421 @code{"/**"} is used in the string list @code{Source_Dirs}, it is an error
422 to have several files with the same source file name in the same directory
423 @code{"/**"} subtree, since there would be an ambiguity as to which one should
424 be used. However, two files with the same source file name may exist in two
425 single directories or directory subtrees. In this case, the one in the first
426 directory or directory subtree is a source of the project.
428 If there are two sources in different directories of the same @code{"/**"}
429 subtree, one way to resolve the problem is to exclude the directory of the
430 file that should not be used as a source of the project.
432 @c ---------------------------------------------
433 @node Object and Exec Directory
434 @subsection Object and Exec Directory
435 @c ---------------------------------------------
438 The next step when writing a project is to indicate where the compiler should
439 put the object files. In fact, the compiler and other tools might create
440 several different kind of files (for GNAT, there is the object file and the ALI
441 file for instance). One of the important concepts in projects is that most
442 tools may consider source directories as read-only and do not attempt to create
443 new or temporary files there. Instead, all files are created in the object
444 directory. It is of course not true for project-aware IDEs, whose purpose it is
445 to create the source files.
447 @cindex @code{Object_Dir}
448 The object directory is specified through the @b{Object_Dir} attribute.
449 Its value is the path to the object directory, either absolute or
450 relative to the directory containing the project file. This
451 directory must already exist and be readable and writable, although
452 some tools have a switch to create the directory if needed (See
453 the switch @code{^-p^/CREATE_MISSING_DIRS^} for @command{gnatmake}
454 and @command{gprbuild}).
456 If the attribute @code{Object_Dir} is not specified, it defaults to
457 the project directory, that is the directory containing the project file.
459 For our example, we can specify the object dir in this way:
462 @b{project} Build @b{is}
463 @b{for} Source_Dirs @b{use} ("common");
464 @b{for} Object_Dir @b{use} "obj"; -- <<<<
469 As mentioned earlier, there is a single object directory per project. As a
470 result, if you have an existing system where the object files are spread in
471 several directories, you can either move all of them into the same directory if
472 you want to build it with a single project file, or study the section on
473 subsystems (@pxref{Organizing Projects into Subsystems}) to see how each
474 separate object directory can be associated with one of the subsystem
475 constituting the application.
477 When the @command{linker} is called, it usually creates an executable. By
478 default, this executable is placed in the object directory of the project. It
479 might be convenient to store it in its own directory.
481 @cindex @code{Exec_Dir}
482 This can be done through the @code{Exec_Dir} attribute, which, like
483 @emph{Object_Dir} contains a single absolute or relative path and must point to
484 an existing and writable directory, unless you ask the tool to create it on
485 your behalf. When not specified, It defaults to the object directory and
486 therefore to the project file's directory if neither @emph{Object_Dir} nor
487 @emph{Exec_Dir} was specified.
489 In the case of the example, let's place the executable in the root
490 of the hierarchy, ie the same directory as @file{build.gpr}. Hence
491 the project file is now
494 @b{project} Build @b{is}
495 @b{for} Source_Dirs @b{use} ("common");
496 @b{for} Object_Dir @b{use} "obj";
497 @b{for} Exec_Dir @b{use} "."; -- <<<<
501 @c ---------------------------------------------
502 @node Main Subprograms
503 @subsection Main Subprograms
504 @c ---------------------------------------------
507 In the previous section, executables were mentioned. The project manager needs
508 to be taught what they are. In a project file, an executable is indicated by
509 pointing to source file of the main subprogram. In C this is the file that
510 contains the @code{main} function, and in Ada the file that contains the main
513 There can be any number of such main files within a given project, and thus
514 several executables can be built in the context of a single project file. Of
515 course, one given executable might not (and in fact will not) need all the
516 source files referenced by the project. As opposed to other build environments
517 such as @command{makefile}, one does not need to specify the list of
518 dependencies of each executable, the project-aware builders knows enough of the
519 semantics of the languages to build ands link only the necessary elements.
522 The list of main files is specified via the @b{Main} attribute. It contains
523 a list of file names (no directories). If a project defines this
524 attribute, it is not necessary to identify main files on the
525 command line when invoking a builder, and editors like
526 @command{GPS} will be able to create extra menus to spawn or debug the
527 corresponding executables.
530 @b{project} Build @b{is}
531 @b{for} Source_Dirs @b{use} ("common");
532 @b{for} Object_Dir @b{use} "obj";
533 @b{for} Exec_Dir @b{use} ".";
534 @b{for} Main @b{use} ("proc.adb"); -- <<<<
539 If this attribute is defined in the project, then spawning the builder
540 with a command such as
543 gnatmake ^-Pbuild^/PROJECT_FILE=build^
547 automatically builds all the executables corresponding to the files
548 listed in the @emph{Main} attribute. It is possible to specify one
549 or more executables on the command line to build a subset of them.
551 @c ---------------------------------------------
552 @node Tools Options in Project Files
553 @subsection Tools Options in Project Files
554 @c ---------------------------------------------
557 We now have a project file that fully describes our environment, and can be
558 used to build the application with a simple @command{gnatmake} command as seen
559 in the previous section. In fact, the empty project we showed immediately at
560 the beginning (with no attribute at all) could already fulfill that need if it
561 was put in the @file{common} directory.
563 Of course, we always want more control. This section will show you how to
564 specify the compilation switches that the various tools involved in the
565 building of the executable should use.
567 @cindex command line length
568 Since source names and locations are described into the project file, it is not
569 necessary to use switches on the command line for this purpose (switches such
570 as -I for gcc). This removes a major source of command line length overflow.
571 Clearly, the builders will have to communicate this information one way or
572 another to the underlying compilers and tools they call but they usually use
573 response files for this and thus should not be subject to command line
576 Several tools are participating to the creation of an executable: the compiler
577 produces object files from the source files; the binder (in the Ada case)
578 creates an source file that takes care, among other things, of elaboration
579 issues and global variables initialization; and the linker gathers everything
580 into a single executable that users can execute. All these tools are known by
581 the project manager and will be called with user defined switches from the
582 project files. However, we need to introduce a new project file concept to
583 express which switches to be used for any of the tools involved in the build.
585 @cindex project file packages
586 A project file is subdivided into zero or more @b{packages}, each of which
587 contains the attributes specific to one tool (or one set of tools). Project
588 files use an Ada-like syntax for packages. Package names permitted in project
589 files are restricted to a predefined set (@pxref{Packages}), and the contents
590 of packages are limited to a small set of constructs and attributes
591 (@pxref{Attributes}).
593 Our example project file can be extended with the following empty packages. At
594 this stage, they could all be omitted since they are empty, but they show which
595 packages would be involved in the build process.
598 @b{project} Build @b{is}
599 @b{for} Source_Dirs @b{use} ("common");
600 @b{for} Object_Dir @b{use} "obj";
601 @b{for} Exec_Dir @b{use} ".";
602 @b{for} Main @b{use} ("proc.adb");
604 @b{package} Builder @b{is} --<<< for gnatmake and gprbuild
607 @b{package} Compiler @b{is} --<<< for the compiler
610 @b{package} Binder @b{is} --<<< for the binder
613 @b{package} Linker @b{is} --<<< for the linker
619 Let's first examine the compiler switches. As stated in the initial description
620 of the example, we want to compile all files with @option{^-O2^-O2^}. This is a
621 compiler switch, although it is usual, on the command line, to pass it to the
622 builder which then passes it to the compiler. It is recommended to use directly
623 the right package, which will make the setup easier to understand for other
626 Several attributes can be used to specify the ^switches^switches^:
629 @item @b{Default_Switches}:
630 @cindex @code{Default_Switches}
631 This is the first mention in this manual of an @b{indexed attribute}. When
632 this attribute is defined, one must supply an @emph{index} in the form of a
634 In the case of @emph{Default_Switches}, the index is the name of the
635 language to which the switches apply (since a different compiler will
636 likely be used for each language, and each compiler has its own set of
637 switches). The value of the attribute is a list of switches.
639 In this example, we want to compile all Ada source files with the ^switch^switch^
640 @option{^-O2^-O2^}, and the resulting project file is as follows
641 (only the @code{Compiler} package is shown):
644 @b{package} Compiler @b{is}
645 @b{for} Default_Switches ("Ada") @b{use} ("^-O2^-O2^");
649 @item @b{^Switches^Switches^}:
650 @cindex @code{^Switches^Switches^}
651 in some cases, we might want to use specific ^switches^switches^
652 for one or more files. For instance, compiling @file{proc.adb} might not be
653 possible at high level of optimization because of a compiler issue.
654 In such a case, the @emph{^Switches^Switches^}
655 attribute (indexed on the file name) can be used and will override the
656 switches defined by @emph{Default_Switches}. Our project file would
661 for Default_Switches ("Ada")
663 for ^Switches^Switches^ ("proc.adb")
669 @code{^Switches^Switches^} may take a pattern as an index, such as in:
673 for Default_Switches ("Ada")
675 for ^Switches^Switches^ ("pkg*")
681 Sources @file{pkg.adb} and @file{pkg-child.adb} would be compiled with ^-O0^-O0^,
685 @code{^Switches^Switches^} can also be given a language name as index instead of a file
686 name in which case it has the same semantics as @emph{Default_Switches}.
687 However, indexes with wild cards are never valid for language name.
689 @item @b{Local_Configuration_Pragmas}:
690 @cindex @code{Local_Configuration_Pragmas}
691 this attribute may specify the path
692 of a file containing configuration pragmas for use by the Ada compiler,
693 such as @code{pragma Restrictions (No_Tasking)}. These pragmas will be
694 used for all the sources of the project.
698 The switches for the other tools are defined in a similar manner through the
699 @b{Default_Switches} and @b{^Switches^Switches^} attributes, respectively in the
700 @emph{Builder} package (for @command{gnatmake} and @command{gprbuild}),
701 the @emph{Binder} package (binding Ada executables) and the @emph{Linker}
702 package (for linking executables).
704 @c ---------------------------------------------
705 @node Compiling with Project Files
706 @subsection Compiling with Project Files
707 @c ---------------------------------------------
710 Now that our project files are written, let's build our executable.
711 Here is the command we would use from the command line:
714 gnatmake ^-Pbuild^/PROJECT_FILE=build^
718 This will automatically build the executables specified through the
719 @emph{Main} attribute: for each, it will compile or recompile the
720 sources for which the object file does not exist or is not up-to-date; it
721 will then run the binder; and finally run the linker to create the
724 @command{gnatmake} only knows how to handle Ada files. By using
725 @command{gprbuild} as a builder, you could automatically manage C files the
726 same way: create the file @file{utils.c} in the @file{common} directory,
727 set the attribute @emph{Languages} to @code{"(Ada, C)"}, and run
730 gprbuild ^-Pbuild^/PROJECT_FILE=build^
734 Gprbuild knows how to recompile the C files and will
735 recompile them only if one of their dependencies has changed. No direct
736 indication on how to build the various elements is given in the
737 project file, which describes the project properties rather than a
738 set of actions to be executed. Here is the invocation of
739 @command{gprbuild} when building a multi-language program:
752 Notice the three steps described earlier:
755 @item The first three gcc commands correspond to the compilation phase.
756 @item The gprbind command corresponds to the post-compilation phase.
757 @item The last gcc command corresponds to the final link.
762 @cindex @option{-v} option (for GPRbuild)
763 The default output of GPRbuild's execution is kept reasonably simple and easy
764 to understand. In particular, some of the less frequently used commands are not
765 shown, and some parameters are abbreviated. So it is not possible to rerun the
766 effect of the @command{gprbuild} command by cut-and-pasting its output.
767 GPRbuild's option @code{-v} provides a much more verbose output which includes,
768 among other information, more complete compilation, post-compilation and link
771 @c ---------------------------------------------
772 @node Executable File Names
773 @subsection Executable File Names
774 @c ---------------------------------------------
777 @cindex @code{Executable}
778 By default, the executable name corresponding to a main file is
779 computed from the main source file name. Through the attribute
780 @b{Builder.Executable}, it is possible to change this default.
782 For instance, instead of building @command{proc} (or @command{proc.exe}
783 on Windows), we could configure our project file to build "proc1"
784 (resp proc1.exe) with the following addition:
786 @smallexample @c projectfile
788 ... -- same as before
790 for Executable ("proc.adb") use "proc1";
796 @cindex @code{Executable_Suffix}
797 Attribute @b{Executable_Suffix}, when specified, may change the suffix
798 of the executable files, when no attribute @code{Executable} applies:
799 its value replace the platform-specific executable suffix.
800 The default executable suffix is empty on UNIX and ".exe" on Windows.
802 It is also possible to change the name of the produced executable by using the
803 command line switch @option{-o}. When several mains are defined in the project,
804 it is not possible to use the @option{-o} switch and the only way to change the
805 names of the executable is provided by Attributes @code{Executable} and
806 @code{Executable_Suffix}.
808 @c ---------------------------------------------
809 @node Avoid Duplication With Variables
810 @subsection Avoid Duplication With Variables
811 @c ---------------------------------------------
814 To illustrate some other project capabilities, here is a slightly more complex
815 project using similar sources and a main program in C:
817 @smallexample @c projectfile
819 for Languages use ("Ada", "C");
820 for Source_Dirs use ("common");
821 for Object_Dir use "obj";
822 for Main use ("main.c");
824 C_Switches := ("-pedantic");
825 for Default_Switches ("C") use C_Switches;
826 for Default_Switches ("Ada") use ("^-gnaty^-gnaty^");
827 for ^Switches^Switches^ ("main.c") use C_Switches & ("-g");
833 This project has many similarities with the previous one.
834 As expected, its @code{Main} attribute now refers to a C source.
835 The attribute @emph{Exec_Dir} is now omitted, thus the resulting
836 executable will be put in the directory @file{obj}.
838 The most noticeable difference is the use of a variable in the
839 @emph{Compiler} package to store settings used in several attributes.
840 This avoids text duplication, and eases maintenance (a single place to
841 modify if we want to add new switches for C files). We will revisit
842 the use of variables in the context of scenarios (@pxref{Scenarios in
845 In this example, we see how the file @file{main.c} can be compiled with
846 the switches used for all the other C files, plus @option{-g}.
847 In this specific situation the use of a variable could have been
848 replaced by a reference to the @code{Default_Switches} attribute:
850 @smallexample @c projectfile
851 for ^Switches^Switches^ ("c_main.c") use Compiler'Default_Switches ("C") & ("-g");
855 Note the tick (@emph{'}) used to refer to attributes defined in a package.
857 Here is the output of the GPRbuild command using this project:
861 gcc -c -pedantic -g main.c
862 gcc -c -gnaty proc.adb
863 gcc -c -gnaty pack.adb
864 gcc -c -pedantic utils.c
871 The default switches for Ada sources,
872 the default switches for C sources (in the compilation of @file{lib.c}),
873 and the specific switches for @file{main.c} have all been taken into
876 @c ---------------------------------------------
878 @subsection Naming Schemes
879 @c ---------------------------------------------
882 Sometimes an Ada software system is ported from one compilation environment to
883 another (say GNAT), and the file are not named using the default GNAT
884 conventions. Instead of changing all the file names, which for a variety of
885 reasons might not be possible, you can define the relevant file naming scheme
886 in the @b{Naming} package of your project file.
888 The naming scheme has two distinct goals for the project manager: it
889 allows finding of source files when searching in the source
890 directories, and given a source file name it makes it possible to guess
891 the associated language, and thus the compiler to use.
893 Note that the use by the Ada compiler of pragmas Source_File_Name is not
894 supported when using project files. You must use the features described in this
895 paragraph. You can however specify other configuration pragmas.
897 The following attributes can be defined in package @code{Naming}:
901 @cindex @code{Casing}
902 Its value must be one of @code{"lowercase"} (the default if
903 unspecified), @code{"uppercase"} or @code{"mixedcase"}. It describes the
904 casing of file names with regards to the Ada unit name. Given an Ada unit
905 My_Unit, the file name will respectively be @file{my_unit.adb} (lowercase),
906 @file{MY_UNIT.ADB} (uppercase) or @file{My_Unit.adb} (mixedcase).
907 On Windows, file names are case insensitive, so this attribute is
910 @item @b{Dot_Replacement}:
911 @cindex @code{Dot_Replacement}
912 This attribute specifies the string that should replace the "." in unit
913 names. Its default value is @code{"-"} so that a unit
914 @code{Parent.Child} is expected to be found in the file
915 @file{parent-child.adb}. The replacement string must satisfy the following
916 requirements to avoid ambiguities in the naming scheme:
919 @item It must not be empty
920 @item It cannot start or end with an alphanumeric character
921 @item It cannot be a single underscore
922 @item It cannot start with an underscore followed by an alphanumeric
923 @item It cannot contain a dot @code{'.'} except if the entire string
928 @item @b{Spec_Suffix} and @b{Specification_Suffix}:
929 @cindex @code{Spec_Suffix}
930 @cindex @code{Specification_Suffix}
931 For Ada, these attributes give the suffix used in file names that contain
932 specifications. For other languages, they give the extension for files
933 that contain declaration (header files in C for instance). The attribute
934 is indexed on the language.
935 The two attributes are equivalent, but the latter is obsolescent.
937 If the value of the attribute is the empty string, it indicates to the
938 Project Manager that the only specifications/header files for the language
939 are those specified with attributes @code{Spec} or
940 @code{Specification_Exceptions}.
942 If @code{Spec_Suffix ("Ada")} is not specified, then the default is
943 @code{"^.ads^.ADS^"}.
945 A non empty value must satisfy the following requirements:
948 @item It must include at least one dot
949 @item If @code{Dot_Replacement} is a single dot, then it cannot include
953 @item @b{Body_Suffix} and @b{Implementation_Suffix}:
954 @cindex @code{Body_Suffix}
955 @cindex @code{Implementation_Suffix}
956 These attributes give the extension used for file names that contain
957 code (bodies in Ada). They are indexed on the language. The second
958 version is obsolescent and fully replaced by the first attribute.
960 For each language of a project, one of these two attributes need to be
961 specified, either in the project itself or in the configuration project file.
963 If the value of the attribute is the empty string, it indicates to the
964 Project Manager that the only source files for the language
965 are those specified with attributes @code{Body} or
966 @code{Implementation_Exceptions}.
968 These attributes must satisfy the same requirements as @code{Spec_Suffix}.
969 In addition, they must be different from any of the values in
971 If @code{Body_Suffix ("Ada")} is not specified, then the default is
972 @code{"^.adb^.ADB^"}.
974 If @code{Body_Suffix ("Ada")} and @code{Spec_Suffix ("Ada")} end with the
975 same string, then a file name that ends with the longest of these two
976 suffixes will be a body if the longest suffix is @code{Body_Suffix ("Ada")}
977 or a spec if the longest suffix is @code{Spec_Suffix ("Ada")}.
979 If the suffix does not start with a '.', a file with a name exactly equal to
980 the suffix will also be part of the project (for instance if you define the
981 suffix as @code{Makefile.in}, a file called @file{Makefile.in} will be part
982 of the project. This capability is usually not interesting when building.
983 However, it might become useful when a project is also used to
984 find the list of source files in an editor, like the GNAT Programming System
987 @item @b{Separate_Suffix}:
988 @cindex @code{Separate_Suffix}
989 This attribute is specific to Ada. It denotes the suffix used in file names
990 that contain separate bodies. If it is not specified, then it defaults to
991 same value as @code{Body_Suffix ("Ada")}.
993 The value of this attribute cannot be the empty string.
995 Otherwise, the same rules apply as for the
996 @code{Body_Suffix} attribute. The only accepted index is "Ada".
998 @item @b{Spec} or @b{Specification}:
1000 @cindex @code{Specification}
1001 This attribute @code{Spec} can be used to define the source file name for a
1002 given Ada compilation unit's spec. The index is the literal name of the Ada
1003 unit (case insensitive). The value is the literal base name of the file that
1004 contains this unit's spec (case sensitive or insensitive depending on the
1005 operating system). This attribute allows the definition of exceptions to the
1006 general naming scheme, in case some files do not follow the usual
1009 When a source file contains several units, the relative position of the unit
1010 can be indicated. The first unit in the file is at position 1
1012 @smallexample @c projectfile
1013 for Spec ("MyPack.MyChild") use "mypack.mychild.spec";
1014 for Spec ("top") use "foo.a" at 1;
1015 for Spec ("foo") use "foo.a" at 2;
1018 @item @b{Body} or @b{Implementation}:
1020 @cindex @code{Implementation}
1021 These attribute play the same role as @emph{Spec} for Ada bodies.
1023 @item @b{Specification_Exceptions} and @b{Implementation_Exceptions}:
1024 @cindex @code{Specification_Exceptions}
1025 @cindex @code{Implementation_Exceptions}
1026 These attributes define exceptions to the naming scheme for languages
1027 other than Ada. They are indexed on the language name, and contain
1028 a list of file names respectively for headers and source code.
1033 For example, the following package models the Apex file naming rules:
1035 @smallexample @c projectfile
1038 for Casing use "lowercase";
1039 for Dot_Replacement use ".";
1040 for Spec_Suffix ("Ada") use ".1.ada";
1041 for Body_Suffix ("Ada") use ".2.ada";
1048 For example, the following package models the DEC Ada file naming rules:
1050 @smallexample @c projectfile
1053 for Casing use "lowercase";
1054 for Dot_Replacement use "__";
1055 for Spec_Suffix ("Ada") use "_.ada";
1056 for Body_Suffix ("Ada") use ".ada";
1062 (Note that @code{Casing} is @code{"lowercase"} because GNAT gets the file
1063 names in lower case)
1066 @c ---------------------------------------------
1068 @subsection Installation
1069 @c ---------------------------------------------
1072 After building an application or a library it is often required to
1073 install it into the development environment. For instance this step is
1074 required if the library is to be used by another application.
1075 The @command{gprinstall} tool provides an easy way to install
1076 libraries, executable or object code generated during the build. The
1077 @b{Install} package can be used to change the default locations.
1079 The following attributes can be defined in package @code{Install}:
1085 Whether the project is to be installed, values are @code{true}
1086 (default) or @code{false}.
1089 @cindex @code{Prefix}
1091 Root directory for the installation.
1093 @item @b{Exec_Subdir}
1095 Subdirectory of @b{Prefix} where executables are to be
1096 installed. Default is @b{bin}.
1098 @item @b{Lib_Subdir}
1100 Subdirectory of @b{Prefix} where directory with the library or object
1101 files is to be installed. Default is @b{lib}.
1103 @item @b{Sources_Subdir}
1105 Subdirectory of @b{Prefix} where directory with sources is to be
1106 installed. Default is @b{include}.
1108 @item @b{Project_Subdir}
1110 Subdirectory of @b{Prefix} where the generated project file is to be
1111 installed. Default is @b{share/gpr}.
1114 @c ---------------------------------------------
1115 @node Distributed support
1116 @subsection Distributed support
1117 @c ---------------------------------------------
1120 For large projects the compilation time can become a limitation in
1121 the development cycle. To cope with that, GPRbuild supports
1122 distributed compilation.
1124 The following attributes can be defined in package @code{Remote}:
1129 @cindex @code{Root_Dir}
1131 Root directory of the project's sources. The default value is the
1132 project's directory.
1136 @c ---------------------------------------------
1137 @node Organizing Projects into Subsystems
1138 @section Organizing Projects into Subsystems
1139 @c ---------------------------------------------
1142 A @b{subsystem} is a coherent part of the complete system to be built. It is
1143 represented by a set of sources and one single object directory. A system can
1144 be composed of a single subsystem when it is simple as we have seen in the
1145 first section. Complex systems are usually composed of several interdependent
1146 subsystems. A subsystem is dependent on another subsystem if knowledge of the
1147 other one is required to build it, and in particular if visibility on some of
1148 the sources of this other subsystem is required. Each subsystem is usually
1149 represented by its own project file.
1151 In this section, the previous example is being extended. Let's assume some
1152 sources of our @code{Build} project depend on other sources.
1153 For instance, when building a graphical interface, it is usual to depend upon
1154 a graphical library toolkit such as GtkAda. Furthermore, we also need
1155 sources from a logging module we had previously written.
1158 * Project Dependencies::
1159 * Cyclic Project Dependencies::
1160 * Sharing Between Projects::
1161 * Global Attributes::
1164 @c ---------------------------------------------
1165 @node Project Dependencies
1166 @subsection Project Dependencies
1167 @c ---------------------------------------------
1170 GtkAda comes with its own project file (appropriately called
1171 @file{gtkada.gpr}), and we will assume we have already built a project
1172 called @file{logging.gpr} for the logging module. With the information provided
1173 so far in @file{build.gpr}, building the application would fail with an error
1174 indicating that the gtkada and logging units that are relied upon by the sources
1175 of this project cannot be found.
1177 This is easily solved by adding the following @b{with} clauses at the beginning
1180 @smallexample @c projectfile
1182 with "a/b/logging.gpr";
1189 @cindex @code{Externally_Built}
1190 When such a project is compiled, @command{gnatmake} will automatically
1191 check the other projects and recompile their sources when needed. It will also
1192 recompile the sources from @code{Build} when needed, and finally create the
1193 executable. In some cases, the implementation units needed to recompile a
1194 project are not available, or come from some third-party and you do not want to
1195 recompile it yourself. In this case, the attribute @b{Externally_Built} to
1196 "true" can be set, indicating to the builder that this project can be assumed
1197 to be up-to-date, and should not be considered for recompilation. In Ada, if
1198 the sources of this externally built project were compiled with another version
1199 of the compiler or with incompatible options, the binder will issue an error.
1201 The project's @code{with} clause has several effects. It provides source
1202 visibility between projects during the compilation process. It also guarantees
1203 that the necessary object files from @code{Logging} and @code{GtkAda} are
1204 available when linking @code{Build}.
1206 As can be seen in this example, the syntax for importing projects is similar
1207 to the syntax for importing compilation units in Ada. However, project files
1208 use literal strings instead of names, and the @code{with} clause identifies
1209 project files rather than packages.
1211 Each literal string after @code{with} is the path
1212 (absolute or relative) to a project file. The @code{.gpr} extension is
1213 optional, although we recommend adding it. If no extension is specified,
1214 and no project file with the @file{^.gpr^.GPR^} extension is found, then
1215 the file is searched for exactly as written in the @code{with} clause,
1216 that is with no extension.
1218 As mentioned above, the path after a @code{with} has to be a literal
1219 string, and you cannot use concatenation, or lookup the value of external
1220 variables to change the directories from which a project is loaded.
1221 A solution if you need something like this is to use aggregate projects
1222 (@pxref{Aggregate Projects}).
1224 @cindex project path
1225 When a relative path or a base name is used, the
1226 project files are searched relative to each of the directories in the
1227 @b{project path}. This path includes all the directories found with the
1228 following algorithm, in that order, as soon as a matching file is found,
1232 @item First, the file is searched relative to the directory that contains the
1233 current project file.
1236 @cindex @code{GPR_PROJECT_PATH_FILE}
1237 @cindex @code{GPR_PROJECT_PATH}
1238 @cindex @code{ADA_PROJECT_PATH}
1239 Then it is searched relative to all the directories specified in the
1240 ^environment variables^logical names^ @b{GPR_PROJECT_PATH_FILE},
1241 @b{GPR_PROJECT_PATH} and @b{ADA_PROJECT_PATH} (in that order) if they exist.
1242 The value of @b{GPR_PROJECT_PATH_FILE}, when defined, is the path name of
1243 a text file that contains project directory path names, one per line.
1244 @b{GPR_PROJECT_PATH} and @b{ADA_PROJECT_PATH}, when defined, contain
1245 project directory path names separated by directory separators.
1246 @b{ADA_PROJECT_PATH} is used for compatibility, it is recommended to
1247 use @b{GPR_PROJECT_PATH_FILE} or @b{GPR_PROJECT_PATH}.
1249 @item Finally, it is searched relative to the default project directories.
1250 Such directories depends on the tool used. The different locations searched
1251 in the specified order are:
1254 @item @file{<prefix>/<target>/lib/gnat}
1255 (for @command{gnatmake} in all cases, and for @command{gprbuild} if option
1256 @option{--target} is specified)
1257 @item @file{<prefix>/share/gpr/}
1258 (for @command{gnatmake} and @command{gprbuild})
1259 @item @file{<prefix>/lib/gnat/}
1260 (for @command{gnatmake} and @command{gprbuild})
1263 In our example, @file{gtkada.gpr} is found in the predefined directory if
1264 it was installed at the same root as GNAT.
1268 Some tools also support extending the project path from the command line,
1269 generally through the @option{-aP}. You can see the value of the project
1270 path by using the @command{gnatls -v} command.
1272 Any symbolic link will be fully resolved in the directory of the
1273 importing project file before the imported project file is examined.
1275 Any source file in the imported project can be used by the sources of the
1276 importing project, transitively.
1277 Thus if @code{A} imports @code{B}, which imports @code{C}, the sources of
1278 @code{A} may depend on the sources of @code{C}, even if @code{A} does not
1279 import @code{C} explicitly. However, this is not recommended, because if
1280 and when @code{B} ceases to import @code{C}, some sources in @code{A} will
1281 no longer compile. @command{gprbuild} has a switch @option{--no-indirect-imports}
1282 that will report such indirect dependencies.
1284 One very important aspect of a project hierarchy is that
1285 @b{a given source can only belong to one project} (otherwise the project manager
1286 would not know which settings apply to it and when to recompile it). It means
1287 that different project files do not usually share source directories or
1288 when they do, they need to specify precisely which project owns which sources
1289 using attribute @code{Source_Files} or equivalent. By contrast, 2 projects
1290 can each own a source with the same base file name as long as they live in
1291 different directories. The latter is not true for Ada Sources because of the
1292 correlation between source files and Ada units.
1294 @c ---------------------------------------------
1295 @node Cyclic Project Dependencies
1296 @subsection Cyclic Project Dependencies
1297 @c ---------------------------------------------
1300 Cyclic dependencies are mostly forbidden:
1301 if @code{A} imports @code{B} (directly or indirectly) then @code{B}
1302 is not allowed to import @code{A}. However, there are cases when cyclic
1303 dependencies would be beneficial. For these cases, another form of import
1304 between projects exists: the @b{limited with}. A project @code{A} that
1305 imports a project @code{B} with a straight @code{with} may also be imported,
1306 directly or indirectly, by @code{B} through a @code{limited with}.
1308 The difference between straight @code{with} and @code{limited with} is that
1309 the name of a project imported with a @code{limited with} cannot be used in the
1310 project importing it. In particular, its packages cannot be renamed and
1311 its variables cannot be referred to.
1313 @smallexample @c 0projectfile
1317 For Exec_Dir use B'Exec_Dir; -- ok
1320 limited with "a.gpr"; -- Cyclic dependency: A -> B -> A
1322 For Exec_Dir use A'Exec_Dir; -- not ok
1329 limited with "a.gpr"; -- Cyclic dependency: A -> C -> D -> A
1331 For Exec_Dir use A'Exec_Dir; -- not ok
1335 @c ---------------------------------------------
1336 @node Sharing Between Projects
1337 @subsection Sharing Between Projects
1338 @c ---------------------------------------------
1341 When building an application, it is common to have similar needs in several of
1342 the projects corresponding to the subsystems under construction. For instance,
1343 they will all have the same compilation switches.
1345 As seen before (@pxref{Tools Options in Project Files}), setting compilation
1346 switches for all sources of a subsystem is simple: it is just a matter of
1347 adding a @code{Compiler.Default_Switches} attribute to each project files with
1348 the same value. Of course, that means duplication of data, and both places need
1349 to be changed in order to recompile the whole application with different
1350 switches. It can become a real problem if there are many subsystems and thus
1351 many project files to edit.
1353 There are two main approaches to avoiding this duplication:
1356 @item Since @file{build.gpr} imports @file{logging.gpr}, we could change it
1357 to reference the attribute in Logging, either through a package renaming,
1358 or by referencing the attribute. The following example shows both cases:
1360 @smallexample @c projectfile
1363 for ^Switches^Switches^ ("Ada")
1367 for ^Switches^Switches^ ("Ada")
1374 package Compiler renames Logging.Compiler;
1376 for ^Switches^Switches^ ("Ada") use Logging.Binder'Switches ("Ada");
1382 The solution used for @code{Compiler} gets the same value for all
1383 attributes of the package, but you cannot modify anything from the
1384 package (adding extra switches or some exceptions). The second
1385 version is more flexible, but more verbose.
1387 If you need to refer to the value of a variable in an imported
1388 project, rather than an attribute, the syntax is similar but uses
1389 a "." rather than an apostrophe. For instance:
1391 @smallexample @c projectfile
1394 Var1 := Imported.Var;
1398 @item The second approach is to define the switches in a third project.
1399 That project is setup without any sources (so that, as opposed to
1400 the first example, none of the project plays a special role), and
1401 will only be used to define the attributes. Such a project is
1402 typically called @file{shared.gpr}.
1404 @smallexample @c projectfile
1405 abstract project Shared is
1406 for Source_Files use (); -- no sources
1408 for ^Switches^Switches^ ("Ada")
1415 package Compiler renames Shared.Compiler;
1420 package Compiler renames Shared.Compiler;
1425 As for the first example, we could have chosen to set the attributes
1426 one by one rather than to rename a package. The reason we explicitly
1427 indicate that @code{Shared} has no sources is so that it can be created
1428 in any directory and we are sure it shares no sources with @code{Build}
1429 or @code{Logging}, which of course would be invalid.
1431 @cindex project qualifier
1432 Note the additional use of the @b{abstract} qualifier in @file{shared.gpr}.
1433 This qualifier is optional, but helps convey the message that we do not
1434 intend this project to have sources (@pxref{Qualified Projects} for
1438 @c ---------------------------------------------
1439 @node Global Attributes
1440 @subsection Global Attributes
1441 @c ---------------------------------------------
1444 We have already seen many examples of attributes used to specify a special
1445 option of one of the tools involved in the build process. Most of those
1446 attributes are project specific. That it to say, they only affect the invocation
1447 of tools on the sources of the project where they are defined.
1449 There are a few additional attributes that apply to all projects in a
1450 hierarchy as long as they are defined on the "main" project.
1451 The main project is the project explicitly mentioned on the command-line.
1452 The project hierarchy is the "with"-closure of the main project.
1454 Here is a list of commonly used global attributes:
1457 @item @b{Builder.Global_Configuration_Pragmas}:
1458 @cindex @code{Global_Configuration_Pragmas}
1459 This attribute points to a file that contains configuration pragmas
1460 to use when building executables. These pragmas apply for all
1461 executables built from this project hierarchy. As we have seen before,
1462 additional pragmas can be specified on a per-project basis by setting the
1463 @code{Compiler.Local_Configuration_Pragmas} attribute.
1465 @item @b{Builder.Global_Compilation_Switches}:
1466 @cindex @code{Global_Compilation_Switches}
1467 This attribute is a list of compiler switches to use when compiling any
1468 source file in the project hierarchy. These switches are used in addition
1469 to the ones defined in the @code{Compiler} package, which only apply to
1470 the sources of the corresponding project. This attribute is indexed on
1471 the name of the language.
1475 Using such global capabilities is convenient. It can also lead to unexpected
1476 behavior. Especially when several subsystems are shared among different main
1477 projects and the different global attributes are not
1478 compatible. Note that using aggregate projects can be a safer and more powerful
1479 replacement to global attributes.
1481 @c ---------------------------------------------
1482 @node Scenarios in Projects
1483 @section Scenarios in Projects
1484 @c ---------------------------------------------
1487 Various aspects of the projects can be modified based on @b{scenarios}. These
1488 are user-defined modes that change the behavior of a project. Typical
1489 examples are the setup of platform-specific compiler options, or the use of
1490 a debug and a release mode (the former would activate the generation of debug
1491 information, when the second will focus on improving code optimization).
1493 Let's enhance our example to support a debug and a release modes.The issue is to
1494 let the user choose what kind of system he is building:
1495 use @option{-g} as compiler switches in debug mode and @option{^-O2^-O2^}
1496 in release mode. We will also setup the projects so that we do not share the
1497 same object directory in both modes, otherwise switching from one to the other
1498 might trigger more recompilations than needed or mix objects from the 2 modes.
1500 One naive approach is to create two different project files, say
1501 @file{build_debug.gpr} and @file{build_release.gpr}, that set the appropriate
1502 attributes as explained in previous sections. This solution does not scale well,
1503 because in presence of multiple projects depending on each other,
1504 you will also have to duplicate the complete hierarchy and adapt the project
1505 files to point to the right copies.
1508 Instead, project files support the notion of scenarios controlled
1509 by external values. Such values can come from several sources (in decreasing
1513 @item @b{Command line}:
1515 When launching @command{gnatmake} or @command{gprbuild}, the user can pass
1516 extra @option{-X} switches to define the external value. In
1517 our case, the command line might look like
1520 gnatmake -Pbuild.gpr -Xmode=debug
1521 or gnatmake -Pbuild.gpr -Xmode=release
1524 @item @b{^Environment variables^Logical names^}:
1525 When the external value does not come from the command line, it can come from
1526 the value of ^environment variables^logical names^ of the appropriate name.
1527 In our case, if ^an environment variable^a logical name^ called "mode"
1528 exist, its value will be taken into account.
1530 @item @b{External function second parameter}
1534 @cindex @code{external}
1535 We now need to get that value in the project. The general form is to use
1536 the predefined function @b{external} which returns the current value of
1537 the external. For instance, we could setup the object directory to point to
1538 either @file{obj/debug} or @file{obj/release} by changing our project to
1540 @smallexample @c projectfile
1542 for Object_Dir use "obj/" & external ("mode", "debug");
1548 The second parameter to @code{external} is optional, and is the default
1549 value to use if "mode" is not set from the command line or the environment.
1551 In order to set the switches according to the different scenarios, other
1552 constructs have to be introduced such as typed variables and case constructions.
1554 @cindex typed variable
1555 @cindex case construction
1556 A @b{typed variable} is a variable that
1557 can take only a limited number of values, similar to an enumeration in Ada.
1558 Such a variable can then be used in a @b{case construction} and create conditional
1559 sections in the project. The following example shows how this can be done:
1561 @smallexample @c projectfile
1563 type Mode_Type is ("debug", "release"); -- all possible values
1564 Mode : Mode_Type := external ("mode", "debug"); -- a typed variable
1569 for ^Switches^Switches^ ("Ada")
1572 for ^Switches^Switches^ ("Ada")
1580 The project has suddenly grown in size, but has become much more flexible.
1581 @code{Mode_Type} defines the only valid values for the @code{mode} variable. If
1582 any other value is read from the environment, an error is reported and the
1583 project is considered as invalid.
1585 The @code{Mode} variable is initialized with an external value
1586 defaulting to @code{"debug"}. This default could be omitted and that would
1587 force the user to define the value. Finally, we can use a case construction to set the
1588 switches depending on the scenario the user has chosen.
1590 Most aspects of the projects can depend on scenarios. The notable exception
1591 are project dependencies (@code{with} clauses), which may not depend on a scenario.
1593 Scenarios work the same way with @b{project hierarchies}: you can either
1594 duplicate a variable similar to @code{Mode} in each of the project (as long
1595 as the first argument to @code{external} is always the same and the type is
1596 the same), or simply set the variable in the @file{shared.gpr} project
1597 (@pxref{Sharing Between Projects}).
1599 @c ---------------------------------------------
1600 @node Library Projects
1601 @section Library Projects
1602 @c ---------------------------------------------
1605 So far, we have seen examples of projects that create executables. However,
1606 it is also possible to create libraries instead. A @b{library} is a specific
1607 type of subsystem where, for convenience, objects are grouped together
1608 using system-specific means such as archives or windows DLLs.
1610 Library projects provide a system- and language-independent way of building both @b{static}
1611 and @b{dynamic} libraries. They also support the concept of @b{standalone
1612 libraries} (SAL) which offers two significant properties: the elaboration
1613 (e.g. initialization) of the library is either automatic or very simple;
1615 implementation part of the library implies minimal post-compilation actions on
1616 the complete system and potentially no action at all for the rest of the
1617 system in the case of dynamic SALs.
1619 There is a restriction on shared library projects: by default, they are only
1620 allowed to import other shared library projects. They are not allowed to
1621 import non library projects or static library projects.
1623 The GNAT Project Manager takes complete care of the library build, rebuild and
1624 installation tasks, including recompilation of the source files for which
1625 objects do not exist or are not up to date, assembly of the library archive, and
1626 installation of the library (i.e., copying associated source, object and
1627 @file{ALI} files to the specified location).
1630 * Building Libraries::
1631 * Using Library Projects::
1632 * Stand-alone Library Projects::
1633 * Installing a library with project files::
1636 @c ---------------------------------------------
1637 @node Building Libraries
1638 @subsection Building Libraries
1639 @c ---------------------------------------------
1642 Let's enhance our example and transform the @code{logging} subsystem into a
1643 library. In order to do so, a few changes need to be made to @file{logging.gpr}.
1644 A number of specific attributes needs to be defined: at least @code{Library_Name}
1645 and @code{Library_Dir}; in addition, a number of other attributes can be used
1646 to specify specific aspects of the library. For readability, it is also
1647 recommended (although not mandatory), to use the qualifier @code{library} in
1648 front of the @code{project} keyword.
1651 @item @b{Library_Name}:
1652 @cindex @code{Library_Name}
1653 This attribute is the name of the library to be built. There is no
1654 restriction on the name of a library imposed by the project manager, except
1655 for stand-alone libraries whose names must follow the syntax of Ada
1656 identifiers; however, there may be system specific restrictions on the name.
1657 In general, it is recommended to stick to alphanumeric characters (and
1658 possibly single underscores) to help portability.
1660 @item @b{Library_Dir}:
1661 @cindex @code{Library_Dir}
1662 This attribute is the path (absolute or relative) of the directory where
1663 the library is to be installed. In the process of building a library,
1664 the sources are compiled, the object files end up in the explicit or
1665 implicit @code{Object_Dir} directory. When all sources of a library
1666 are compiled, some of the compilation artifacts, including the library itself,
1667 are copied to the library_dir directory. This directory must exists and be
1668 writable. It must also be different from the object directory so that cleanup
1669 activities in the Library_Dir do not affect recompilation needs.
1673 Here is the new version of @file{logging.gpr} that makes it a library:
1675 @smallexample @c projectfile
1676 library project Logging is -- "library" is optional
1677 for Library_Name use "logging"; -- will create "liblogging.a" on Unix
1678 for Object_Dir use "obj";
1679 for Library_Dir use "lib"; -- different from object_dir
1684 Once the above two attributes are defined, the library project is valid and
1685 is enough for building a library with default characteristics.
1686 Other library-related attributes can be used to change the defaults:
1689 @item @b{Library_Kind}:
1690 @cindex @code{Library_Kind}
1691 The value of this attribute must be either @code{"static"}, @code{"dynamic"} or
1692 @code{"relocatable"} (the latter is a synonym for dynamic). It indicates
1693 which kind of library should be built (the default is to build a
1694 static library, that is an archive of object files that can potentially
1695 be linked into a static executable). When the library is set to be dynamic,
1696 a separate image is created that will be loaded independently, usually
1697 at the start of the main program execution. Support for dynamic libraries is
1698 very platform specific, for instance on Windows it takes the form of a DLL
1699 while on GNU/Linux, it is a dynamic elf image whose suffix is usually
1700 @file{.so}. Library project files, on the other hand, can be written in
1701 a platform independent way so that the same project file can be used to build
1702 a library on different operating systems.
1704 If you need to build both a static and a dynamic library, it is recommended
1705 use two different object directories, since in some cases some extra code
1706 needs to be generated for the latter. For such cases, one can
1707 either define two different project files, or a single one which uses scenarios
1708 to indicate the various kinds of library to be built and their
1709 corresponding object_dir.
1711 @cindex @code{Library_ALI_Dir}
1712 @item @b{Library_ALI_Dir}:
1713 This attribute may be specified to indicate the directory where the ALI
1714 files of the library are installed. By default, they are copied into the
1715 @code{Library_Dir} directory, but as for the executables where we have a
1716 separate @code{Exec_Dir} attribute, you might want to put them in a separate
1717 directory since there can be hundreds of them. The same restrictions as for
1718 the @code{Library_Dir} attribute apply.
1720 @cindex @code{Library_Version}
1721 @item @b{Library_Version}:
1722 This attribute is platform dependent, and has no effect on VMS and Windows.
1723 On Unix, it is used only for dynamic libraries as the internal
1724 name of the library (the @code{"soname"}). If the library file name (built
1725 from the @code{Library_Name}) is different from the @code{Library_Version},
1726 then the library file will be a symbolic link to the actual file whose name
1727 will be @code{Library_Version}. This follows the usual installation schemes
1728 for dynamic libraries on many Unix systems.
1730 @smallexample @c projectfile
1734 for Library_Dir use "lib";
1735 for Library_Name use "logging";
1736 for Library_Kind use "dynamic";
1737 for Library_Version use "liblogging.so." & Version;
1743 After the compilation, the directory @file{lib} will contain both a
1744 @file{libdummy.so.1} library and a symbolic link to it called
1747 @cindex @code{Library_GCC}
1748 @item @b{Library_GCC}:
1749 This attribute is the name of the tool to use instead of "gcc" to link shared
1750 libraries. A common use of this attribute is to define a wrapper script that
1751 accomplishes specific actions before calling gcc (which itself is calling the
1752 linker to build the library image).
1754 @item @b{Library_Options}:
1755 @cindex @code{Library_Options}
1756 This attribute may be used to specify additional switches (last switches)
1757 when linking a shared library.
1759 @item @b{Leading_Library_Options}:
1760 @cindex @code{Leading_Library_Options}
1761 This attribute, that is taken into account only by @command{gprbuild}, may be
1762 used to specified leading options (first switches) when linking a shared
1765 @cindex @code{Linker_Options}
1766 @item @b{Linker.Linker_Options}:
1767 This attribute specifies additional switches to be given to the linker when
1768 linking an executable. It is ignored when defined in the main project and
1769 taken into account in all other projects that are imported directly or
1770 indirectly. These switches complement the @code{Linker.Switches}
1771 defined in the main project. This is useful when a particular subsystem
1772 depends on an external library: adding this dependency as a
1773 @code{Linker_Options} in the project of the subsystem is more convenient than
1774 adding it to all the @code{Linker.Switches} of the main projects that depend
1775 upon this subsystem.
1778 @c ---------------------------------------------
1779 @node Using Library Projects
1780 @subsection Using Library Projects
1781 @c ---------------------------------------------
1784 When the builder detects that a project file is a library project file, it
1785 recompiles all sources of the project that need recompilation and rebuild the
1786 library if any of the sources have been recompiled. It then groups all object
1787 files into a single file, which is a shared or a static library. This library
1788 can later on be linked with multiple executables. Note that the use
1789 of shard libraries reduces the size of the final executable and can also reduce
1790 the memory footprint at execution time when the library is shared among several
1793 It is also possible to build @b{multi-language libraries}. When using
1794 @command{gprbuild} as a builder, multi-language library projects allow naturally
1795 the creation of multi-language libraries . @command{gnatmake}, does not try to
1796 compile non Ada sources. However, when the project is multi-language, it will
1797 automatically link all object files found in the object directory, whether or
1798 not they were compiled from an Ada source file. This specific behavior does not
1799 apply to Ada-only projects which only take into account the objects
1800 corresponding to the sources of the project.
1802 A non-library project can import a library project. When the builder is invoked
1803 on the former, the library of the latter is only rebuilt when absolutely
1804 necessary. For instance, if a unit of the
1805 library is not up-to-date but non of the executables need this unit, then the
1806 unit is not recompiled and the library is not reassembled.
1807 For instance, let's assume in our example that logging has the following
1808 sources: @file{log1.ads}, @file{log1.adb}, @file{log2.ads} and
1809 @file{log2.adb}. If @file{log1.adb} has been modified, then the library
1810 @file{liblogging} will be rebuilt when compiling all the sources of
1811 @code{Build} only if @file{proc.ads}, @file{pack.ads} or @file{pack.adb}
1812 include a @code{"with Log1"}.
1814 To ensure that all the sources in the @code{Logging} library are
1815 up to date, and that all the sources of @code{Build} are also up to date,
1816 the following two commands needs to be used:
1819 gnatmake -Plogging.gpr
1820 gnatmake -Pbuild.gpr
1824 All @file{ALI} files will also be copied from the object directory to the
1825 library directory. To build executables, @command{gnatmake} will use the
1826 library rather than the individual object files.
1829 Library projects can also be useful to describe a library that need to be used
1830 but, for some reason, cannot be rebuilt. For instance, it is the case when some
1831 of the library sources are not available. Such library projects need simply to
1832 use the @code{Externally_Built} attribute as in the example below:
1834 @smallexample @c projectfile
1835 library project Extern_Lib is
1836 for Languages use ("Ada", "C");
1837 for Source_Dirs use ("lib_src");
1838 for Library_Dir use "lib2";
1839 for Library_Kind use "dynamic";
1840 for Library_Name use "l2";
1841 for Externally_Built use "true"; -- <<<<
1846 In the case of externally built libraries, the @code{Object_Dir}
1847 attribute does not need to be specified because it will never be
1850 The main effect of using such an externally built library project is mostly to
1851 affect the linker command in order to reference the desired library. It can
1852 also be achieved by using @code{Linker.Linker_Options} or @code{Linker.Switches}
1853 in the project corresponding to the subsystem needing this external library.
1854 This latter method is more straightforward in simple cases but when several
1855 subsystems depend upon the same external library, finding the proper place
1856 for the @code{Linker.Linker_Options} might not be easy and if it is
1857 not placed properly, the final link command is likely to present ordering issues.
1858 In such a situation, it is better to use the externally built library project
1859 so that all other subsystems depending on it can declare this dependency thanks
1860 to a project @code{with} clause, which in turn will trigger the builder to find
1861 the proper order of libraries in the final link command.
1864 @c ---------------------------------------------
1865 @node Stand-alone Library Projects
1866 @subsection Stand-alone Library Projects
1867 @c ---------------------------------------------
1870 @cindex standalone libraries
1871 A @b{stand-alone library} is a library that contains the necessary code to
1872 elaborate the Ada units that are included in the library. A stand-alone
1873 library is a convenient way to add an Ada subsystem to a more global system
1874 whose main is not in Ada since it makes the elaboration of the Ada part mostly
1875 transparent. However, stand-alone libraries are also useful when the main is in
1876 Ada: they provide a means for minimizing relinking & redeployment of complex
1877 systems when localized changes are made.
1879 The name of a stand-alone library, specified with attribute
1880 @code{Library_Name}, must have the syntax of an Ada identifier.
1882 The most prominent characteristic of a stand-alone library is that it offers a
1883 distinction between interface units and implementation units. Only the former
1884 are visible to units outside the library. A stand-alone library project is thus
1885 characterised by a third attribute, usually @b{Library_Interface}, in addition
1886 to the two attributes that make a project a Library Project
1887 (@code{Library_Name} and @code{Library_Dir}). This third attribute may also be
1888 @b{Interfaces}. @b{Library_Interface} only works when the interface is in Ada
1889 and takes a list of units as parameter. @b{Interfaces} works for any supported
1890 language and takes a list of sources as parameter.
1893 @item @b{Library_Interface}:
1894 @cindex @code{Library_Interface}
1895 This attribute defines an explicit subset of the units of the project. Units
1896 from projects importing this library project may only "with" units whose
1897 sources are listed in the @code{Library_Interface}. Other sources are
1898 considered implementation units.
1900 @smallexample @c projectfile
1902 for Library_Dir use "lib";
1903 for Library_Name use "loggin";
1904 for Library_Interface use ("lib1", "lib2"); -- unit names
1908 @item @b{Interfaces}
1909 This attribute defines an explicit subset of the source files of a project.
1910 Sources from projects importing this project, can only depend on sources from
1911 this subset. This attribute can be used on non library projects. It can also
1912 be used as a replacement for attribute @code{Library_Interface}, in which
1913 case, units have to be replaced by source files. For multi-language library
1914 projects, it is the only way to make the project a Stand-Alone Library project
1915 whose interface is not purely Ada.
1917 @item @b{Library_Standalone}:
1918 @cindex @code{Library_Standalone}
1919 This attribute defines the kind of standalone library to
1920 build. Values are either @code{standard} (the default), @code{no} or
1921 @code{encapsulated}. When @code{standard} is used the code to elaborate and
1922 finalize the library is embedded, when @code{encapsulated} is used the
1923 library can furthermore only depends on static libraries (including
1924 the GNAT runtime). This attribute can be set to @code{no} to make it clear
1925 that the library should not be standalone in which case the
1926 @code{Library_Interface} should not defined. Note that this attribute
1927 only applies to shared libraries, so @code{Library_Kind} must be set
1930 @smallexample @c projectfile
1932 for Library_Dir use "lib";
1933 for Library_Name use "loggin";
1934 for Library_Kind use "dynamic";
1935 for Library_Interface use ("lib1", "lib2"); -- unit names
1936 for Library_Standalone use "encapsulated";
1942 In order to include the elaboration code in the stand-alone library, the binder
1943 is invoked on the closure of the library units creating a package whose name
1944 depends on the library name (^b~logging.ads/b^B$LOGGING.ADS/B^ in the example).
1945 This binder-generated package includes @b{initialization} and @b{finalization}
1946 procedures whose names depend on the library name (@code{logginginit} and
1947 @code{loggingfinal} in the example). The object corresponding to this package is
1948 included in the library.
1951 @item @b{Library_Auto_Init}:
1952 @cindex @code{Library_Auto_Init}
1953 A dynamic stand-alone Library is automatically initialized
1954 if automatic initialization of Stand-alone Libraries is supported on the
1955 platform and if attribute @b{Library_Auto_Init} is not specified or
1956 is specified with the value "true". A static Stand-alone Library is never
1957 automatically initialized. Specifying "false" for this attribute
1958 prevent automatic initialization.
1960 When a non-automatically initialized stand-alone library is used in an
1961 executable, its initialization procedure must be called before any service of
1962 the library is used. When the main subprogram is in Ada, it may mean that the
1963 initialization procedure has to be called during elaboration of another
1966 @item @b{Library_Dir}:
1967 @cindex @code{Library_Dir}
1968 For a stand-alone library, only the @file{ALI} files of the interface units
1969 (those that are listed in attribute @code{Library_Interface}) are copied to
1970 the library directory. As a consequence, only the interface units may be
1971 imported from Ada units outside of the library. If other units are imported,
1972 the binding phase will fail.
1974 @item @b{Binder.Default_Switches}:
1975 When a stand-alone library is bound, the switches that are specified in
1976 the attribute @b{Binder.Default_Switches ("Ada")} are
1977 used in the call to @command{gnatbind}.
1979 @item @b{Library_Src_Dir}:
1980 @cindex @code{Library_Src_Dir}
1981 This attribute defines the location (absolute or relative to the project
1982 directory) where the sources of the interface units are copied at
1984 These sources includes the specs of the interface units along with the closure
1985 of sources necessary to compile them successfully. That may include bodies and
1986 subunits, when pragmas @code{Inline} are used, or when there is a generic
1987 units in the spec. This directory cannot point to the object directory or
1988 one of the source directories, but it can point to the library directory,
1989 which is the default value for this attribute.
1991 @item @b{Library_Symbol_Policy}:
1992 @cindex @code{Library_Symbol_Policy}
1993 This attribute controls the export of symbols and, on some platforms (like
1994 VMS) that have the notions of major and minor IDs built in the library
1995 files, it controls the setting of these IDs. It is not supported on all
1996 platforms (where it will just have no effect). It may have one of the
2000 @item @code{"autonomous"} or @code{"default"}: exported symbols are not controlled
2001 @item @code{"compliant"}: if attribute @b{Library_Reference_Symbol_File}
2002 is not defined, then it is equivalent to policy "autonomous". If there
2003 are exported symbols in the reference symbol file that are not in the
2004 object files of the interfaces, the major ID of the library is increased.
2005 If there are symbols in the object files of the interfaces that are not
2006 in the reference symbol file, these symbols are put at the end of the list
2007 in the newly created symbol file and the minor ID is increased.
2008 @item @code{"controlled"}: the attribute @b{Library_Reference_Symbol_File} must be
2009 defined. The library will fail to build if the exported symbols in the
2010 object files of the interfaces do not match exactly the symbol in the
2012 @item @code{"restricted"}: The attribute @b{Library_Symbol_File} must be defined.
2013 The library will fail to build if there are symbols in the symbol file that
2014 are not in the exported symbols of the object files of the interfaces.
2015 Additional symbols in the object files are not added to the symbol file.
2016 @item @code{"direct"}: The attribute @b{Library_Symbol_File} must be defined and
2017 must designate an existing file in the object directory. This symbol file
2018 is passed directly to the underlying linker without any symbol processing.
2022 @item @b{Library_Reference_Symbol_File}
2023 @cindex @code{Library_Reference_Symbol_File}
2024 This attribute may define the path name of a reference symbol file that is
2025 read when the symbol policy is either "compliant" or "controlled", on
2026 platforms that support symbol control, such as VMS, when building a
2027 stand-alone library. The path may be an absolute path or a path relative
2028 to the project directory.
2030 @item @b{Library_Symbol_File}
2031 @cindex @code{Library_Symbol_File}
2032 This attribute may define the name of the symbol file to be created when
2033 building a stand-alone library when the symbol policy is either "compliant",
2034 "controlled" or "restricted", on platforms that support symbol control,
2035 such as VMS. When symbol policy is "direct", then a file with this name
2036 must exist in the object directory.
2039 @c ---------------------------------------------
2040 @node Installing a library with project files
2041 @subsection Installing a library with project files
2042 @c ---------------------------------------------
2045 When using project files, a usable version of the library is created in the
2046 directory specified by the @code{Library_Dir} attribute of the library
2047 project file. Thus no further action is needed in order to make use of
2048 the libraries that are built as part of the general application build.
2050 You may want to install a library in a context different from where the library
2051 is built. This situation arises with third party suppliers, who may want
2052 to distribute a library in binary form where the user is not expected to be
2053 able to recompile the library. The simplest option in this case is to provide
2054 a project file slightly different from the one used to build the library, by
2055 using the @code{externally_built} attribute. @ref{Using Library Projects}
2057 Another option is to use @command{gprinstall} to install the library in a
2058 different context than the build location. A project to use this library is
2059 generated automatically by @command{gprinstall} which also copy, in the install
2060 location, the minimum set of sources needed to use the library.
2063 @c ---------------------------------------------
2064 @node Project Extension
2065 @section Project Extension
2066 @c ---------------------------------------------
2069 During development of a large system, it is sometimes necessary to use
2070 modified versions of some of the source files, without changing the original
2071 sources. This can be achieved through the @b{project extension} facility.
2073 Suppose for instance that our example @code{Build} project is built every night
2074 for the whole team, in some shared directory. A developer usually need to work
2075 on a small part of the system, and might not want to have a copy of all the
2076 sources and all the object files (mostly because that would require too much
2077 disk space, time to recompile everything). He prefers to be able to override
2078 some of the source files in his directory, while taking advantage of all the
2079 object files generated at night.
2081 Another example can be taken from large software systems, where it is common to have
2082 multiple implementations of a common interface; in Ada terms, multiple
2083 versions of a package body for the same spec. For example, one implementation
2084 might be safe for use in tasking programs, while another might only be used
2085 in sequential applications. This can be modeled in GNAT using the concept
2086 of @emph{project extension}. If one project (the ``child'') @emph{extends}
2087 another project (the ``parent'') then by default all source files of the
2088 parent project are inherited by the child, but the child project can
2089 override any of the parent's source files with new versions, and can also
2090 add new files or remove unnecessary ones.
2091 This facility is the project analog of a type extension in
2092 object-oriented programming. Project hierarchies are permitted (an extending
2093 project may itself be extended), and a project that
2094 extends a project can also import other projects.
2096 A third example is that of using project extensions to provide different
2097 versions of the same system. For instance, assume that a @code{Common}
2098 project is used by two development branches. One of the branches has now
2099 been frozen, and no further change can be done to it or to @code{Common}.
2100 However, the other development branch still needs evolution of @code{Common}.
2101 Project extensions provide a flexible solution to create a new version
2102 of a subsystem while sharing and reusing as much as possible from the original
2105 A project extension inherits implicitly all the sources and objects from the
2106 project it extends. It is possible to create a new version of some of the
2107 sources in one of the additional source dirs of the extending project. Those new
2108 versions hide the original versions. Adding new sources or removing existing
2109 ones is also possible. Here is an example on how to extend the project
2110 @code{Build} from previous examples:
2112 @smallexample @c projectfile
2113 project Work extends "../bld/build.gpr" is
2118 The project after @b{extends} is the one being extended. As usual, it can be
2119 specified using an absolute path, or a path relative to any of the directories
2120 in the project path (@pxref{Project Dependencies}). This project does not
2121 specify source or object directories, so the default value for these attribute
2122 will be used that is to say the current directory (where project @code{Work} is
2123 placed). We can already compile that project with
2130 If no sources have been placed in the current directory, this command
2131 won't do anything, since this project does not change the
2132 sources it inherited from @code{Build}, therefore all the object files
2133 in @code{Build} and its dependencies are still valid and are reused
2136 Suppose we now want to supply an alternate version of @file{pack.adb}
2137 but use the existing versions of @file{pack.ads} and @file{proc.adb}.
2138 We can create the new file Work's current directory (likely
2139 by copying the one from the @code{Build} project and making changes to
2140 it. If new packages are needed at the same time, we simply create
2141 new files in the source directory of the extending project.
2143 When we recompile, @command{gnatmake} will now automatically recompile
2144 this file (thus creating @file{pack.o} in the current directory) and
2145 any file that depends on it (thus creating @file{proc.o}). Finally, the
2146 executable is also linked locally.
2148 Note that we could have obtained the desired behavior using project import
2149 rather than project inheritance. A @code{base} project would contain the
2150 sources for @file{pack.ads} and @file{proc.adb}, and @code{Work} would
2151 import @code{base} and add @file{pack.adb}. In this scenario, @code{base}
2152 cannot contain the original version of @file{pack.adb} otherwise there would be
2153 2 versions of the same unit in the closure of the project and this is not
2154 allowed. Generally speaking, it is not recommended to put the spec and the
2155 body of a unit in different projects since this affects their autonomy and
2158 In a project file that extends another project, it is possible to
2159 indicate that an inherited source is @b{not part} of the sources of the
2160 extending project. This is necessary sometimes when a package spec has
2161 been overridden and no longer requires a body: in this case, it is
2162 necessary to indicate that the inherited body is not part of the sources
2163 of the project, otherwise there will be a compilation error
2164 when compiling the spec.
2166 @cindex @code{Excluded_Source_Files}
2167 @cindex @code{Excluded_Source_List_File}
2168 For that purpose, the attribute @b{Excluded_Source_Files} is used.
2169 Its value is a list of file names.
2170 It is also possible to use attribute @code{Excluded_Source_List_File}.
2171 Its value is the path of a text file containing one file name per
2174 @smallexample @c @projectfile
2175 project Work extends "../bld/build.gpr" is
2176 for Source_Files use ("pack.ads");
2177 -- New spec of Pkg does not need a completion
2178 for Excluded_Source_Files use ("pack.adb");
2183 All packages that are not declared in the extending project are inherited from
2184 the project being extended, with their attributes, with the exception of
2185 @code{Linker'Linker_Options} which is never inherited. In particular, an
2186 extending project retains all the switches specified in the project being
2189 At the project level, if they are not declared in the extending project, some
2190 attributes are inherited from the project being extended. They are:
2191 @code{Languages}, @code{Main} (for a root non library project) and
2192 @code{Library_Name} (for a project extending a library project)
2195 * Project Hierarchy Extension::
2198 @c ---------------------------------------------
2199 @node Project Hierarchy Extension
2200 @subsection Project Hierarchy Extension
2201 @c ---------------------------------------------
2204 One of the fundamental restrictions in project extension is the following:
2205 @b{A project is not allowed to import directly or indirectly at the same time an
2206 extending project and one of its ancestors}.
2208 By means of example, consider the following hierarchy of projects.
2211 a.gpr contains package A1
2212 b.gpr, imports a.gpr and contains B1, which depends on A1
2213 c.gpr, imports b.gpr and contains C1, which depends on B1
2217 If we want to locally extend the packages @code{A1} and @code{C1}, we need to
2218 create several extending projects:
2221 a_ext.gpr which extends a.gpr, and overrides A1
2222 b_ext.gpr which extends b.gpr and imports a_ext.gpr
2223 c_ext.gpr which extends c.gpr, imports b_ext.gpr and overrides C1
2227 @smallexample @c projectfile
2228 project A_Ext extends "a.gpr" is
2229 for Source_Files use ("a1.adb", "a1.ads");
2233 project B_Ext extends "b.gpr" is
2237 project C_Ext extends "c.gpr" is
2238 for Source_Files use ("c1.adb");
2243 The extension @file{b_ext.gpr} is required, even though we are not overriding
2244 any of the sources of @file{b.gpr} because otherwise @file{c_expr.gpr} would
2245 import @file{b.gpr} which itself knows nothing about @file{a_ext.gpr}.
2248 When extending a large system spanning multiple projects, it is often
2249 inconvenient to extend every project in the hierarchy that is impacted by a
2250 small change introduced in a low layer. In such cases, it is possible to create
2251 an @b{implicit extension} of entire hierarchy using @b{extends all}
2254 When the project is extended using @code{extends all} inheritance, all projects
2255 that are imported by it, both directly and indirectly, are considered virtually
2256 extended. That is, the project manager creates implicit projects
2257 that extend every project in the hierarchy; all these implicit projects do not
2258 control sources on their own and use the object directory of
2259 the "extending all" project.
2261 It is possible to explicitly extend one or more projects in the hierarchy
2262 in order to modify the sources. These extending projects must be imported by
2263 the "extending all" project, which will replace the corresponding virtual
2264 projects with the explicit ones.
2266 When building such a project hierarchy extension, the project manager will
2267 ensure that both modified sources and sources in implicit extending projects
2268 that depend on them, are recompiled.
2270 Thus, in our example we could create the following projects instead:
2273 a_ext.gpr, extends a.gpr and overrides A1
2274 c_ext.gpr, "extends all" c.gpr, imports a_ext.gpr and overrides C1
2279 @smallexample @c projectfile
2280 project A_Ext extends "a.gpr" is
2281 for Source_Files use ("a1.adb", "a1.ads");
2285 project C_Ext extends all "c.gpr" is
2286 for Source_Files use ("c1.adb");
2291 When building project @file{c_ext.gpr}, the entire modified project space is
2292 considered for recompilation, including the sources of @file{b.gpr} that are
2293 impacted by the changes in @code{A1} and @code{C1}.
2295 @c ---------------------------------------------
2296 @node Aggregate Projects
2297 @section Aggregate Projects
2298 @c ---------------------------------------------
2302 Aggregate projects are an extension of the project paradigm, and are
2303 meant to solve a few specific use cases that cannot be solved directly
2304 using standard projects. This section will go over a few of these use
2305 cases to try to explain what you can use aggregate projects for.
2308 * Building all main programs from a single project tree::
2309 * Building a set of projects with a single command::
2310 * Define a build environment::
2311 * Performance improvements in builder::
2312 * Syntax of aggregate projects::
2313 * package Builder in aggregate projects::
2316 @c -----------------------------------------------------------
2317 @node Building all main programs from a single project tree
2318 @subsection Building all main programs from a single project tree
2319 @c -----------------------------------------------------------
2321 Most often, an application is organized into modules and submodules,
2322 which are very conveniently represented as a project tree or graph
2323 (the root project A @code{with}s the projects for each modules (say B and C),
2324 which in turn @code{with} projects for submodules.
2326 Very often, modules will build their own executables (for testing
2327 purposes for instance), or libraries (for easier reuse in various
2330 However, if you build your project through @command{gnatmake} or
2331 @command{gprbuild}, using a syntax similar to
2337 this will only rebuild the main programs of project A, not those of the
2338 imported projects B and C. Therefore you have to spawn several
2339 @command{gnatmake} commands, one per project, to build all executables.
2340 This is a little inconvenient, but more importantly is inefficient
2341 because @command{gnatmake} needs to do duplicate work to ensure that sources are
2342 up-to-date, and cannot easily compile things in parallel when using
2345 Also libraries are always rebuilt when building a project.
2347 You could therefore define an aggregate project Agg that groups A, B
2348 and C. Then, when you build with
2354 this will build all mains from A, B and C.
2356 @smallexample @c projectfile
2357 aggregate project Agg is
2358 for Project_Files use ("a.gpr", "b.gpr", "c.gpr");
2362 If B or C do not define any main program (through their Main
2363 attribute), all their sources are built. When you do not group them
2364 in the aggregate project, only those sources that are needed by A
2367 If you add a main to a project P not already explicitly referenced in the
2368 aggregate project, you will need to add "p.gpr" in the list of project
2369 files for the aggregate project, or the main will not be built when
2370 building the aggregate project.
2372 Aggregate projects are only supported with @command{gprbuild}, but not with
2375 @c ---------------------------------------------------------
2376 @node Building a set of projects with a single command
2377 @subsection Building a set of projects with a single command
2378 @c ---------------------------------------------------------
2380 One other case is when you have multiple applications and libraries
2381 that are built independently from each other (but can be built in
2382 parallel). For instance, you have a project tree rooted at A, and
2383 another one (which might share some subprojects) rooted at B.
2385 Using only @command{gprbuild}, you could do
2392 to build both. But again, @command{gprbuild} has to do some duplicate work for
2393 those files that are shared between the two, and cannot truly build
2394 things in parallel efficiently.
2396 If the two projects are really independent, share no sources other
2397 than through a common subproject, and have no source files with a
2398 common basename, you could create a project C that imports A and
2399 B. But these restrictions are often too strong, and one has to build
2400 them independently. An aggregate project does not have these
2401 limitations and can aggregate two project trees that have common
2404 This scenario is particularly useful in environments like VxWorks 653
2405 where the applications running in the multiple partitions can be built
2406 in parallel through a single @command{gprbuild} command. This also works nicely
2409 @c ---------------------------------------------
2410 @node Define a build environment
2411 @subsection Define a build environment
2412 @c ---------------------------------------------
2414 The environment variables at the time you launch @command{gprbuild}
2415 will influence the view these tools have of the project
2416 (PATH to find the compiler, ADA_PROJECT_PATH or GPR_PROJECT_PATH to find the
2417 projects, environment variables that are referenced in project files
2418 through the "external" statement,...). Several command line switches
2419 can be used to override those (-X or -aP), but on some systems and
2420 with some projects, this might make the command line too long, and on
2421 all systems often make it hard to read.
2423 An aggregate project can be used to set the environment for all
2424 projects built through that aggregate. One of the nice aspects is that
2425 you can put the aggregate project under configuration management, and
2426 make sure all your user have a consistent environment when
2427 building. The syntax looks like
2429 @smallexample @c projectfile
2430 aggregate project Agg is
2431 for Project_Files use ("A.gpr", "B.gpr");
2432 for Project_Path use ("../dir1", "../dir1/dir2");
2433 for External ("BUILD") use "PRODUCTION";
2436 for ^Switches^Switches^ ("Ada") use ("-q");
2441 One of the often requested features in projects is to be able to
2442 reference external variables in @code{with} statements, as in
2444 @smallexample @c projectfile
2445 with external("SETUP") & "path/prj.gpr"; -- ILLEGAL
2446 project MyProject is
2451 For various reasons, this isn't authorized. But using aggregate
2452 projects provide an elegant solution. For instance, you could
2453 use a project file like:
2455 @smallexample @c projectfile
2456 aggregate project Agg is
2457 for Project_Path use (external("SETUP") % "path");
2458 for Project_Files use ("myproject.gpr");
2461 with "prj.gpr"; -- searched on Agg'Project_Path
2462 project MyProject is
2467 @c --------------------------------------------
2468 @node Performance improvements in builder
2469 @subsection Performance improvements in builder
2470 @c --------------------------------------------
2472 The loading of aggregate projects is optimized in @command{gprbuild},
2473 so that all files are searched for only once on the disk
2474 (thus reducing the number of system calls and contributing to faster
2475 compilation times especially on systems with sources on remote
2476 servers). As part of the loading, @command{gprbuild}
2477 computes how and where a source file should be compiled, and even if it is
2478 found several times in the aggregated projects it will be compiled only
2481 Since there is no ambiguity as to which switches should be used, files
2482 can be compiled in parallel (through the usual -j switch) and this can
2483 be done while maximizing the use of CPUs (compared to launching
2484 multiple @command{gprbuild} and @command{gnatmake} commands in parallel).
2486 @c -------------------------------------
2487 @node Syntax of aggregate projects
2488 @subsection Syntax of aggregate projects
2489 @c -------------------------------------
2491 An aggregate project follows the general syntax of project files. The
2492 recommended extension is still @file{.gpr}. However, a special
2493 @code{aggregate} qualifier must be put before the keyword
2496 An aggregate project cannot @code{with} any other project (standard or
2497 aggregate), except an abstract project which can be used to share attribute
2498 values. Also, aggregate projects cannot be extended or imported though a
2499 @code{with} clause by any other project. Building other aggregate projects from
2500 an aggregate project is done through the Project_Files attribute (see below).
2502 An aggregate project does not have any source files directly (only
2503 through other standard projects). Therefore a number of the standard
2504 attributes and packages are forbidden in an aggregate project. Here is the
2505 (non exhaustive) list:
2509 @item Source_Files, Source_List_File and other attributes dealing with
2511 @item Source_Dirs, Exec_Dir and Object_Dir
2512 @item Library_Dir, Library_Name and other library-related attributes
2515 @item Externally_Built
2516 @item Inherit_Source_Path
2517 @item Excluded_Source_Dirs
2518 @item Locally_Removed_Files
2519 @item Excluded_Source_Files
2520 @item Excluded_Source_List_File
2524 The only package that is authorized (albeit optional) is
2525 Builder. Other packages (in particular Compiler, Binder and Linker)
2526 are forbidden. It is an error to have any of these
2527 (and such an error prevents the proper loading of the aggregate
2530 Three new attributes have been created, which can only be used in the
2531 context of aggregate projects:
2534 @item @b{Project_Files}:
2535 @cindex @code{Project_Files}
2537 This attribute is compulsory (or else we are not aggregating any project,
2538 and thus not doing anything). It specifies a list of @file{.gpr} files
2539 that are grouped in the aggregate. The list may be empty. The project
2540 files can be either other aggregate projects, or standard projects. When
2541 grouping standard projects, you can have both the root of a project tree
2542 (and you do not need to specify all its imported projects), and any project
2545 Basically, the idea is to specify all those projects that have
2546 main programs you want to build and link, or libraries you want to
2547 build. You can even specify projects that do not use the Main
2548 attribute nor the @code{Library_*} attributes, and the result will be to
2549 build all their source files (not just the ones needed by other
2552 The file can include paths (absolute or relative). Paths are relative to
2553 the location of the aggregate project file itself (if you use a base name,
2554 we expect to find the .gpr file in the same directory as the aggregate
2555 project file). The environment variables @code{ADA_PROJECT_PATH},
2556 @code{GPR_PROJECT_PATH} and @code{GPR_PROJECT_PATH_FILE} are not used to find
2557 the project files. The extension @file{.gpr} is mandatory, since this attribute
2558 contains file names, not project names.
2560 Paths can also include the @code{"*"} and @code{"**"} globbing patterns. The
2561 latter indicates that any subdirectory (recursively) will be
2562 searched for matching files. The latter (@code{"**"}) can only occur at the
2563 last position in the directory part (ie @code{"a/**/*.gpr"} is supported, but
2564 not @code{"**/a/*.gpr"}). Starting the pattern with @code{"**"} is equivalent
2565 to starting with @code{"./**"}.
2567 For now, the pattern @code{"*"} is only allowed in the filename part, not
2568 in the directory part. This is mostly for efficiency reasons to limit the
2569 number of system calls that are needed.
2571 Here are a few valid examples:
2573 @smallexample @c projectfile
2574 for Project_Files use ("a.gpr", "subdir/b.gpr");
2575 -- two specific projects relative to the directory of agg.gpr
2577 for Project_Files use ("**/*.gpr");
2578 -- all projects recursively
2581 @item @b{Project_Path}:
2582 @cindex @code{Project_Path}
2584 This attribute can be used to specify a list of directories in
2585 which to look for project files in @code{with} statements.
2587 When you specify a project in Project_Files
2588 say @code{"x/y/a.gpr"}), and this projects imports a project "b.gpr", only
2589 b.gpr is searched in the project path. a.gpr must be exactly at
2590 <dir of the aggregate>/x/y/a.gpr.
2592 This attribute, however, does not affect the search for the aggregated
2593 project files specified with @code{Project_Files}.
2595 Each aggregate project has its own (that is if agg1.gpr includes
2596 agg2.gpr, they can potentially both have a different project path).
2598 This project path is defined as the concatenation, in that order, of:
2601 @item the current directory;
2602 @item followed by the command line -aP switches;
2603 @item then the directories from the GPR_PROJECT_PATH and ADA_PROJECT_PATH environment
2605 @item then the directories from the Project_Path attribute;
2606 @item and finally the predefined directories.
2609 In the example above, agg2.gpr's project path is not influenced by
2610 the attribute agg1'Project_Path, nor is agg1 influenced by
2613 This can potentially lead to errors. In the following example:
2616 +---------------+ +----------------+
2617 | Agg1.gpr |-=--includes--=-->| Agg2.gpr |
2618 | 'project_path| | 'project_path |
2620 +---------------+ +----------------+
2625 +-------+ +---------+
2626 | P.gpr |<---------- withs --------| Q.gpr |
2627 +-------+---------\ +---------+
2632 +-------+ +---------+
2633 | R.gpr | | R'.gpr |
2634 +-------+ +---------+
2637 When looking for p.gpr, both aggregates find the same physical file on
2638 the disk. However, it might happen that with their different project
2639 paths, both aggregate projects would in fact find a different r.gpr.
2640 Since we have a common project (p.gpr) "with"ing two different r.gpr,
2641 this will be reported as an error by the builder.
2643 Directories are relative to the location of the aggregate project file.
2645 Here are a few valid examples:
2647 @smallexample @c projectfile
2648 for Project_Path use ("/usr/local/gpr", "gpr/");
2652 @cindex @code{External}
2654 This attribute can be used to set the value of environment
2655 variables as retrieved through the @code{external} statement
2656 in projects. It does not affect the environment variables
2657 themselves (so for instance you cannot use it to change the value
2658 of your PATH as seen from the spawned compiler).
2660 This attribute affects the external values as seen in the rest of
2661 the aggreate projects, and in the aggregated projects.
2663 The exact value of external a variable comes from one of three
2664 sources (each level overrides the previous levels):
2667 @item An External attribute in aggregate project, for instance
2668 @code{for External ("BUILD_MODE") use "DEBUG"};
2670 @item Environment variables
2672 These override the value given by the attribute, so that
2673 users can override the value set in the (presumably shared
2674 with others in his team) aggregate project.
2676 @item The -X command line switch to @command{gprbuild}
2678 This always takes precedence.
2682 This attribute is only taken into account in the main aggregate
2683 project (i.e. the one specified on the command line to @command{gprbuild}),
2684 and ignored in other aggregate projects. It is invalid
2685 in standard projects.
2686 The goal is to have a consistent value in all
2687 projects that are built through the aggregate, which would not
2688 be the case in the diamond case: A groups the aggregate
2689 projects B and C, which both (either directly or indirectly)
2690 build the project P. If B and C could set different values for
2691 the environment variables, we would have two different views of
2692 P, which in particular might impact the list of source files in P.
2696 @c ----------------------------------------------
2697 @node package Builder in aggregate projects
2698 @subsection package Builder in aggregate projects
2699 @c ----------------------------------------------
2701 As we mentioned before, only the package Builder can be specified in
2702 an aggregate project. In this package, only the following attributes
2706 @item @b{^Switches^Switches^}:
2707 @cindex @code{^Switches^Switches^}
2708 This attribute gives the list of switches to use for @command{gprbuild}.
2709 Because no mains can be specified for aggregate projects, the only possible
2710 index for attribute @code{Switches} is @code{others}. All other indexes will
2715 @smallexample @c projectfile
2716 for ^Switches^Switches^ (other) use ("-v", "-k", "-j8");
2719 These switches are only read from the main aggregate project (the
2720 one passed on the command line), and ignored in all other aggregate
2721 projects or projects.
2723 It can only contain builder switches, not compiler switches.
2725 @item @b{Global_Compilation_Switches}
2726 @cindex @code{Global_Compilation_Switches}
2728 This attribute gives the list of compiler switches for the various
2729 languages. For instance,
2731 @smallexample @c projectfile
2732 for Global_Compilation_Switches ("Ada") use ("^O1^-O1^", "-g");
2733 for Global_Compilation_Switches ("C") use ("^-O2^-O2^");
2736 This attribute is only taken into account in the aggregate project
2737 specified on the command line, not in other aggregate projects.
2739 In the projects grouped by that aggregate, the attribute
2740 Builder.Global_Compilation_Switches is also ignored. However, the
2741 attribute Compiler.Default_Switches will be taken into account (but
2742 that of the aggregate have higher priority). The attribute
2743 Compiler.Switches is also taken into account and can be used to
2744 override the switches for a specific file. As a result, it always
2747 The rules are meant to avoid ambiguities when compiling. For
2748 instance, aggregate project Agg groups the projects A and B, that
2749 both depend on C. Here is an extra for all of these projects:
2751 @smallexample @c projectfile
2752 aggregate project Agg is
2753 for Project_Files use ("a.gpr", "b.gpr");
2755 for Global_Compilation_Switches ("Ada") use ("^-O2^-O2^");
2762 for Global_Compilation_Switches ("Ada") use ("^-O1^-O1^");
2767 for Default_Switches ("Ada")
2768 use ("^-O1^-O1^", "-g");
2769 for ^Switches^Switches^ ("a_file1.adb")
2777 for Default_Switches ("Ada") use ("^-O0^-O0^");
2783 for Default_Switches ("Ada")
2786 for ^Switches^Switches^ ("c_file1.adb")
2787 use ("^-O0^-O0^", "-g");
2792 then the following switches are used:
2795 @item all files from project A except a_file1.adb are compiled
2796 with "^-O2^-O2^ -g", since the aggregate project has priority.
2797 @item the file a_file1.adb is compiled with
2798 "^-O0^-O0^", since the Compiler.Switches has priority
2799 @item all files from project B are compiled with
2800 "^-O2^-O2^", since the aggregate project has priority
2801 @item all files from C are compiled with "^-O2^-O2^ -gnatn", except for
2802 c_file1.adb which is compiled with "^-O0^-O0^ -g"
2805 Even though C is seen through two paths (through A and through
2806 B), the switches used by the compiler are unambiguous.
2808 @item @b{Global_Configuration_Pragmas}
2809 @cindex @code{Global_Configuration_Pragmas}
2811 This attribute can be used to specify a file containing
2812 configuration pragmas, to be passed to the Ada compiler. Since we
2813 ignore the package Builder in other aggregate projects and projects,
2814 only those pragmas defined in the main aggregate project will be
2817 Projects can locally add to those by using the
2818 @code{Compiler.Local_Configuration_Pragmas} attribute if they need.
2820 @item @b{Global_Config_File}
2821 @cindex @code{Global_Config_File}
2823 This attribute, indexed with a language name, can be used to specify a config
2824 when compiling sources of the language. For Ada, these files are configuration
2829 For projects that are built through the aggregate, the package Builder
2830 is ignored, except for the Executable attribute which specifies the
2831 name of the executables resulting from the link of the main programs, and
2832 for the Executable_Suffix.
2834 @c ---------------------------------------------
2835 @node Aggregate Library Projects
2836 @section Aggregate Library Projects
2837 @c ---------------------------------------------
2841 Aggregate library projects make it possible to build a single library
2842 using object files built using other standard or library
2843 projects. This gives the flexibility to describe an application as
2844 having multiple modules (a GUI, database access, ...) using different
2845 project files (so possibly built with different compiler options) and
2846 yet create a single library (static or relocatable) out of the
2847 corresponding object files.
2850 * Building aggregate library projects::
2851 * Syntax of aggregate library projects::
2854 @c ---------------------------------------------
2855 @node Building aggregate library projects
2856 @subsection Building aggregate library projects
2857 @c ---------------------------------------------
2859 For example, we can define an aggregate project Agg that groups A, B
2862 @smallexample @c projectfile
2863 aggregate library project Agg is
2864 for Project_Files use ("a.gpr", "b.gpr", "c.gpr");
2865 for Library_Name use ("agg");
2866 for Library_Dir use ("lagg");
2870 Then, when you build with:
2876 This will build all units from projects A, B and C and will create a
2877 static library named @file{libagg.a} into the @file{lagg}
2878 directory. An aggregate library project has the same set of
2879 restriction as a standard library project.
2881 Note that a shared aggregate library project cannot aggregates a
2882 static library project. In platforms where a compiler option is
2883 required to create relocatable object files, a Builder package in the
2884 aggregate library project may be used:
2886 @smallexample @c projectfile
2887 aggregate library project Agg is
2888 for Project_Files use ("a.gpr", "b.gpr", "c.gpr");
2889 for Library_Name use ("agg");
2890 for Library_Dir use ("lagg");
2891 for Library_Kind use "relocatable";
2894 for Global_Compilation_Switches ("Ada") use ("-fPIC");
2899 With the above aggregate library Builder package, the @code{-fPIC}
2900 option will be passed to the compiler when building any source code
2901 from projects @file{a.gpr}, @file{b.gpr} and @file{c.gpr}.
2903 @c ---------------------------------------------
2904 @node Syntax of aggregate library projects
2905 @subsection Syntax of aggregate library projects
2906 @c ---------------------------------------------
2908 An aggregate library project follows the general syntax of project
2909 files. The recommended extension is still @file{.gpr}. However, a special
2910 @code{aggregate library} qualifier must be put before the keyword
2913 An aggregate library project cannot @code{with} any other project
2914 (standard or aggregate), except an abstract project which can be used
2915 to share attribute values.
2917 An aggregate library project does not have any source files directly (only
2918 through other standard projects). Therefore a number of the standard
2919 attributes and packages are forbidden in an aggregate library
2920 project. Here is the (non exhaustive) list:
2924 @item Source_Files, Source_List_File and other attributes dealing with
2926 @item Source_Dirs, Exec_Dir and Object_Dir
2929 @item Externally_Built
2930 @item Inherit_Source_Path
2931 @item Excluded_Source_Dirs
2932 @item Locally_Removed_Files
2933 @item Excluded_Source_Files
2934 @item Excluded_Source_List_File
2938 The only package that is authorized (albeit optional) is Builder.
2940 The Project_Files attribute (See @pxref{Aggregate Projects}) is used to
2941 described the aggregated projects whose object files have to be
2942 included into the aggregate library. The environment variables
2943 @code{ADA_PROJECT_PATH}, @code{GPR_PROJECT_PATH} and
2944 @code{GPR_PROJECT_PATH_FILE} are not used to find the project files.
2946 @c ---------------------------------------------
2947 @node Project File Reference
2948 @section Project File Reference
2949 @c ---------------------------------------------
2952 This section describes the syntactic structure of project files, the various
2953 constructs that can be used. Finally, it ends with a summary of all available
2957 * Project Declaration::
2958 * Qualified Projects::
2963 * Typed String Declaration::
2965 * Case Constructions::
2969 @c ---------------------------------------------
2970 @node Project Declaration
2971 @subsection Project Declaration
2972 @c ---------------------------------------------
2975 Project files have an Ada-like syntax. The minimal project file is:
2977 @smallexample @c projectfile
2985 The identifier @code{Empty} is the name of the project.
2986 This project name must be present after the reserved
2987 word @code{end} at the end of the project file, followed by a semi-colon.
2989 @b{Identifiers} (i.e.@: the user-defined names such as project or variable names)
2990 have the same syntax as Ada identifiers: they must start with a letter,
2991 and be followed by zero or more letters, digits or underscore characters;
2992 it is also illegal to have two underscores next to each other. Identifiers
2993 are always case-insensitive ("Name" is the same as "name").
2996 simple_name ::= identifier
2997 name ::= simple_name @{ . simple_name @}
3001 @b{Strings} are used for values of attributes or as indexes for these
3002 attributes. They are in general case sensitive, except when noted
3003 otherwise (in particular, strings representing file names will be case
3004 insensitive on some systems, so that "file.adb" and "File.adb" both
3005 represent the same file).
3007 @b{Reserved words} are the same as for standard Ada 95, and cannot
3008 be used for identifiers. In particular, the following words are currently
3009 used in project files, but others could be added later on. In bold are the
3010 extra reserved words in project files: @code{all, at, case, end, for, is,
3011 limited, null, others, package, renames, type, use, when, with, @b{extends},
3012 @b{external}, @b{project}}.
3014 @b{Comments} in project files have the same syntax as in Ada, two consecutive
3015 hyphens through the end of the line.
3017 A project may be an @b{independent project}, entirely defined by a single
3018 project file. Any source file in an independent project depends only
3019 on the predefined library and other source files in the same project.
3020 But a project may also depend on other projects, either by importing them
3021 through @b{with clauses}, or by @b{extending} at most one other project. Both
3022 types of dependency can be used in the same project.
3024 A path name denotes a project file. It can be absolute or relative.
3025 An absolute path name includes a sequence of directories, in the syntax of
3026 the host operating system, that identifies uniquely the project file in the
3027 file system. A relative path name identifies the project file, relative
3028 to the directory that contains the current project, or relative to a
3029 directory listed in the environment variables ADA_PROJECT_PATH and
3030 GPR_PROJECT_PATH. Path names are case sensitive if file names in the host
3031 operating system are case sensitive. As a special case, the directory
3032 separator can always be "/" even on Windows systems, so that project files
3033 can be made portable across architectures.
3034 The syntax of the environment variable ADA_PROJECT_PATH and
3035 GPR_PROJECT_PATH is a list of directory names separated by colons on UNIX and
3036 semicolons on Windows.
3038 A given project name can appear only once in a context clause.
3040 It is illegal for a project imported by a context clause to refer, directly
3041 or indirectly, to the project in which this context clause appears (the
3042 dependency graph cannot contain cycles), except when one of the with clause
3043 in the cycle is a @b{limited with}.
3044 @c ??? Need more details here
3046 @smallexample @c projectfile
3047 with "other_project.gpr";
3048 project My_Project extends "extended.gpr" is
3053 These dependencies form a @b{directed graph}, potentially cyclic when using
3054 @b{limited with}. The subprogram reflecting the @b{extends} relations is a
3057 A project's @b{immediate sources} are the source files directly defined by
3058 that project, either implicitly by residing in the project source directories,
3059 or explicitly through any of the source-related attributes.
3060 More generally, a project sources are the immediate sources of the project
3061 together with the immediate sources (unless overridden) of any
3062 project on which it depends directly or indirectly.
3064 A @b{project hierarchy} can be created, where projects are children of
3065 other projects. The name of such a child project must be @code{Parent.Child},
3066 where @code{Parent} is the name of the parent project. In particular, this
3067 makes all @code{with} clauses of the parent project automatically visible
3068 in the child project.
3071 project ::= context_clause project_declaration
3073 context_clause ::= @{with_clause@}
3074 with_clause ::= @i{with} path_name @{ , path_name @} ;
3075 path_name ::= string_literal
3077 project_declaration ::= simple_project_declaration | project_extension
3078 simple_project_declaration ::=
3079 @i{project} @i{<project_>}name @i{is}
3080 @{declarative_item@}
3081 @i{end} <project_>simple_name;
3084 @c ---------------------------------------------
3085 @node Qualified Projects
3086 @subsection Qualified Projects
3087 @c ---------------------------------------------
3090 Before the reserved @code{project}, there may be one or two @b{qualifiers}, that
3091 is identifiers or reserved words, to qualify the project.
3092 The current list of qualifiers is:
3095 @item @b{abstract}: qualifies a project with no sources. Such a
3096 project must either have no declaration of attributes @code{Source_Dirs},
3097 @code{Source_Files}, @code{Languages} or @code{Source_List_File}, or one of
3098 @code{Source_Dirs}, @code{Source_Files}, or @code{Languages} must be declared
3099 as empty. If it extends another project, the project it extends must also be a
3100 qualified abstract project.
3101 @item @b{standard}: a standard project is a non library project with sources.
3102 This is the default (implicit) qualifier.
3103 @item @b{aggregate}: a project whose sources are aggregated from other
3105 @item @b{aggregate library}: a library whose sources are aggregated
3106 from other project or library project files.
3107 @item @b{library}: a library project must declare both attributes
3108 @code{Library_Name} and @code{Library_Dir}.
3109 @item @b{configuration}: a configuration project cannot be in a project tree.
3110 It describes compilers and other tools to @command{gprbuild}.
3113 @c ---------------------------------------------
3115 @subsection Declarations
3116 @c ---------------------------------------------
3119 Declarations introduce new entities that denote types, variables, attributes,
3120 and packages. Some declarations can only appear immediately within a project
3121 declaration. Others can appear within a project or within a package.
3124 declarative_item ::= simple_declarative_item
3125 | typed_string_declaration
3126 | package_declaration
3128 simple_declarative_item ::= variable_declaration
3129 | typed_variable_declaration
3130 | attribute_declaration
3134 empty_declaration ::= @i{null} ;
3138 An empty declaration is allowed anywhere a declaration is allowed. It has
3141 @c ---------------------------------------------
3143 @subsection Packages
3144 @c ---------------------------------------------
3147 A project file may contain @b{packages}, that group attributes (typically
3148 all the attributes that are used by one of the GNAT tools).
3150 A package with a given name may only appear once in a project file.
3151 The following packages are currently supported in project files
3152 (See @pxref{Attributes} for the list of attributes that each can contain).
3156 This package specifies characteristics useful when invoking the binder either
3157 directly via the @command{gnat} driver or when using a builder such as
3158 @command{gnatmake} or @command{gprbuild}. @xref{Main Subprograms}.
3160 This package specifies the compilation options used when building an
3161 executable or a library for a project. Most of the options should be
3162 set in one of @code{Compiler}, @code{Binder} or @code{Linker} packages,
3163 but there are some general options that should be defined in this
3164 package. @xref{Main Subprograms}, and @pxref{Executable File Names} in
3167 This package specifies the options used when calling the checking tool
3168 @command{gnatcheck} via the @command{gnat} driver. Its attribute
3169 @b{Default_Switches} has the same semantics as for the package
3170 @code{Builder}. The first string should always be @code{-rules} to specify
3171 that all the other options belong to the @code{-rules} section of the
3172 parameters to @command{gnatcheck}.
3174 This package specifies the options used when cleaning a project or a project
3175 tree using the tools @command{gnatclean} or @command{gprclean}.
3177 This package specifies the compilation options used by the compiler for
3178 each languages. @xref{Tools Options in Project Files}.
3179 @item Cross_Reference
3180 This package specifies the options used when calling the library tool
3181 @command{gnatxref} via the @command{gnat} driver. Its attributes
3182 @b{Default_Switches} and @b{^Switches^Switches^} have the same semantics as for the
3183 package @code{Builder}.
3185 This package specifies the options used when calling the tool
3186 @command{gnatelim} via the @command{gnat} driver. Its attributes
3187 @b{Default_Switches} and @b{^Switches^Switches^} have the same semantics as for the
3188 package @code{Builder}.
3190 This package specifies the options used when calling the search tool
3191 @command{gnatfind} via the @command{gnat} driver. Its attributes
3192 @b{Default_Switches} and @b{^Switches^Switches^} have the same semantics as for the
3193 package @code{Builder}.
3194 @item ^Gnatls^Gnatls^
3195 This package specifies the options to use when invoking @command{gnatls}
3196 via the @command{gnat} driver.
3197 @item ^Gnatstub^Gnatstub^
3198 This package specifies the options used when calling the tool
3199 @command{gnatstub} via the @command{gnat} driver. Its attributes
3200 @b{Default_Switches} and @b{^Switches^Switches^} have the same semantics as for the
3201 package @code{Builder}.
3203 This package specifies the options used when starting an integrated
3204 development environment, for instance @command{GPS} or @command{Gnatbench}.
3206 This package specifies the options used when installing a project
3207 with @command{gprinstall}. @xref{Installation}.
3209 This package specifies the options used by the linker.
3210 @xref{Main Subprograms}.
3212 This package specifies the options used when calling the tool
3213 @command{gnatmetric} via the @command{gnat} driver. Its attributes
3214 @b{Default_Switches} and @b{^Switches^Switches^} have the same semantics as for the
3215 package @code{Builder}.
3217 This package specifies the naming conventions that apply
3218 to the source files in a project. In particular, these conventions are
3219 used to automatically find all source files in the source directories,
3220 or given a file name to find out its language for proper processing.
3221 @xref{Naming Schemes}.
3222 @item Pretty_Printer
3223 This package specifies the options used when calling the formatting tool
3224 @command{gnatpp} via the @command{gnat} driver. Its attributes
3225 @b{Default_Switches} and @b{^Switches^Switches^} have the same semantics as for the
3226 package @code{Builder}.
3228 This package is used by @command{gprbuild} to describe how distributed
3229 compilation should be done.
3231 This package specifies the options used when calling the tool
3232 @command{gnatstack} via the @command{gnat} driver. Its attributes
3233 @b{Default_Switches} and @b{^Switches^Switches^} have the same semantics as for the
3234 package @code{Builder}.
3236 This package specifies the options used when calling the tool
3237 @command{gnatsync} via the @command{gnat} driver.
3241 In its simplest form, a package may be empty:
3243 @smallexample @c projectfile
3253 A package may contain @b{attribute declarations},
3254 @b{variable declarations} and @b{case constructions}, as will be
3257 When there is ambiguity between a project name and a package name,
3258 the name always designates the project. To avoid possible confusion, it is
3259 always a good idea to avoid naming a project with one of the
3260 names allowed for packages or any name that starts with @code{gnat}.
3262 A package can also be defined by a @b{renaming declaration}. The new package
3263 renames a package declared in a different project file, and has the same
3264 attributes as the package it renames. The name of the renamed package
3265 must be the same as the name of the renaming package. The project must
3266 contain a package declaration with this name, and the project
3267 must appear in the context clause of the current project, or be its parent
3268 project. It is not possible to add or override attributes to the renaming
3269 project. If you need to do so, you should use an @b{extending declaration}
3272 Packages that are renamed in other project files often come from project files
3273 that have no sources: they are just used as templates. Any modification in the
3274 template will be reflected automatically in all the project files that rename
3275 a package from the template. This is a very common way to share settings
3278 Finally, a package can also be defined by an @b{extending declaration}. This is
3279 similar to a @b{renaming declaration}, except that it is possible to add or
3280 override attributes.
3283 package_declaration ::= package_spec | package_renaming | package_extension
3285 @i{package} @i{<package_>}simple_name @i{is}
3286 @{simple_declarative_item@}
3287 @i{end} package_identifier ;
3288 package_renaming ::==
3289 @i{package} @i{<package_>}simple_name @i{renames} @i{<project_>}simple_name.package_identifier ;
3290 package_extension ::==
3291 @i{package} @i{<package_>}simple_name @i{extends} @i{<project_>}simple_name.package_identifier @i{is}
3292 @{simple_declarative_item@}
3293 @i{end} package_identifier ;
3296 @c ---------------------------------------------
3298 @subsection Expressions
3299 @c ---------------------------------------------
3302 An expression is any value that can be assigned to an attribute or a
3303 variable. It is either a literal value, or a construct requiring runtime
3304 computation by the project manager. In a project file, the computed value of
3305 an expression is either a string or a list of strings.
3307 A string value is one of:
3309 @item A literal string, for instance @code{"comm/my_proj.gpr"}
3310 @item The name of a variable that evaluates to a string (@pxref{Variables})
3311 @item The name of an attribute that evaluates to a string (@pxref{Attributes})
3312 @item An external reference (@pxref{External Values})
3313 @item A concatenation of the above, as in @code{"prefix_" & Var}.
3318 A list of strings is one of the following:
3321 @item A parenthesized comma-separated list of zero or more string expressions, for
3322 instance @code{(File_Name, "gnat.adc", File_Name & ".orig")} or @code{()}.
3323 @item The name of a variable that evaluates to a list of strings
3324 @item The name of an attribute that evaluates to a list of strings
3325 @item A concatenation of a list of strings and a string (as defined above), for
3326 instance @code{("A", "B") & "C"}
3327 @item A concatenation of two lists of strings
3332 The following is the grammar for expressions
3335 string_literal ::= "@{string_element@}" -- Same as Ada
3336 string_expression ::= string_literal
3339 | attribute_reference
3340 | ( string_expression @{ & string_expression @} )
3341 string_list ::= ( string_expression @{ , string_expression @} )
3342 | @i{string_variable}_name
3343 | @i{string_}attribute_reference
3344 term ::= string_expression | string_list
3345 expression ::= term @{ & term @} -- Concatenation
3349 Concatenation involves strings and list of strings. As soon as a list of
3350 strings is involved, the result of the concatenation is a list of strings. The
3351 following Ada declarations show the existing operators:
3353 @smallexample @c ada
3354 function "&" (X : String; Y : String) return String;
3355 function "&" (X : String_List; Y : String) return String_List;
3356 function "&" (X : String_List; Y : String_List) return String_List;
3360 Here are some specific examples:
3362 @smallexample @c projectfile
3364 List := () & File_Name; -- One string in this list
3365 List2 := List & (File_Name & ".orig"); -- Two strings
3366 Big_List := List & Lists2; -- Three strings
3367 Illegal := "gnat.adc" & List2; -- Illegal, must start with list
3371 @c ---------------------------------------------
3372 @node External Values
3373 @subsection External Values
3374 @c ---------------------------------------------
3377 An external value is an expression whose value is obtained from the command
3378 that invoked the processing of the current project file (typically a
3379 @command{gnatmake} or @command{gprbuild} command).
3381 There are two kinds of external values, one that returns a single string, and
3382 one that returns a string list.
3384 The syntax of a single string external value is:
3387 external_value ::= @i{external} ( string_literal [, string_literal] )
3391 The first string_literal is the string to be used on the command line or
3392 in the environment to specify the external value. The second string_literal,
3393 if present, is the default to use if there is no specification for this
3394 external value either on the command line or in the environment.
3396 Typically, the external value will either exist in the
3397 ^environment variables^logical name^
3398 or be specified on the command line through the
3399 @option{^-X^/EXTERNAL_REFERENCE=^@emph{vbl}=@emph{value}} switch. If both
3400 are specified, then the command line value is used, so that a user can more
3401 easily override the value.
3403 The function @code{external} always returns a string. It is an error if the
3404 value was not found in the environment and no default was specified in the
3405 call to @code{external}.
3407 An external reference may be part of a string expression or of a string
3408 list expression, and can therefore appear in a variable declaration or
3409 an attribute declaration.
3411 Most of the time, this construct is used to initialize typed variables, which
3412 are then used in @b{case} statements to control the value assigned to
3413 attributes in various scenarios. Thus such variables are often called
3414 @b{scenario variables}.
3416 The syntax for a string list external value is:
3419 external_value ::= @i{external_as_list} ( string_literal , string_literal )
3423 The first string_literal is the string to be used on the command line or
3424 in the environment to specify the external value. The second string_literal is
3425 the separator between each component of the string list.
3427 If the external value does not exist in the environment or on the command line,
3428 the result is an empty list. This is also the case, if the separator is an
3429 empty string or if the external value is only one separator.
3431 Any separator at the beginning or at the end of the external value is
3432 discarded. Then, if there is no separator in the external value, the result is
3433 a string list with only one string. Otherwise, any string between the beginning
3434 and the first separator, between two consecutive separators and between the
3435 last separator and the end are components of the string list.
3438 @i{external_as_list} ("SWITCHES", ",")
3442 If the external value is "^-O2^-O2^,-g",
3443 the result is ("^-O2^-O2^", "-g").
3445 If the external value is ",^-O2^-O2^,-g,",
3446 the result is also ("^-O2^-O2^", "-g").
3448 if the external value is "^-gnatv^-gnatv^",
3449 the result is ("^-gnatv^-gnatv^").
3451 If the external value is ",,", the result is ("").
3453 If the external value is ",", the result is (), the empty string list.
3455 @c ---------------------------------------------
3456 @node Typed String Declaration
3457 @subsection Typed String Declaration
3458 @c ---------------------------------------------
3461 A @b{type declaration} introduces a discrete set of string literals.
3462 If a string variable is declared to have this type, its value
3463 is restricted to the given set of literals. These are the only named
3464 types in project files. A string type may only be declared at the project
3465 level, not inside a package.
3468 typed_string_declaration ::=
3469 @i{type} @i{<typed_string_>}_simple_name @i{is} ( string_literal @{, string_literal@} );
3473 The string literals in the list are case sensitive and must all be different.
3474 They may include any graphic characters allowed in Ada, including spaces.
3475 Here is an example of a string type declaration:
3477 @smallexample @c projectfile
3478 type OS is ("NT", "nt", "Unix", "GNU/Linux", "other OS");
3482 Variables of a string type are called @b{typed variables}; all other
3483 variables are called @b{untyped variables}. Typed variables are
3484 particularly useful in @code{case} constructions, to support conditional
3485 attribute declarations. (@pxref{Case Constructions}).
3487 A string type may be referenced by its name if it has been declared in the same
3488 project file, or by an expanded name whose prefix is the name of the project
3489 in which it is declared.
3491 @c ---------------------------------------------
3493 @subsection Variables
3494 @c ---------------------------------------------
3497 @b{Variables} store values (strings or list of strings) and can appear
3498 as part of an expression. The declaration of a variable creates the
3499 variable and assigns the value of the expression to it. The name of the
3500 variable is available immediately after the assignment symbol, if you
3501 need to reuse its old value to compute the new value. Before the completion
3502 of its first declaration, the value of a variable defaults to the empty
3505 A @b{typed} variable can be used as part of a @b{case} expression to
3506 compute the value, but it can only be declared once in the project file,
3507 so that all case constructions see the same value for the variable. This
3508 provides more consistency and makes the project easier to understand.
3509 The syntax for its declaration is identical to the Ada syntax for an
3510 object declaration. In effect, a typed variable acts as a constant.
3512 An @b{untyped} variable can be declared and overridden multiple times
3513 within the same project. It is declared implicitly through an Ada
3514 assignment. The first declaration establishes the kind of the variable
3515 (string or list of strings) and successive declarations must respect
3516 the initial kind. Assignments are executed in the order in which they
3517 appear, so the new value replaces the old one and any subsequent reference
3518 to the variable uses the new value.
3520 A variable may be declared at the project file level, or within a package.
3523 typed_variable_declaration ::=
3524 @i{<typed_variable_>}simple_name : @i{<typed_string_>}name := string_expression;
3525 variable_declaration ::= @i{<variable_>}simple_name := expression;
3529 Here are some examples of variable declarations:
3531 @smallexample @c projectfile
3533 This_OS : OS := external ("OS"); -- a typed variable declaration
3534 That_OS := "GNU/Linux"; -- an untyped variable declaration
3536 Name := "readme.txt";
3537 Save_Name := Name & ".saved";
3540 List_With_One_Element := ("-gnaty");
3541 List_With_Two_Elements := List_With_One_Element & "-gnatg";
3542 Long_List := ("main.ada", "pack1_.ada", "pack1.ada", "pack2_.ada");
3547 A @b{variable reference} may take several forms:
3550 @item The simple variable name, for a variable in the current package (if any)
3551 or in the current project
3552 @item An expanded name, whose prefix is a context name.
3557 A @b{context} may be one of the following:
3560 @item The name of an existing package in the current project
3561 @item The name of an imported project of the current project
3562 @item The name of an ancestor project (i.e., a project extended by the current
3563 project, either directly or indirectly)
3564 @item An expanded name whose prefix is an imported/parent project name, and
3565 whose selector is a package name in that project.
3568 @c ---------------------------------------------
3569 @node Case Constructions
3570 @subsection Case Constructions
3571 @c ---------------------------------------------
3574 A @b{case} statement is used in a project file to effect conditional
3575 behavior. Through this statement, you can set the value of attributes
3576 and variables depending on the value previously assigned to a typed
3579 All choices in a choice list must be distinct. Unlike Ada, the choice
3580 lists of all alternatives do not need to include all values of the type.
3581 An @code{others} choice must appear last in the list of alternatives.
3583 The syntax of a @code{case} construction is based on the Ada case statement
3584 (although the @code{null} statement for empty alternatives is optional).
3586 The case expression must be a typed string variable, whose value is often
3587 given by an external reference (@pxref{External Values}).
3589 Each alternative starts with the reserved word @code{when}, either a list of
3590 literal strings separated by the @code{"|"} character or the reserved word
3591 @code{others}, and the @code{"=>"} token.
3592 Each literal string must belong to the string type that is the type of the
3594 After each @code{=>}, there are zero or more statements. The only
3595 statements allowed in a case construction are other case constructions,
3596 attribute declarations and variable declarations. String type declarations and
3597 package declarations are not allowed. Variable declarations are restricted to
3598 variables that have already been declared before the case construction.
3602 @i{case} @i{<typed_variable_>}name @i{is} @{case_item@} @i{end case} ;
3605 @i{when} discrete_choice_list =>
3607 | attribute_declaration
3608 | variable_declaration
3609 | empty_declaration@}
3611 discrete_choice_list ::= string_literal @{| string_literal@} | @i{others}
3615 Here is a typical example:
3617 @smallexample @c projectfile
3620 type OS_Type is ("GNU/Linux", "Unix", "NT", "VMS");
3621 OS : OS_Type := external ("OS", "GNU/Linux");
3625 when "GNU/Linux" | "Unix" =>
3626 for ^Switches^Switches^ ("Ada")
3629 for ^Switches^Switches^ ("Ada")
3630 use ("^-gnatP^-gnatP^");
3639 @c ---------------------------------------------
3641 @subsection Attributes
3642 @c ---------------------------------------------
3645 * Project Level Attributes::
3646 * Package Binder Attributes::
3647 * Package Builder Attributes::
3648 * Package Check Attributes::
3649 * Package Clean Attributes::
3650 * Package Compiler Attributes::
3651 * Package Cross_Reference Attributes::
3652 * Package Eliminate Attributes::
3653 * Package Finder Attributes::
3654 * Package ^gnatls^gnatls^ Attributes::
3655 * Package ^gnatstub^gnatstub^ Attributes::
3656 * Package IDE Attributes::
3657 * Package Install Attributes::
3658 * Package Linker Attributes::
3659 * Package Metrics Attribute::
3660 * Package Naming Attributes::
3661 * Package Pretty_Printer Attributes::
3662 * Package Remote Attributes::
3663 * Package Stack Attributes::
3664 * Package Synchronize Attributes::
3668 A project (and its packages) may have @b{attributes} that define
3669 the project's properties. Some attributes have values that are strings;
3670 others have values that are string lists.
3673 attribute_declaration ::=
3674 simple_attribute_declaration | indexed_attribute_declaration
3675 simple_attribute_declaration ::= @i{for} attribute_designator @i{use} expression ;
3676 indexed_attribute_declaration ::=
3677 @i{for} @i{<indexed_attribute_>}simple_name ( string_literal) @i{use} expression ;
3678 attribute_designator ::=
3679 @i{<simple_attribute_>}simple_name
3680 | @i{<indexed_attribute_>}simple_name ( string_literal )
3684 There are two categories of attributes: @b{simple attributes}
3685 and @b{indexed attributes}.
3686 Each simple attribute has a default value: the empty string (for string
3687 attributes) and the empty list (for string list attributes).
3688 An attribute declaration defines a new value for an attribute, and overrides
3689 the previous value. The syntax of a simple attribute declaration is similar to
3690 that of an attribute definition clause in Ada.
3692 Some attributes are indexed. These attributes are mappings whose
3693 domain is a set of strings. They are declared one association
3694 at a time, by specifying a point in the domain and the corresponding image
3696 Like untyped variables and simple attributes, indexed attributes
3697 may be declared several times. Each declaration supplies a new value for the
3698 attribute, and replaces the previous setting.
3700 Here are some examples of attribute declarations:
3702 @smallexample @c projectfile
3703 -- simple attributes
3704 for Object_Dir use "objects";
3705 for Source_Dirs use ("units", "test/drivers");
3707 -- indexed attributes
3708 for Body ("main") use "Main.ada";
3709 for ^Switches^Switches^ ("main.ada")
3710 use ("-v", "^-gnatv^-gnatv^");
3711 for ^Switches^Switches^ ("main.ada") use Builder'Switches ("main.ada") & "-g";
3713 -- indexed attributes copy (from package Builder in project Default)
3714 -- The package name must always be specified, even if it is the current
3716 for Default_Switches use Default.Builder'Default_Switches;
3720 Attributes references may appear anywhere in expressions, and are used
3721 to retrieve the value previously assigned to the attribute. If an attribute
3722 has not been set in a given package or project, its value defaults to the
3723 empty string or the empty list.
3726 attribute_reference ::= attribute_prefix ' @i{<simple_attribute>_}simple_name [ (string_literal) ]
3727 attribute_prefix ::= @i{project}
3728 | @i{<project_>}simple_name
3729 | package_identifier
3730 | @i{<project_>}simple_name . package_identifier
3736 @smallexample @c projectfile
3738 Naming'Dot_Replacement
3739 Imported_Project'Source_Dirs
3740 Imported_Project.Naming'Casing
3741 Builder'Default_Switches ("Ada")
3745 The prefix of an attribute may be:
3748 @item @code{project} for an attribute of the current project
3749 @item The name of an existing package of the current project
3750 @item The name of an imported project
3751 @item The name of a parent project that is extended by the current project
3752 @item An expanded name whose prefix is imported/parent project name,
3753 and whose selector is a package name
3759 In the following sections, all predefined attributes are succinctly described,
3760 first the project level attributes, that is those attributes that are not in a
3761 package, then the attributes in the different packages.
3763 It is possible for different tools to create dynamically new packages with
3764 attributes, or new attribute in predefined packages. These attributes are
3765 not documented here.
3767 The attributes under Configuration headings are usually found only in
3768 configuration project files.
3770 The characteristics of each attribute are indicated as follows:
3774 @item @b{Type of value}
3776 The value of an attribute may be a single string, indicated by the word
3777 "single", or a string list, indicated by the word "list".
3781 When the attribute is read-only, that is when it is not allowed to declare
3782 the attribute, this is indicated by the words "read-only".
3784 @item @b{Optional index}
3786 If it is allowed in the value of the attribute (both single and list) to have
3787 an optional index, this is indicated by the words "optional index".
3789 @item @b{Indexed attribute}
3791 When an it is an indexed attribute, this is indicated by the word "indexed".
3793 @item @b{Case-sensitivity of the index}
3795 For an indexed attribute, if the index is case-insensitive, this is indicated
3796 by the words "case-insensitive index".
3798 @item @b{File name index}
3800 For an indexed attribute, when the index is a file name, this is indicated by
3801 the words "file name index". The index may or may not be case-sensitive,
3802 depending on the platform.
3804 @item @b{others allowed in index}
3806 For an indexed attribute, if it is allowed to use @b{others} as the index,
3807 this is indicated by the words "others allowed".
3811 @node Project Level Attributes
3812 @subsubsection Project Level Attributes
3821 @item @b{Name}: single, read-only
3823 The name of the project.
3825 @item @b{Project_Dir}: single, read-only
3827 The path name of the project directory.
3829 @item @b{Main}: list, optional index
3831 The list of main sources for the executables.
3833 @item @b{Languages}: list
3835 The list of languages of the sources of the project.
3837 @item @b{Roots}: list, indexed, file name index
3839 The index is the file name of an executable source. Indicates the list of units
3840 from the main project that need to be bound and linked with their closures
3841 with the executable. The index is either a file name, a language name or "*".
3842 The roots for an executable source are those in @b{Roots} with an index that
3843 is the executable source file name, if declared. Otherwise, they are those in
3844 @b{Roots} with an index that is the language name of the executable source,
3845 if present. Otherwise, they are those in @b{Roots ("*")}, if declared. If none
3846 of these three possibilities are declared, then there are no roots for the
3849 @item @b{Externally_Built}: single
3851 Indicates if the project is externally built.
3852 Only case-insensitive values allowed are "true" and "false", the default.
3857 @item @b{Directories}
3861 @item @b{Object_Dir}: single
3863 Indicates the object directory for the project.
3865 @item @b{Exec_Dir}: single
3867 Indicates the exec directory for the project, that is the directory where the
3870 @item @b{Source_Dirs}: list
3872 The list of source directories of the project.
3874 @item @b{Inherit_Source_Path}: list, indexed, case-insensitive index
3876 Index is a language name. Value is a list of language names. Indicates that
3877 in the source search path of the index language the source directories of
3878 the languages in the list should be included.
3882 for Inherit_Source_Path ("C++") use ("C");
3884 @item @b{Exclude_Source_Dirs}: list
3886 The list of directories that are included in Source_Dirs but are not source
3887 directories of the project.
3889 @item @b{Ignore_Source_Sub_Dirs}: list
3891 Value is a list of simple names for subdirectories that are removed from the
3892 list of source directories, including theur subdirectories.
3896 @item @b{Source Files}
3900 @item @b{Source_Files}: list
3902 Value is a list of source file simple names.
3904 @item @b{Locally_Removed_Files}: list
3906 Obsolescent. Equivalent to Excluded_Source_Files.
3908 @item @b{Excluded_Source_Files}: list
3910 Value is a list of simple file names that are not sources of the project.
3911 Allows to remove sources that are inherited or found in the source directories
3912 and that match the naming scheme.
3914 @item @b{Source_List_File}: single
3916 Value is a text file name that contains a list of source file simple names,
3919 @item @b{Excluded_Source_List_File}: single
3921 Value is a text file name that contains a list of file simple names that
3922 are not sources of the project.
3924 @item @b{Interfaces}: list
3926 Value is a list of file names that constitutes the interfaces of the project.
3930 @item @b{Aggregate Projects}
3934 @item @b{Project_Files}: list
3936 Value is the list of aggregated projects.
3938 @item @b{Project_Path}: list
3940 Value is a list of directories that are added to the project search path when
3941 looking for the aggregated projects.
3943 @item @b{External}: single, indexed
3945 Index is the name of an external reference. Value is the value of the
3946 external reference to be used when parsing the aggregated projects.
3954 @item @b{Library_Dir}: single
3956 Value is the name of the library directory. This attribute needs to be
3957 declared for each library project.
3959 @item @b{Library_Name}: single
3961 Value is the name of the library. This attribute needs to be declared or
3962 inherited for each library project.
3964 @item @b{Library_Kind}: single
3966 Specifies the kind of library: static library (archive) or shared library.
3967 Case-insensitive values must be one of "static" for archives (the default) or
3968 "dynamic" or "relocatable" for shared libraries.
3970 @item @b{Library_Version}: single
3972 Value is the name of the library file.
3974 @item @b{Library_Interface}: list
3976 Value is the list of unit names that constitutes the interfaces
3977 of a Stand-Alone Library project.
3979 @item @b{Library_Standalone}: single
3981 Specifies if a Stand-Alone Library (SAL) is encapsulated or not.
3982 Only authorized case-insensitive values are "standard" for non encapsulated
3983 SALs, "encapsulated" for encapsulated SALs or "no" for non SAL library project.
3985 @item @b{Library_Encapsulated_Options}: list
3987 Value is a list of options that need to be used when linking an encapsulated
3988 Stand-Alone Library.
3990 @item @b{Library_Encapsulated_Supported}: single
3992 Indicates if encapsulated Stand-Alone Libraries are supported. Only
3993 authorized case-insensitive values are "true" and "false" (the default).
3995 @item @b{Library_Auto_Init}: single
3997 Indicates if a Stand-Alone Library is auto-initialized. Only authorized
3998 case-insentive values are "true" and "false".
4000 @item @b{Leading_Library_Options}: list
4002 Value is a list of options that are to be used at the beginning of
4003 the command line when linking a shared library.
4005 @item @b{Library_Options}: list
4007 Value is a list of options that are to be used when linking a shared library.
4009 @item @b{Library_Rpath_Options}: list, indexed, case-insensitive index
4011 Index is a language name. Value is a list of options for an invocation of the
4012 compiler of the language. This invocation is done for a shared library project
4013 with sources of the language. The output of the invocation is the path name
4014 of a shared library file. The directory name is to be put in the run path
4015 option switch when linking the shared library for the project.
4017 @item @b{Library_Src_Dir}: single
4019 Value is the name of the directory where copies of the sources of the
4020 interfaces of a Stand-Alone Library are to be copied.
4022 @item @b{Library_ALI_Dir}: single
4024 Value is the name of the directory where the ALI files of the interfaces
4025 of a Stand-Alone Library are to be copied. When this attribute is not declared,
4026 the directory is the library directory.
4028 @item @b{Library_gcc}: single
4030 Obsolescent attribute. Specify the linker driver used to link a shared library.
4031 Use instead attribute Linker'Driver.
4033 @item @b{Library_Symbol_File}: single
4035 Value is the name of the library symbol file.
4037 @item @b{Library_Symbol_Policy}: single
4039 Indicates the symbol policy kind. Only authorized case-insensitive values are
4040 "autonomous", "default", "compliant", "controlled" or "direct".
4042 @item @b{Library_Reference_Symbol_File}: single
4044 Value is the name of the reference symbol file.
4048 @item @b{Configuration - General}
4052 @item @b{Default_Language}: single
4054 Value is the case-insensitive name of the language of a project when attribute
4055 Languages is not specified.
4057 @item @b{Run_Path_Option}: list
4059 Value is the list of switches to be used when specifying the run path option
4062 @item @b{Run_Path_Origin}: single
4064 Value is the the string that may replace the path name of the executable
4065 directory in the run path options.
4067 @item @b{Separate_Run_Path_Options}: single
4069 Indicates if there may be or not several run path options specified when
4070 linking an executable. Only authorized case-insensitive b=values are "true" or
4071 "false" (the default).
4073 @item @b{Toolchain_Version}: single, indexed, case-insensitive index
4075 Index is a language name. Specify the version of a toolchain for a language.
4077 @item @b{Toolchain_Description}: single, indexed, case-insensitive index
4079 Obsolescent. No longer used.
4081 @item @b{Object_Generated}: single, indexed, case-insensitive index
4083 Index is a language name. Indicates if invoking the compiler for a language
4084 produces an object file. Only authorized case-insensitive values are "false"
4085 and "true" (the default).
4087 @item @b{Objects_Linked}: single, indexed, case-insensitive index
4089 Index is a language name. Indicates if the object files created by the compiler
4090 for a language need to be linked in the executable. Only authorized
4091 case-insensitive values are "false" and "true" (the default).
4093 @item @b{Target}: single
4095 Value is the name of the target platform.
4099 @item @b{Configuration - Libraries}
4103 @item @b{Library_Builder}: single
4105 Value is the path name of the application that is to be used to build
4106 libraries. Usually the path name of "gprlib".
4108 @item @b{Library_Support}: single
4110 Indicates the level of support of libraries. Only authorized case-insensitive
4111 values are "static_only", "full" or "none" (the default).
4115 @item @b{Configuration - Archives}
4119 @item @b{Archive_Builder}: list
4121 Value is the name of the application to be used to create a static library
4122 (archive), followed by the options to be used.
4124 @item @b{Archive_Builder_Append_Option}: list
4126 Value is the list of options to be used when invoking the archive builder
4127 to add project files into an archive.
4129 @item @b{Archive_Indexer}: list
4131 Value is the name of the archive indexer, followed by the required options.
4133 @item @b{Archive_Suffix}: single
4135 Value is the extension of archives. When not declared, the extension is ".a".
4137 @item @b{Library_Partial_Linker}: list
4139 Value is the name of the partial linker executable, followed by the required
4144 @item @b{Configuration - Shared Libraries}
4148 @item @b{Shared_Library_Prefix}: single
4150 Value is the prefix in the name of shared library files. When not declared,
4151 the prefix is "lib".
4153 @item @b{Shared_Library_Suffix}: single
4155 Value is the the extension of the name of shared library files. When not
4156 declared, the extension is ".so".
4158 @item @b{Symbolic_Link_Supported}: single
4160 Indicates if symbolic links are supported on the platform. Only authorized
4161 case-insensitive values are "true" and "false" (the default).
4163 @item @b{Library_Major_Minor_Id_Supported}: single
4165 Indicates if major and minor ids for shared library names are supported on
4166 the platform. Only authorized case-insensitive values are "true" and "false"
4169 @item @b{Library_Auto_Init_Supported}: single
4171 Indicates if auto-initialization of Stand-Alone Libraries is supported. Only
4172 authorized case-insensitive values are "true" and "false" (the default).
4174 @item @b{Shared_Library_Minimum_Switches}: list
4176 Value is the list of required switches when linking a shared library.
4178 @item @b{Library_Version_Switches}: list
4180 Value is the list of switches to specify a internal name for a shared library.
4182 @item @b{Library_Install_Name_Option}: single
4184 Value is the name of the option that needs to be used, concatenated with the
4185 path name of the library file, when linking a shared library.
4187 @item @b{Runtime_Library_Dir}: single, indexed, case-insensitive index
4189 Index is a language name. Value is the path name of the directory where the
4190 runtime libraries are located.
4192 @item @b{Runtime_Source_Dir}: single, indexed, case-insensitive index
4194 Index is a language name. Value is the path name of the directory where the
4195 sources of runtime libraries are located.
4201 @node Package Binder Attributes
4202 @subsubsection Package Binder Attributes
4210 @item @b{Default_Switches}: list, indexed, case-insensitive index
4212 Index is a language name. Value is the list of switches to be used when binding
4213 code of the language, if there is no applicable attribute ^Switches^Switches^.
4215 @item @b{^Switches^Switches^}: list, optional index, indexed,
4216 case-insensitive index, others allowed
4218 Index is either a language name or a source file name. Value is the list of
4219 switches to be used when binding code. Index is either the source file name
4220 of the executable to be bound or the language name of the code to be bound.
4224 @item @b{Configuration - Binding}
4228 @item @b{Driver}: single, indexed, case-insensitive index
4230 Index is a language name. Value is the name of the application to be used when
4231 binding code of the language.
4233 @item @b{Required_Switches}: list, indexed, case-insensitive index
4235 Index is a language name. Value is the list of the required switches to be
4236 used when binding code of the language.
4238 @item @b{Prefix}: single, indexed, case-insensitive index
4240 Index is a language name. Value is a prefix to be used for the binder exchange
4241 file name for the language. Used to have different binder exchange file names
4242 when binding different languages.
4244 @item @b{Objects_Path}: single,indexed, case-insensitive index
4246 Index is a language name. Value is the name of the environment variable that
4247 contains the path for the object directories.
4249 @item @b{Object_Path_File}: single,indexed, case-insensitive index
4251 Index is a language name. Value is the name of the environment variable. The
4252 value of the environment variable is the path name of a text file that
4253 contains the list of object directories.
4259 @node Package Builder Attributes
4260 @subsubsection Package Builder Attributes
4264 @item @b{Default_Switches}: list, indexed, case-insensitive index
4266 Index is a language name. Value is the list of builder switches to be used when
4267 building an executable of the language, if there is no applicable attribute
4270 @item @b{^Switches^Switches^}: list, optional index, indexed, case-insensitive index,
4273 Index is either a language name or a source file name. Value is the list of
4274 builder switches to be used when building an executable. Index is either the
4275 source file name of the executable to be built or its language name.
4277 @item @b{Global_Compilation_Switches}: list, optional index, indexed,
4278 case-insensitive index
4280 Index is either a language name or a source file name. Value is the list of
4281 compilation switches to be used when building an executable. Index is either
4282 the source file name of the executable to be built or its language name.
4284 @item @b{Executable}: single, indexed, case-insensitive index
4286 Index is an executable source file name. Value is the simple file name of the
4287 executable to be built.
4289 @item @b{Executable_Suffix}: single
4291 Value is the extension of the file names of executable. When not specified,
4292 the extension is the default extension of executables on the platform.
4294 @item @b{Global_Configuration_Pragmas}: single
4296 Value is the file name of a configuration pragmas file that is specified to
4297 the Ada compiler when compiling any Ada source in the project tree.
4299 @item @b{Global_Config_File}: single, indexed, case-insensitive index
4301 Index is a language name. Value is the file name of a configuration file that
4302 is specified to the compiler when compiling any source of the language in the
4307 @node Package Check Attributes
4308 @subsubsection Package Check Attributes
4312 @item @b{Default_Switches}: list, indexed, case-insensitive index
4314 Index is a language name. Value is a list of switches to be used when invoking
4315 @code{gnatcheck} for a source of the language, if there is no applicable
4316 attribute ^Switches^Switches^.
4318 @item @b{^Switches^Switches^}: list, optional index, indexed, case-insensitive index,
4321 Index is a source file name. Value is the list of switches to be used when
4322 invoking @code{gnatcheck} for the source.
4326 @node Package Clean Attributes
4327 @subsubsection Package Clean Attributes
4331 @item @b{^Switches^Switches^}: list
4333 Value is a list of switches to be used by the cleaning application.
4335 @item @b{Source_Artifact_Extensions}: list, indexed, case-insensitive index
4337 Index is a language names. Value is the list of extensions for file names
4338 derived from object file names that need to be cleaned in the object
4339 directory of the project.
4341 @item @b{Object_Artifact_Extensions}: list, indexed, case-insensitive index
4343 Index is a language names. Value is the list of extensions for file names
4344 derived from source file names that need to be cleaned in the object
4345 directory of the project.
4347 @item @b{Artifacts_In_Object_Dir}: single
4349 Value is a list of file names expressed as regular expressions that are to be
4350 deleted by gprclean in the object directory of the project.
4352 @item @b{Artifacts_In_Exec_Dir}: single
4354 Value is list of file names expressed as regular expressions that are to be
4355 deleted by gprclean in the exec directory of the main project.
4359 @node Package Compiler Attributes
4360 @subsubsection Package Compiler Attributes
4368 @item @b{Default_Switches}: list, indexed, case-insensitive index
4370 Index is a language name. Value is a list of switches to be used when invoking
4371 the compiler for the language for a source of the project, if there is no
4372 applicable attribute Switches.
4374 @item @b{^Switches^Switches^}: list, optional index, indexed, case-insensitive index,
4377 Index is a source file name or a language name. Value is the list of switches
4378 to be used when invoking the compiler for the source or for its language.
4380 @item @b{Local_Configuration_Pragmas}: single
4382 Value is the file name of a configuration pragmas file that is specified to
4383 the Ada compiler when compiling any Ada source in the project.
4385 @item @b{Local_Config_File}: single, indexed, case-insensitive index
4387 Index is a language name. Value is the file name of a configuration file that
4388 is specified to the compiler when compiling any source of the language in the
4393 @item @b{Configuration - Compiling}
4397 @item @b{Driver}: single, indexed, case-insensitive index
4399 Index is a language name. Value is the name of the executable for the compiler
4402 @item @b{Language_Kind}: single, indexed, case-insensitive index
4404 Index is a language name. Indicates the kind of the language, either file based
4405 or unit based. Only authorized case-insensitive values are "unit_based" and
4406 "file_based" (the default).
4408 @item @b{Dependency_Kind}: single, indexed, case-insensitive index
4410 Index is a language name. Indicates how the dependencies are handled for the
4411 language. Only authorized case-insensitive values are "makefile", "ali_file",
4412 "ali_closure" or "none" (the default).
4414 @item @b{Required_Switches}: list, indexed, case-insensitive index
4416 Equivalent to attribute Leading_Required_Switches.
4418 @item @b{Leading_Required_Switches}: list, indexed, case-insensitive index
4420 Index is a language name. Value is the list of the minimum switches to be used
4421 at the beginning of the command line when invoking the compiler for the
4424 @item @b{Trailing_Required_Switches}: list, indexed, case-insensitive index
4426 Index is a language name. Value is the list of the minimum switches to be used
4427 at the end of the command line when invoking the compiler for the language.
4429 @item @b{PIC_Option}: list, indexed, case-insensitive index
4431 Index is a language name. Value is the list of switches to be used when
4432 compiling a source of the language when the project is a shared library
4435 @item @b{Path_Syntax}: single, indexed, case-insensitive index
4437 Index is a language name. Value is the kind of path syntax to be used when
4438 invoking the compiler for the language. Only authorized case-insensitive
4439 values are "canonical" and "host" (the default).
4441 @item @b{Source_File_Switches}: single, indexed, case-insensitive index
4443 Index is a language name. Value is a list of switches to be used just before
4444 the path name of the source to compile when invoking the compiler for a source
4447 @item @b{Object_File_Suffix}: single, indexed, case-insensitive index
4449 Index is a language name. Value is the extension of the object files created
4450 by the compiler of the language. When not specified, the extension is the
4451 default one for the platform.
4453 @item @b{Object_File_Switches}: list, indexed, case-insensitive index
4455 Index is a language name. Value is the list of switches to be used by the
4456 compiler of the language to specify the path name of the object file. When not
4457 specified, the switch used is "-o".
4459 @item @b{Multi_Unit_Switches}: list, indexed, case-insensitive index
4461 Index is a language name. Value is the list of switches to be used to compile
4462 a unit in a multi unit source of the language. The index of the unit in the
4463 source is concatenated with the last switches in the list.
4465 @item @b{Multi_Unit_Object_Separator}: single, indexed, case-insensitive index
4467 Index is a language name. Value is the string to be used in the object file
4468 name before the index of the unit, when compiling a unit in a multi unit source
4473 @item @b{Configuration - Mapping Files}
4477 @item @b{Mapping_File_Switches}: list, indexed, case-insensitive index
4479 Index is a language name. Value is the list of switches to be used to specify
4480 a mapping file when invoking the compiler for a source of the language.
4482 @item @b{Mapping_Spec_Suffix}: single, indexed, case-insensitive index
4484 Index is a language name. Value is the suffix to be used in a mapping file
4485 to indicate that the source is a spec.
4487 @item @b{Mapping_Body_Suffix}: single, indexed, case-insensitive index
4489 Index is a language name. Value is the suffix to be used in a mapping file
4490 to indicate that the source is a body.
4494 @item @b{Configuration - Config Files}
4498 @item @b{Config_File_Switches}: list: single, indexed, case-insensitive index
4500 Index is a language name. Value is the list of switches to specify to the
4501 compiler of the language a configuration file.
4503 @item @b{Config_Body_File_Name}: single, indexed, case-insensitive index
4505 Index is a language name. Value is the template to be used to indicate a
4506 configuration specific to a body of the language in a configuration
4509 @item @b{Config_Body_File_Name_Index}: single, indexed, case-insensitive index
4511 Index is a language name. Value is the template to be used to indicate a
4512 configuration specific to the body a unit in a multi unit source of the
4513 language in a configuration file.
4515 @item @b{Config_Body_File_Name_Pattern}: single, indexed,
4516 case-insensitive index
4518 Index is a language name. Value is the template to be used to indicate a
4519 configuration for all bodies of the languages in a configuration file.
4521 @item @b{Config_Spec_File_Name}: single, indexed, case-insensitive index
4523 Index is a language name. Value is the template to be used to indicate a
4524 configuration specific to a spec of the language in a configuration
4527 @item @b{Config_Spec_File_Name_Index}: single, indexed, case-insensitive index
4529 Index is a language name. Value is the template to be used to indicate a
4530 configuration specific to the spec a unit in a multi unit source of the
4531 language in a configuration file.
4533 @item @b{Config_Spec_File_Name_Pattern}: single, indexed,
4534 case-insensitive index
4536 Index is a language name. Value is the template to be used to indicate a
4537 configuration for all specs of the languages in a configuration file.
4539 @item @b{Config_File_Unique}: single, indexed, case-insensitive index
4541 Index is a language name. Indicates if there should be only one configuration
4542 file specified to the compiler of the language. Only authorized
4543 case-insensitive values are "true" and "false" (the default).
4547 @item @b{Configuration - Dependencies}
4551 @item @b{Dependency_Switches}: list, indexed, case-insensitive index
4553 Index is a language name. Value is the list of switches to be used to specify
4554 to the compiler the dependency file when the dependency kind of the language is
4555 file based, and when Dependency_Driver is not specified for the language.
4557 @item @b{Dependency_Driver}: list, indexed, case-insensitive index
4559 Index is a language name. Value is the name of the executable to be used to
4560 create the dependency file for a source of the language, followed by the
4565 @item @b{Configuration - Search Paths}
4569 @item @b{Include_Switches}: list, indexed, case-insensitive index
4571 Index is a language name. Value is the list of switches to specify to the
4572 compiler of the language to indicate a directory to look for sources.
4574 @item @b{Include_Path}: single, indexed, case-insensitive index
4576 Index is a language name. Value is the name of an environment variable that
4577 contains the path of all the directories that the compiler of the language
4578 may search for sources.
4580 @item @b{Include_Path_File}: single, indexed, case-insensitive index
4582 Index is a language name. Value is the name of an environment variable the
4583 value of which is the path name of a text file that contains the directories
4584 that the compiler of the language may search for sources.
4586 @item @b{Object_Path_Switches}: list, indexed, case-insensitive index
4588 Index is a language name. Value is the list of switches to specify to the
4589 compiler of the language the name of a text file that contains the list of
4590 object directories. When this attribute is not declared, the text file is
4597 @node Package Cross_Reference Attributes
4598 @subsubsection Package Cross_Reference Attributes
4602 @item @b{Default_Switches}: list, indexed, case-insensitive index
4604 Index is a language name. Value is a list of switches to be used when invoking
4605 @code{gnatxref} for a source of the language, if there is no applicable
4608 @item @b{^Switches^Switches^}: list, optional index, indexed, case-insensitive index,
4611 Index is a source file name. Value is the list of switches to be used when
4612 invoking @code{gnatxref} for the source.
4616 @node Package Eliminate Attributes
4617 @subsubsection Package Eliminate Attributes
4621 @item @b{Default_Switches}: list, indexed, case-insensitive index
4623 Index is a language name. Value is a list of switches to be used when invoking
4624 @code{gnatelim} for a source of the language, if there is no applicable
4627 @item @b{^Switches^Switches^}: list, optional index, indexed, case-insensitive index,
4630 Index is a source file name. Value is the list of switches to be used when
4631 invoking @code{gnatelim} for the source.
4635 @node Package Finder Attributes
4636 @subsubsection Package Finder Attributes
4640 @item @b{Default_Switches}: list, indexed, case-insensitive index
4642 Index is a language name. Value is a list of switches to be used when invoking
4643 @code{gnatfind} for a source of the language, if there is no applicable
4646 @item @b{^Switches^Switches^}: list, optional index, indexed, case-insensitive index,
4649 Index is a source file name. Value is the list of switches to be used when
4650 invoking @code{gnatfind} for the source.
4654 @node Package ^gnatls^gnatls^ Attributes
4655 @subsubsection Package ^gnatls^gnatls^ Attributes
4659 @item @b{^Switches^Switches^}: list
4661 Value is a list of switches to be used when invoking @code{gnatls}.
4665 @node Package ^gnatstub^gnatstub^ Attributes
4666 @subsubsection Package ^gnatstub^gnatstub^ Attributes
4670 @item @b{Default_Switches}: list, indexed, case-insensitive index
4672 Index is a language name. Value is a list of switches to be used when invoking
4673 @code{gnatstub} for a source of the language, if there is no applicable
4674 attribute ^Switches^Switches^.
4676 @item @b{^Switches^Switches^}: list, optional index, indexed, case-insensitive index,
4679 Index is a source file name. Value is the list of switches to be used when
4680 invoking @code{gnatstub} for the source.
4684 @node Package IDE Attributes
4685 @subsubsection Package IDE Attributes
4689 @item @b{Default_Switches}: list, indexed
4691 Index is the name of an external tool that the GNAT Programming System (GPS)
4692 is supporting. Value is a list of switches to use when invoking that tool.
4694 @item @b{Remote_Host}: single
4696 Value is a string that designates the remote host in a cross-compilation
4697 environment, to be used for remote compilation and debugging. This attribute
4698 should not be specified when running on the local machine.
4700 @item @b{Program_Host}: single
4702 Value is a string that specifies the name of IP address of the embedded target
4703 in a cross-compilation environment, on which the program should execute.
4705 @item @b{Communication_Protocol}: single
4707 Value is the name of the protocol to use to communicate with the target
4708 in a cross-compilation environment, for example @code{"wtx"} or
4711 @item @b{Compiler_Command}: single, indexed, case-insensitive index
4713 Index is a language Name. Value is a string that denotes the command to be
4714 used to invoke the compiler. The value of @code{Compiler_Command ("Ada")} is
4715 expected to be compatible with @command{gnatmake}, in particular in
4716 the handling of switches.
4718 @item @b{Debugger_Command}: single
4720 Value is a string that specifies the name of the debugger to be used, such as
4721 gdb, powerpc-wrs-vxworks-gdb or gdb-4.
4723 @item @b{^gnatlist^gnatlist^}: single
4725 Value is a string that specifies the name of the @command{^gnatls^gnatls^} utility
4726 to be used to retrieve information about the predefined path; for example,
4727 @code{"^gnatls^gnatls^"}, @code{"powerpc-wrs-vxworks-gnatls"}.
4729 @item @b{VCS_Kind}: single
4731 Value is a string used to specify the Version Control System (VCS) to be used
4732 for this project, for example "Subversion", "ClearCase". If the
4733 value is set to "Auto", the IDE will try to detect the actual VCS used
4734 on the list of supported ones.
4736 @item @b{VCS_File_Check}: single
4738 Value is a string that specifies the command used by the VCS to check
4739 the validity of a file, either when the user explicitly asks for a check,
4740 or as a sanity check before doing the check-in.
4742 @item @b{VCS_Log_Check}: single
4744 Value is a string that specifies the command used by the VCS to check
4745 the validity of a log file.
4747 @item @b{Documentation_Dir}: single
4749 Value is the directory used to generate the documentation of source code.
4753 @node Package Install Attributes
4754 @subsubsection Package Install Attributes
4758 @item @b{Prefix}: single
4760 Value is the install destination directory.
4762 @item @b{Sources_Subdir}: single
4764 Value is the sources directory or subdirectory of Prefix.
4766 @item @b{Exec_Subdir}: single
4768 Value is the executables directory or subdirectory of Prefix.
4770 @item @b{Lib_Subdir}: single
4772 Value is library directory or subdirectory of Prefix.
4774 @item @b{Project_Subdir}: single
4776 Value is the project directory or subdirectory of Prefix.
4778 @item @b{Active}: single
4780 Indicates that the project is to be installed or not. Case-insensitive value
4781 "false" means that the project is not to be installed, all other values mean
4782 that the project is to be installed.
4786 @node Package Linker Attributes
4787 @subsubsection Package Linker Attributes
4795 @item @b{Required_Switches}: list
4797 Value is a list of switches that are required when invoking the linker to link
4800 @item @b{Default_Switches}: list, indexed, case-insensitive index
4802 Index is a language name. Value is a list of switches for the linker when
4803 linking an executable for a main source of the language, when there is no
4804 applicable Switches.
4806 @item @b{Leading_Switches}: list, optional index, indexed,
4807 case-insensitive index, others allowed
4809 Index is a source file name or a language name. Value is the list of switches
4810 to be used at the beginning of the command line when invoking the linker to
4811 build an executable for the source or for its language.
4813 @item @b{^Switches^Switches^}: list, optional index, indexed, case-insensitive index,
4816 Index is a source file name or a language name. Value is the list of switches
4817 to be used when invoking the linker to build an executable for the source or
4820 @item @b{Trailing_Switches}: list, optional index, indexed,
4821 case-insensitive index, others allowed
4823 Index is a source file name or a language name. Value is the list of switches
4824 to be used at the end of the command line when invoking the linker to
4825 build an executable for the source or for its language. These switches may
4826 override the Required_Switches.
4828 @item @b{Linker_Options}: list
4830 Value is a list of switches/options that are to be added when linking an
4831 executable from a project importing the current project directly or indirectly.
4832 Linker_Options are not used when linking an executable from the current
4835 @item @b{Map_File_Option}: single
4837 Value is the switch to specify the map file name that the linker needs to
4842 @item @b{Configuration - Linking}
4846 @item @b{Driver}: single
4848 Value is the name of the linker executable.
4852 @item @b{Configuration - Response Files}
4856 @item @b{Max_Command_Line_Length}: single
4858 Value is the maximum number of character in the command line when invoking
4859 the linker to link an executable.
4861 @item @b{Response_File_Format}: single
4863 Indicates the kind of response file to create when the length of the linking
4864 command line is too large. Only authorized case-insensitive values are "none",
4865 "gnu", "object_list", "gcc_gnu", "gcc_option_list" and "gcc_object_list".
4867 @item @b{Response_File_Switches}: list
4869 Value is the list of switches to specify a response file to the linker.
4875 @node Package Metrics Attribute
4876 @subsubsection Package Metrics Attribute
4880 @item @b{Default_Switches}: list, indexed, case-insensitive index
4882 Index is a language name. Value is a list of switches to be used when invoking
4883 @code{gnatmetric} for a source of the language, if there is no applicable
4886 @item @b{^Switches^Switches^}: list, optional index, indexed, case-insensitive index,
4889 Index is a source file name. Value is the list of switches to be used when
4890 invoking @code{gnatmetric} for the source.
4894 @node Package Naming Attributes
4895 @subsubsection Package Naming Attributes
4899 @item @b{Specification_Suffix}: single, indexed, case-insensitive index
4901 Equivalent to attribute Spec_Suffix.
4903 @item @b{Spec_Suffix}: single, indexed, case-insensitive index
4905 Index is a language name. Value is the extension of file names for specs of
4908 @item @b{Implementation_Suffix}: single, indexed, case-insensitive index
4910 Equivalent to attribute Body_Suffix.
4912 @item @b{Body_Suffix}: single, indexed, case-insensitive index
4914 Index is a language name. Value is the extension of file names for bodies of
4917 @item @b{Separate_Suffix}: single
4919 Value is the extension of file names for subunits of Ada.
4921 @item @b{Casing}: single
4923 Indicates the casing of sources of the Ada language. Only authorized
4924 case-insensitive values are "lowercase", "uppercase" and "mixedcase".
4926 @item @b{Dot_Replacement}: single
4928 Value is the string that replace the dot of unit names in the source file names
4929 of the Ada language.
4931 @item @b{Specification}: single, optional index, indexed,
4932 case-insensitive index
4934 Equivalent to attribute Spec.
4936 @item @b{Spec}: single, optional index, indexed, case-insensitive index
4938 Index is a unit name. Value is the file name of the spec of the unit.
4940 @item @b{Implementation}: single, optional index, indexed,
4941 case-insensitive index
4943 Equivalent to attribute Body.
4945 @item @b{Body}: single, optional index, indexed, case-insensitive index
4947 Index is a unit name. Value is the file name of the body of the unit.
4949 @item @b{Specification_Exceptions}: list, indexed, case-insensitive index
4951 Index is a language name. Value is a list of specs for the language that do not
4952 necessarily follow the naming scheme for the language and that may or may not
4953 be found in the source directories of the project.
4955 @item @b{Implementation_Exceptions}: list, indexed, case-insensitive index
4957 Index is a language name. Value is a list of bodies for the language that do not
4958 necessarily follow the naming scheme for the language and that may or may not
4959 be found in the source directories of the project.
4963 @node Package Pretty_Printer Attributes
4964 @subsubsection Package Pretty_Printer Attributes
4968 @item @b{Default_Switches}: list, indexed, case-insensitive index
4970 Index is a language name. Value is a list of switches to be used when invoking
4971 @code{gnatpp} for a source of the language, if there is no applicable
4974 @item @b{^Switches^Switches^}: list, optional index, indexed, case-insensitive index,
4977 Index is a source file name. Value is the list of switches to be used when
4978 invoking @code{gnatpp} for the source.
4982 @node Package Remote Attributes
4983 @subsubsection Package Remote Attributes
4987 @item @b{Excluded_Patterns}: list
4989 Set of patterns to ignore when synchronizing sources from the build
4990 master to the slaves. A set of predefined patterns are supported
4991 (e.g. *.o, *.ali, *.exe, etc.), this attributes make it possible to
4992 add some more patterns.
4994 @item @b{Root_Dir}: single
4996 Value is the root directory used by the slave machines.
5000 @node Package Stack Attributes
5001 @subsubsection Package Stack Attributes
5005 @item @b{^Switches^Switches^}: list
5007 Value is the list of switches to be used when invoking @code{gnatstack}.
5011 @node Package Synchronize Attributes
5012 @subsubsection Package Synchronize Attributes
5016 @item @b{Default_Switches}: list, indexed, case-insensitive index
5018 Index is a language name. Value is a list of switches to be used when invoking
5019 @code{gnatsync} for a source of the language, if there is no applicable
5022 @item @b{^Switches^Switches^}: list, optional index, indexed, case-insensitive index,
5025 Index is a source file name. Value is the list of switches to be used when
5026 invoking @code{gnatsync} for the source.