OSDN Git Service

* gcc-interface/lang.opt: Add AdaWhy language, simimlar to Ada.
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Aug 2011 15:20:32 +0000 (15:20 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 4 Aug 2011 15:20:32 +0000 (15:20 +0000)
commit79b59fbf9c4d1b0a4f0c9dc3e816493af67a7b5f
tree281500b40ad31e167b5a39ed3dfbfef94a643c13
parent17752af1528d688ce71be56f0474c9bb2be7a6f5
* gcc-interface/lang.opt: Add AdaWhy language, simimlar to Ada.
* gcc-interface/lang-specs.h: Add handling of AdaWhy specs (calls
gnat1why).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177396 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gcc-interface/lang-specs.h
gcc/ada/gcc-interface/lang.opt