]>
Commit | Line | Data |
---|---|---|
a1ab4c31 | 1 | ; Options for the Ada front end. |
b2263428 | 2 | ; Copyright (C) 2003-2023 Free Software Foundation, Inc. |
a1ab4c31 AC |
3 | ; |
4 | ; This file is part of GCC. | |
5 | ; | |
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 | |
9 | ; version. | |
10 | ; | |
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 | |
14 | ; for more details. | |
15 | ; | |
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/>. | |
19 | ||
a1ab4c31 AC |
20 | ; See the GCC internals manual for a description of this file's format. |
21 | ||
22 | ; Please try to keep this file in ASCII collating order. | |
23 | ||
24 | Language | |
25 | Ada | |
26 | ||
8fae6016 AC |
27 | Language |
28 | AdaWhy | |
29 | ||
f957d41e AC |
30 | Language |
31 | AdaSCIL | |
32 | ||
e200444e | 33 | -all-warnings |
f957d41e | 34 | Ada AdaWhy AdaSCIL Alias(Wall) |
e200444e JM |
35 | |
36 | -include-barrier | |
f957d41e | 37 | Ada AdaWhy AdaSCIL Alias(I, -) |
e200444e JM |
38 | |
39 | -include-directory | |
f957d41e | 40 | Ada AdaWhy AdaSCIL Separate Alias(I) |
e200444e JM |
41 | |
42 | -include-directory= | |
f957d41e | 43 | Ada AdaWhy AdaSCIL Joined Alias(I) |
e200444e JM |
44 | |
45 | -no-standard-includes | |
f957d41e | 46 | Ada AdaWhy AdaSCIL Alias(nostdinc) |
e200444e JM |
47 | |
48 | -no-standard-libraries | |
f957d41e | 49 | Ada AdaWhy AdaSCIL Alias(nostdlib) |
e200444e | 50 | |
a1ab4c31 | 51 | I |
f957d41e | 52 | Ada AdaWhy AdaSCIL Joined Separate |
71caddc5 | 53 | ; Documented in C but it should be: -I <dir>. Add <dir> to the end of the main source path |
a1ab4c31 AC |
54 | |
55 | Wall | |
f957d41e | 56 | Ada AdaWhy AdaSCIL |
a7b2e184 | 57 | Enable most warning messages. |
a1ab4c31 | 58 | |
c9d57552 PMR |
59 | fdump-scos |
60 | Ada RejectNegative Var(flag_dump_scos) Init(0) | |
ca19ff23 | 61 | Dump Source Coverage Obligations. |
c9d57552 | 62 | |
dd9f93dc JM |
63 | k8 |
64 | Driver | |
a7b2e184 | 65 | Synonym of -gnatk8. |
dd9f93dc | 66 | |
a1ab4c31 | 67 | nostdinc |
f957d41e | 68 | Ada AdaWhy AdaSCIL RejectNegative |
71caddc5 | 69 | ; Documented in C but it should be: Do not look for source files in standard path |
a1ab4c31 AC |
70 | |
71 | nostdlib | |
f957d41e | 72 | Ada AdaWhy AdaSCIL |
a7b2e184 | 73 | Do not look for object files in standard path. |
a1ab4c31 | 74 | |
a1ab4c31 | 75 | fRTS= |
f957d41e | 76 | Ada AdaWhy AdaSCIL Joined RejectNegative |
a7b2e184 | 77 | Select the runtime. |
a1ab4c31 | 78 | |
c51f5910 AC |
79 | fshort-enums |
80 | Ada AdaWhy AdaSCIL | |
a7b2e184 | 81 | Use the narrowest integer type possible for enumeration types. |
c51f5910 | 82 | |
825da0d2 EB |
83 | fsigned-char |
84 | Ada AdaWhy AdaSCIL | |
85 | Make \"char\" signed by default. | |
86 | ||
86b43436 EB |
87 | funsigned-char |
88 | Ada AdaWhy AdaSCIL | |
89 | Make \"char\" unsigned by default. | |
90 | ||
a1ab4c31 | 91 | gant |
9ed32e27 | 92 | Ada AdaWhy AdaSCIL Driver Joined Undocumented RejectNegative |
a7b2e184 | 93 | Catch typos. |
a1ab4c31 AC |
94 | |
95 | gnatO | |
9ed32e27 | 96 | Ada AdaWhy AdaSCIL Driver Separate RejectNegative |
a7b2e184 | 97 | Set name of output ALI file (internal switch). |
a1ab4c31 AC |
98 | |
99 | gnat | |
9ed32e27 | 100 | Ada AdaWhy AdaSCIL Driver Joined RejectNegative |
a7b2e184 | 101 | -gnat<options> Specify options to GNAT. |
a1ab4c31 | 102 | |
4d928625 DR |
103 | fbuiltin-printf |
104 | Ada Undocumented | |
a7b2e184 | 105 | Ignored. |
4d928625 | 106 | |
a1ab4c31 | 107 | ; This comment is to ensure we retain the blank line above. |