diff options
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index ad4ab81..6feb21c 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2016, 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- -- @@ -112,6 +112,11 @@ package Opt is -- case of some binder variables, Gnatbind.Scan_Bind_Arg may modify -- the default values. + Latest_Ada_Only : Boolean := False; + -- If True, the only value valid for Ada_Version is Ada_Version_Type'Last, + -- trying to specify other values will be ignored (in case of pragma + -- Ada_xxx) or generate an error (in case of -gnat83/95/xx switches). + type Ada_Version_Type is (Ada_83, Ada_95, Ada_2005, Ada_2012); pragma Ordered (Ada_Version_Type); -- Versions of Ada for Ada_Version below. Note that these are ordered, |