diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-16 16:26:47 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-16 16:26:47 +0200 |
commit | 904aac81db2a08a89fcfd6321cdf5b1f328d94ee (patch) | |
tree | 1d6395e0de92d622b4ff12e0b25bd1360b1b3066 /gcc/ada/opt.ads | |
parent | 3bd783ecb4cd65cad08cd80f8bedfd390d38b5c1 (diff) | |
download | gcc-904aac81db2a08a89fcfd6321cdf5b1f328d94ee.zip gcc-904aac81db2a08a89fcfd6321cdf5b1f328d94ee.tar.gz gcc-904aac81db2a08a89fcfd6321cdf5b1f328d94ee.tar.bz2 |
[multiple changes]
2014-07-16 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Document binder switch -Ra.
* gnatbind.adb (List_Closure_Display): Implement -Ra switch
(List_Closure_All).
* opt.ads (List_Closure_All): New switch.
* switch-b.adb (Scan_Binder_Switches): Recognize -Ra to set
List_Closure_All.
2014-07-16 Ben Brosgol <brosgol@adacore.com>
* gnat_rm.texi: Minor edits, to make case consistent in names
of types and fields.
From-SVN: r212654
Diffstat (limited to 'gcc/ada/opt.ads')
-rw-r--r-- | gcc/ada/opt.ads | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index cbd1045..a844706 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -885,7 +885,12 @@ package Opt is List_Closure : Boolean := False; -- GNATBIND - -- List all sources in the closure of a main (-R gnatbind switch) + -- List all sources in the closure of a main (-R or -Ra gnatbind switch) + + List_Closure_All : Boolean := False; + -- GNATBIND + -- List all sources in closure of main including run-time units (-Ra + -- gnatbind switch). List_Dependencies : Boolean := False; -- GNATMAKE |