r216967 - in /trunk/gcc/ada: ChangeLog Makefile...

[charlet@gcc.gnu.org]

Author: charlet
Date: Fri Oct 31 11:37:44 2014
New Revision: 216967

URL: https://gcc.gnu.org/viewcvs?rev=216967&root=gcc&view=rev
Log:
2014-10-31  Vasiliy Fofanov  <fofanov@adacore.com>

	* prj-conf.adb (Do_Autoconf): Refactor the code so that empty
	Normalized_Pathname doesn't inhibit the custom Selected_Target
	value.
	* prj-conf.adb (Parse_Project_And_Apply_Config): Make sure that
	Automatically_Generated is correctly set after the first call
	to Process_Project_And_Apply_Config and not modified after the
	second call, if any.

2014-10-31  Yannick Moy  <moy@adacore.com>

	* Makefile.rtl, gnat_rm.texi, impunit.adb: Add mention of new library
	files.
	* a-cfinve.adb, a-cfinve.ads: New unit for formal indefinite
	vectors, suitable for use in client SPARK code, also more
	efficient than the standard vectors.
	* a-coboho.adb, a-coboho.ads New unit for bounded holders, that
	are used to define formal indefinite vectors in terms of formal
	definite ones.
	* a-cofove.adb, a-cofove.ads: Simplification of the API of formal
	definite vectors, similar to the API of the new indefinite ones. A
	new formal parameter of the generic unit called Bounded allows
	to define growable vectors that use dynamic allocation.


Added:
    trunk/gcc/ada/a-cfinve.adb
    trunk/gcc/ada/a-cfinve.ads
    trunk/gcc/ada/a-coboho.adb
    trunk/gcc/ada/a-coboho.ads
Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/Makefile.rtl
    trunk/gcc/ada/a-cofove.adb
    trunk/gcc/ada/a-cofove.ads
    trunk/gcc/ada/gnat_rm.texi
    trunk/gcc/ada/impunit.adb
    trunk/gcc/ada/prj-conf.adb