gcc/ada/gcc-interface/lang.opt

   1 ; Options for the Ada front end.
   2 ; Copyright (C) 2003-2023 Free Software Foundation, Inc.
   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
  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
  27 Language
  28 AdaWhy
  29
  30 Language
  31 AdaSCIL
  32
  33 -all-warnings
  34 Ada AdaWhy AdaSCIL Alias(Wall)
  35
  36 -include-barrier
  37 Ada AdaWhy AdaSCIL Alias(I, -)
  38
  39 -include-directory
  40 Ada AdaWhy AdaSCIL Separate Alias(I)
  41
  42 -include-directory=
  43 Ada AdaWhy AdaSCIL Joined Alias(I)
  44
  45 -no-standard-includes
  46 Ada AdaWhy AdaSCIL Alias(nostdinc)
  47
  48 -no-standard-libraries
  49 Ada AdaWhy AdaSCIL Alias(nostdlib)
  50
  51 I
  52 Ada AdaWhy AdaSCIL Joined Separate
  53 ; Documented in C but it should be: -I <dir>.   Add <dir> to the end of the main source path
  54
  55 Wall
  56 Ada AdaWhy AdaSCIL
  57 Enable most warning messages.
  58
  59 fdump-scos
  60 Ada RejectNegative Var(flag_dump_scos) Init(0)
  61 Dump Source Coverage Obligations.
  62
  63 k8
  64 Driver
  65 Synonym of -gnatk8.
  66
  67 nostdinc
  68 Ada AdaWhy AdaSCIL RejectNegative
  69 ; Documented in C but it should be: Do not look for source files in standard path
  70
  71 nostdlib
  72 Ada AdaWhy AdaSCIL
  73 Do not look for object files in standard path.
  74
  75 fRTS=
  76 Ada AdaWhy AdaSCIL Joined RejectNegative
  77 Select the runtime.
  78
  79 fshort-enums
  80 Ada AdaWhy AdaSCIL
  81 Use the narrowest integer type possible for enumeration types.
  82
  83 fsigned-char
  84 Ada AdaWhy AdaSCIL
  85 Make \"char\" signed by default.
  86
  87 funsigned-char
  88 Ada AdaWhy AdaSCIL
  89 Make \"char\" unsigned by default.
  90
  91 gant
  92 Ada AdaWhy AdaSCIL Driver Joined Undocumented RejectNegative
  93 Catch typos.
  94
  95 gnatO
  96 Ada AdaWhy AdaSCIL Driver Separate RejectNegative
  97 Set name of output ALI file (internal switch).
  98
  99 gnat
 100 Ada AdaWhy AdaSCIL Driver Joined RejectNegative
 101 -gnat<options>  Specify options to GNAT.
 102
 103 fbuiltin-printf
 104 Ada Undocumented
 105 Ignored.
 106
 107 ; This comment is to ensure we retain the blank line above.