OSDN Git Service

2007-12-06 Vincent Celier <celier@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 13 Dec 2007 10:22:25 +0000 (10:22 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 13 Dec 2007 10:22:25 +0000 (10:22 +0000)
commit9c5da18f1cd965123c0fcaaee7a9f295ff2f54a7
tree4eec5f9fa1871d68b1f804e4f9a512401c2db2ff
parentd34432fafd1efc1b4aa0aba79a38b633af6c1daa
2007-12-06  Vincent Celier  <celier@adacore.com>

* opt.ads: Indicate what flags are used by the Project Manager,
gprbuild and gprclean.
(Opt.Follow_Links_For_Dirs): New flag
(Warn_On_Assertion_Failure): New flag
(Wide_Character_Encoding_Method_Specified): New flag
(Suppress_All_Inlining): New switch set by -fno-inline
(Real_VMS_Target): New flag
New pragma Fast_Math

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@130821 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/opt.ads