diff options
Diffstat (limited to 'gcc/ada/projects.texi')
| -rw-r--r-- | gcc/ada/projects.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/projects.texi b/gcc/ada/projects.texi index 1040a6d..dcc108d 100644 --- a/gcc/ada/projects.texi +++ b/gcc/ada/projects.texi @@ -1254,6 +1254,9 @@ the search stops: @item @file{<prefix>/<target>/lib/gnat} (for @command{gnatmake} in all cases, and for @command{gprbuild} if option @option{--target} is specified) + @item @file{<prefix>/<target>/share/gpr} + (for @command{gnatmake} in all cases, and for @command{gprbuild} if option + @option{--target} is specified) @item @file{<prefix>/share/gpr/} (for @command{gnatmake} and @command{gprbuild}) @item @file{<prefix>/lib/gnat/} |