2014-10-31 Vasiliy Fofanov <fofanov@adacore.com>
commitc59936c420377708218c96644f02192b93ef1233
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 31 Oct 2014 11:37:44 +0000 (31 11:37 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 31 Oct 2014 11:37:44 +0000 (31 11:37 +0000)
tree8a47b5d48d659de4f96ba2a27d617553224d72ac
parent2ae4e1e622f2de17b9e966eb68b0023c74408e7f
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216967 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/Makefile.rtl
gcc/ada/a-cfinve.adb [new file with mode: 0644]
gcc/ada/a-cfinve.ads [new file with mode: 0644]
gcc/ada/a-coboho.adb [new file with mode: 0644]
gcc/ada/a-coboho.ads [new file with mode: 0644]
gcc/ada/a-cofove.adb
gcc/ada/a-cofove.ads
gcc/ada/gnat_rm.texi
gcc/ada/impunit.adb
gcc/ada/prj-conf.adb