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-specs.h | |
| 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-specs.h')
| -rw-r--r-- | gcc/ada/gcc-interface/lang-specs.h | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/gcc/ada/gcc-interface/lang-specs.h b/gcc/ada/gcc-interface/lang-specs.h index 5fd30b9..ff3de85 100644 --- a/gcc/ada/gcc-interface/lang-specs.h +++ b/gcc/ada/gcc-interface/lang-specs.h @@ -6,7 +6,7 @@ * * * C Header File * * * - * Copyright (C) 1992-2010, Free Software Foundation, Inc. * + * Copyright (C) 1992-2011, Free Software Foundation, Inc. * * * * GNAT is free software; you can redistribute it and/or modify it under * * terms of the GNU General Public License as published by the Free Soft- * @@ -46,3 +46,16 @@ %i %{S:%W{o*}%{!o*:-o %b.s}} \ %{gnatc*|gnats*: -o %j} %{-param*} \ %{!gnatc*:%{!gnats*:%(invoke_as)}}", 0, 0, 0}, + + {"@adawhy", + "\ + %{!c:%e-c required for gnat2why}\ + gnat1why %{I*} %{k8:-gnatk8} %{!Q:-quiet}\ + %{nostdinc*} %{nostdlib*}\ + -dumpbase %{.adb:%b.adb}%{.ads:%b.ads}%{!.adb:%{!.ads:%b.ada}}\ + %{o*:-auxbase-strip %*}%{!o*:-auxbase %b} \ + %{a} %{d*} %{f*} \ + %{gnatea:-gnatez} %{g*&m*} \ + %1 %{o*:%w%*-gnatO} \ + %i \ + %{gnatc*|gnats*: -o %j} %{-param*} ", 0, 0, 0}, |