diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-12 14:26:34 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-12 14:26:34 +0100 |
| commit | 10c2c151f1204439e8b2698bf3369b8d2c29efbf (patch) | |
| tree | 80e49955bfd3f2d49c89a57866549b8b830d0bb6 /gcc/ada/opt.ads | |
| parent | 84e13614352202b592fd28fc12c18c07b5ae5d53 (diff) | |
| download | gcc-10c2c151f1204439e8b2698bf3369b8d2c29efbf.zip gcc-10c2c151f1204439e8b2698bf3369b8d2c29efbf.tar.gz gcc-10c2c151f1204439e8b2698bf3369b8d2c29efbf.tar.bz2 | |
[multiple changes]
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.
From-SVN: r244355
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 4027fab..1a57074 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -702,6 +702,10 @@ package Opt is -- GNATMAKE, GPRBUILD -- Set to force recompilations even when the objects are up-to-date. + Force_Elab_Order_File : String_Ptr := null; + -- GNATBIND + -- File name specified for -f switch (the forced elaboration order file) + Front_End_Inlining : Boolean := False; -- GNAT -- Set True to activate inlining by front-end expansion (even on GCC |