diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 15:58:29 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-25 15:58:29 +0100 |
| commit | ca11219d65a65220fcf26e16be26c134c0100874 (patch) | |
| tree | cf4a37a30c72257e17b1ecf95ca80845b7984883 /gcc/ada/projects.texi | |
| parent | 6e32b1abbaaf5af6b96c055b432b7f6fea6dd814 (diff) | |
| download | gcc-ca11219d65a65220fcf26e16be26c134c0100874.zip gcc-ca11219d65a65220fcf26e16be26c134c0100874.tar.gz gcc-ca11219d65a65220fcf26e16be26c134c0100874.tar.bz2 | |
[multiple changes]
2014-02-25 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Pragma/Pragma_Validity_Checks): Ignore pragma
Validity_Checks in GNATprove and CodePeer modes.
2014-02-25 Pascal Obry <obry@adacore.com>
* prj-attr.adb, projects.texi, snames.ads-tmpl: Add package Install's
Artifacts attribute.
From-SVN: r208130
Diffstat (limited to 'gcc/ada/projects.texi')
| -rw-r--r-- | gcc/ada/projects.texi | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/projects.texi b/gcc/ada/projects.texi index f3ef5ac..e23f9fa 100644 --- a/gcc/ada/projects.texi +++ b/gcc/ada/projects.texi @@ -1085,6 +1085,14 @@ The following attributes can be defined in package @code{Install}: Whether the project is to be installed, values are @code{true} (default) or @code{false}. +@item @b{Artifacts} +@cindex @code{Artifacts} + +An array attribute to declare a set of files not part of the sources +to be installed. The array discriminant is the directory where the +file is to be installed. If a relative directory then Prefix (see +below) is prepended. + @item @b{Prefix}: @cindex @code{Prefix} |