diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2011-08-04 15:20:32 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-04 17:20:32 +0200 |
| commit | 8fae60160b8711b375923dec76335728ec229934 (patch) | |
| tree | 281500b40ad31e167b5a39ed3dfbfef94a643c13 /gcc/ada/gcc-interface/lang.opt | |
| parent | a54d0eb4b0cb6335ddff8b01aad449a0d31fe6fb (diff) | |
| download | gcc-8fae60160b8711b375923dec76335728ec229934.zip gcc-8fae60160b8711b375923dec76335728ec229934.tar.gz gcc-8fae60160b8711b375923dec76335728ec229934.tar.bz2 | |
lang.opt: Add AdaWhy language, simimlar to Ada.
* gcc-interface/lang.opt: Add AdaWhy language, simimlar to Ada.
* gcc-interface/lang-specs.h: Add handling of AdaWhy specs (calls
gnat1why).
From-SVN: r177396
Diffstat (limited to 'gcc/ada/gcc-interface/lang.opt')
| -rw-r--r-- | gcc/ada/gcc-interface/lang.opt | 47 |
1 files changed, 25 insertions, 22 deletions
diff --git a/gcc/ada/gcc-interface/lang.opt b/gcc/ada/gcc-interface/lang.opt index 9f1a69f..fd79c30 100644 --- a/gcc/ada/gcc-interface/lang.opt +++ b/gcc/ada/gcc-interface/lang.opt @@ -25,89 +25,92 @@ Language Ada +Language +AdaWhy + -all-warnings -Ada Alias(Wall) +Ada AdaWhy Alias(Wall) -include-barrier -Ada Alias(I, -) +Ada AdaWhy Alias(I, -) -include-directory -Ada Separate Alias(I) +Ada AdaWhy Separate Alias(I) -include-directory= -Ada Joined Alias(I) +Ada AdaWhy Joined Alias(I) -no-standard-includes -Ada Alias(nostdinc) +Ada AdaWhy Alias(nostdinc) -no-standard-libraries -Ada Alias(nostdlib) +Ada AdaWhy Alias(nostdlib) I -Ada Joined Separate +Ada AdaWhy Joined Separate ; Documented for C Wall -Ada +Ada AdaWhy ; Documented for C Wmissing-prototypes -Ada +Ada AdaWhy ; Documented for C Wstrict-prototypes -Ada +Ada AdaWhy ; Documented for C Wwrite-strings -Ada +Ada AdaWhy ; Documented for C Wlong-long -Ada +Ada AdaWhy ; Documented for C Wvariadic-macros -Ada +Ada AdaWhy ; Documented for C Wold-style-definition -Ada +Ada AdaWhy ; Documented for C Wmissing-format-attribute -Ada +Ada AdaWhy ; Documented for C Woverlength-strings -Ada +Ada AdaWhy ; Documented for C k8 Driver nostdinc -Ada RejectNegative +Ada AdaWhy RejectNegative ; Don't look for source files nostdlib -Ada +Ada AdaWhy ; Don't look for object files fRTS= -Ada Joined RejectNegative +Ada AdaWhy Joined RejectNegative ; Selects the runtime gant -Ada Joined Undocumented +Ada AdaWhy Joined Undocumented ; Catches typos gnatO -Ada Separate +Ada AdaWhy Separate ; Sets name of output ALI file (internal switch) gnat -Ada Joined +Ada AdaWhy Joined -gnat<options> Specify options to GNAT ; This comment is to ensure we retain the blank line above. |