r244355 - in /trunk/gcc/ada: ChangeLog binde.ad...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jan 12 13:26:34 2017
New Revision: 244355

URL: https://gcc.gnu.org/viewcvs?rev=244355&root=gcc&view=rev
Log:
2017-01-12  Hristian Kirtchev  <kirtchev@adacore.com>

	* exp_ch6.adb: Minor reformatting.
	* spark_xrefs.ads: minor cleanup of comments for SPARK xrefs

2017-01-12  Bob Duff  <duff@adacore.com>

	* binde.adb (Forced): New reason for a dependence.
	(Force_Elab_Order): Implementation of the new switch.
	* binde.ads: Minor comment fixes.
	* bindusg.adb: Add -f switch. Apparently, there was an -f switch
	long ago that is no longer supported; removed comment about that.
	* opt.ads (Force_Elab_Order_File): Name of file specified for
	-f switch.
	* switch-b.adb: Parse -f switch.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/binde.adb
    trunk/gcc/ada/binde.ads
    trunk/gcc/ada/bindusg.adb
    trunk/gcc/ada/exp_ch6.adb
    trunk/gcc/ada/opt.ads
    trunk/gcc/ada/spark_xrefs.ads
    trunk/gcc/ada/switch-b.adb