projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac4d640) | patch
opt.ads: Indicate what flags are used by the Project Manager, gprbuild and gprclean.
authorVincent Celier <celier@adacore.com>
Thu, 13 Dec 2007 10:22:25 +0000 (11:22 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 13 Dec 2007 10:22:25 +0000 (11:22 +0100)
commit395b50802642418272545c3f12c8f66ee959d145
tree4eec5f9fa1871d68b1f804e4f9a512401c2db2fftree
parentac4d64074400613b205bba2e6d21272b4c648bc5commit | diff
opt.ads: Indicate what flags are used by the Project Manager, gprbuild and gprclean.

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

From-SVN: r130821
gcc/ada/opt.ads diff | blob | history