; Options for the Ada front end.
; Copyright (C) 2003, 2007, 2008, 2010, 2011 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

-all-warnings
Ada AdaWhy Alias(Wall)

-include-barrier
Ada AdaWhy Alias(I, -)

-include-directory
Ada AdaWhy Separate Alias(I)

-include-directory=
Ada AdaWhy Joined Alias(I)

-no-standard-includes
Ada AdaWhy Alias(nostdinc)

-no-standard-libraries
Ada AdaWhy Alias(nostdlib)

I
Ada AdaWhy Joined Separate
; Documented for C

Wall
Ada AdaWhy
; Documented for C

Wmissing-prototypes
Ada AdaWhy
; Documented for C

Wstrict-prototypes
Ada AdaWhy
; Documented for C

Wwrite-strings
Ada AdaWhy
; Documented for C

Wlong-long
Ada AdaWhy
; Documented for C

Wvariadic-macros
Ada AdaWhy
; Documented for C

Wold-style-definition
Ada AdaWhy
; Documented for C

Wmissing-format-attribute
Ada AdaWhy
; Documented for C

Woverlength-strings
Ada AdaWhy
; Documented for C

k8
Driver

nostdinc
Ada AdaWhy RejectNegative
; Don't look for source files

nostdlib
Ada AdaWhy
; Don't look for object files

fRTS=
Ada AdaWhy Joined RejectNegative
; Selects the runtime

gant
Ada AdaWhy Joined Undocumented
; Catches typos

gnatO
Ada AdaWhy Separate
; Sets name of output ALI file (internal switch)

gnat
Ada AdaWhy Joined
-gnat<options>	Specify options to GNAT

; This comment is to ensure we retain the blank line above.