108 lines
2.4 KiB
Plaintext
108 lines
2.4 KiB
Plaintext
; 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.
|