r208130 - in /trunk/gcc/ada: ChangeLog prj-attr...

[charlet@gcc.gnu.org]

Author: charlet
Date: Tue Feb 25 14:58:29 2014
New Revision: 208130

URL: http://gcc.gnu.org/viewcvs?rev=208130&root=gcc&view=rev
Log:
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.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/prj-attr.adb
    trunk/gcc/ada/projects.texi
    trunk/gcc/ada/sem_prag.adb
    trunk/gcc/ada/snames.ads-tmpl