1 ; Options for the Ada front end.
2 ; Copyright (C) 2003-2023 Free Software Foundation, Inc.
4 ; This file is part of GCC.
6 ; GCC is free software; you can redistribute it and/or modify it under
7 ; the terms of the GNU General Public License as published by the Free
8 ; Software Foundation; either version 3, or (at your option) any later
11 ; GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 ; WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 ; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 ; You should have received a copy of the GNU General Public License
17 ; along with GCC; see the file COPYING3. If not see
18 ; <http://www.gnu.org/licenses/>.
20 ; See the GCC internals manual for a description of this file's format.
22 ; Please try to keep this file in ASCII collating order.
34 Ada AdaWhy AdaSCIL Alias(Wall)
37 Ada AdaWhy AdaSCIL Alias(I, -)
40 Ada AdaWhy AdaSCIL Separate Alias(I)
43 Ada AdaWhy AdaSCIL Joined Alias(I)
46 Ada AdaWhy AdaSCIL Alias(nostdinc)
48 -no-standard-libraries
49 Ada AdaWhy AdaSCIL Alias(nostdlib)
52 Ada AdaWhy AdaSCIL Joined Separate
53 ; Documented in C but it should be: -I <dir>. Add <dir> to the end of the main source path
57 Enable most warning messages.
60 Ada RejectNegative Var(flag_dump_scos) Init(0)
61 Dump Source Coverage Obligations.
68 Ada AdaWhy AdaSCIL RejectNegative
69 ; Documented in C but it should be: Do not look for source files in standard path
73 Do not look for object files in standard path.
76 Ada AdaWhy AdaSCIL Joined RejectNegative
81 Use the narrowest integer type possible for enumeration types.
85 Make \"char\" signed by default.
89 Make \"char\" unsigned by default.
92 Ada AdaWhy AdaSCIL Driver Joined Undocumented RejectNegative
96 Ada AdaWhy AdaSCIL Driver Separate RejectNegative
97 Set name of output ALI file (internal switch).
100 Ada AdaWhy AdaSCIL Driver Joined RejectNegative
101 -gnat<options> Specify options to GNAT.
107 ; This comment is to ensure we retain the blank line above.