projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a54d0eb) | patch
lang.opt: Add AdaWhy language, simimlar to Ada.
authorArnaud Charlet <charlet@adacore.com>
Thu, 4 Aug 2011 15:20:32 +0000 (15:20 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 4 Aug 2011 15:20:32 +0000 (17:20 +0200)
commit8fae60160b8711b375923dec76335728ec229934
tree281500b40ad31e167b5a39ed3dfbfef94a643c13tree
parenta54d0eb4b0cb6335ddff8b01aad449a0d31fe6fbcommit | diff
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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gcc-interface/lang-specs.h diff | blob | history
gcc/ada/gcc-interface/lang.opt diff | blob | history