| ; Options for the Ada front end. | |
| ; Copyright (C) 2003-2015 Free Software Foundation, Inc. | |
| ; | |
| ; This file is part of GCC. | |
| ; | |
| ; GCC is free software; you can redistribute it and/or modify it under | |
| ; the terms of the GNU General Public License as published by the Free | |
| ; Software Foundation; either version 3, or (at your option) any later | |
| ; version. | |
| ; | |
| ; GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
| ; WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| ; FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| ; for more details. | |
| ; | |
| ; You should have received a copy of the GNU General Public License | |
| ; along with GCC; see the file COPYING3. If not see | |
| ; <http://www.gnu.org/licenses/>. | |
| ; See the GCC internals manual for a description of this file's format. | |
| ; Please try to keep this file in ASCII collating order. | |
| Language | |
| Ada | |
| Language | |
| AdaWhy | |
| Language | |
| AdaSCIL | |
| -all-warnings | |
| Ada AdaWhy AdaSCIL Alias(Wall) | |
| -include-barrier | |
| Ada AdaWhy AdaSCIL Alias(I, -) | |
| -include-directory | |
| Ada AdaWhy AdaSCIL Separate Alias(I) | |
| -include-directory= | |
| Ada AdaWhy AdaSCIL Joined Alias(I) | |
| -no-standard-includes | |
| Ada AdaWhy AdaSCIL Alias(nostdinc) | |
| -no-standard-libraries | |
| Ada AdaWhy AdaSCIL Alias(nostdlib) | |
| I | |
| Ada AdaWhy AdaSCIL Joined Separate | |
| ; Documented in C but it should be: -I <dir>. Add <dir> to the end of the main source path | |
| Wall | |
| Ada AdaWhy AdaSCIL | |
| Enable most warning messages. | |
| fdump-scos | |
| Ada RejectNegative Var(flag_dump_scos) Init(0) | |
| Dump Source Coverage Obligations. | |
| k8 | |
| Driver | |
| Synonym of -gnatk8. | |
| nostdinc | |
| Ada AdaWhy AdaSCIL RejectNegative | |
| ; Documented in C but it should be: Do not look for source files in standard path | |
| nostdlib | |
| Ada AdaWhy AdaSCIL | |
| Do not look for object files in standard path. | |
| fRTS= | |
| Ada AdaWhy AdaSCIL Joined RejectNegative | |
| Select the runtime. | |
| fshort-enums | |
| Ada AdaWhy AdaSCIL | |
| Use the narrowest integer type possible for enumeration types. | |
| fsigned-char | |
| Ada AdaWhy AdaSCIL | |
| Make \"char\" signed by default. | |
| funsigned-char | |
| Ada AdaWhy AdaSCIL | |
| Make \"char\" unsigned by default. | |
| gant | |
| Ada AdaWhy AdaSCIL Driver Joined Undocumented RejectNegative | |
| Catch typos. | |
| gnatO | |
| Ada AdaWhy AdaSCIL Driver Separate RejectNegative | |
| Set name of output ALI file (internal switch). | |
| gnat | |
| Ada AdaWhy AdaSCIL Driver Joined RejectNegative | |
| -gnat<options> Specify options to GNAT. | |
| fbuiltin-printf | |
| Ada Undocumented | |
| Ignored. | |
| ; This comment is to ensure we retain the blank line above. |