blob: 379157c67e9e1ad5ad4b2dd1484d1dfc05de1db2 [file] [log] [blame]
; 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.