diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-24 16:02:48 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-24 16:02:48 +0100 |
| commit | ab986406d5de916252f13068d3ea5402e8b27461 (patch) | |
| tree | 4c313edbb10b708f9b35aa93db411411bd2d4e93 /gcc/ada/make.adb | |
| parent | 979b94ea4d04a42e00b11d5bb9aa415410f31b06 (diff) | |
| download | gcc-ab986406d5de916252f13068d3ea5402e8b27461.zip gcc-ab986406d5de916252f13068d3ea5402e8b27461.tar.gz gcc-ab986406d5de916252f13068d3ea5402e8b27461.tar.bz2 | |
[multiple changes]
2014-01-24 Robert Dewar <dewar@adacore.com>
* sinfo.ads, make.adb, prj-env.adb: Minor reformatting.
2014-01-24 Vincent Celier <celier@adacore.com>
* prj.adb (Add_Aggregated_Project): Do not add a project in
the list if it is already there.
2014-01-24 Yannick Moy <moy@adacore.com>
* lib-xref-spark_specific.adb (Enclosing_Subprogram_Or_Package):
Correct the search for a subrogram declaration to which a pragma is
attached.
2014-01-24 Bob Duff <duff@adacore.com>
* gnat_ugn.texi: Document --decimal-grouping and
--based-grouping switches in gnatpp.
From-SVN: r207042
Diffstat (limited to 'gcc/ada/make.adb')
| -rw-r--r-- | gcc/ada/make.adb | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/gcc/ada/make.adb b/gcc/ada/make.adb index 84b7a3b..c8c6053 100644 --- a/gcc/ada/make.adb +++ b/gcc/ada/make.adb @@ -4556,14 +4556,13 @@ package body Make is if Main_Project /= No_Project then - -- Put all the source directories in ADA_INCLUDE_PATH, - -- and all the object directories in ADA_OBJECTS_PATH, - -- except those of library projects. + -- Put all the source directories in ADA_INCLUDE_PATH, and all the + -- object directories in ADA_OBJECTS_PATH. Prj.Env.Set_Ada_Paths (Project => Main_Project, In_Tree => Project_Tree, - Including_Libraries => False, + Including_Libraries => True, Include_Path => Use_Include_Path_File); -- If switch -C was specified, create a binder mapping file |