gcc/ada/gcc-interface/lang-specs.h

   1 /****************************************************************************
   2  *                                                                          *
   3  *                         GNAT COMPILER COMPONENTS                         *
   4  *                                                                          *
   5  *                            L A N G - S P E C S                           *
   6  *                                                                          *
   7  *                              C Header File                               *
   8  *                                                                          *
   9  *           Copyright (C) 1992-2020, Free Software Foundation, Inc.        *
  10  *                                                                          *
  11  * GNAT is free software;  you can  redistribute it  and/or modify it under *
  12  * terms of the  GNU General Public License as published  by the Free Soft- *
  13  * ware  Foundation;  either version 3,  or (at your option) any later ver- *
  14  * sion.  GNAT is distributed in the hope that it will be useful, but WITH- *
  15  * OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY *
  16  * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License *
  17  * for  more details.  You should have received a copy of the GNU General   *
  18  * Public License along with GCC; see the file COPYING3.  If not see        *
  19  * <http://www.gnu.org/licenses/>.                                          *
  20  *                                                                          *
  21  * GNAT was originally developed  by the GNAT team at  New York University. *
  22  * Extensive contributions were provided by Ada Core Technologies Inc.      *
  23  *                                                                          *
  24  ****************************************************************************/
  25
  26 /* This is the contribution to the `default_compilers' array in gcc.c for
  27    GNAT.  */
  28
  29   {".ads", "@ada", 0, 0, 0},
  30   {".adb", "@ada", 0, 0, 0},
  31   {"@ada",
  32    "\
  33  %{pg:%{fomit-frame-pointer:%e-pg and -fomit-frame-pointer are incompatible}}\
  34  %{!S:%{!c:%e-c or -S required for Ada}}\
  35  gnat1 %{I*} %{k8:-gnatk8} %{Wall:-gnatwa} %{w:-gnatws} %{!Q:-quiet}\
  36     %{nostdinc*} %{nostdlib*}\
  37     %{fcompare-debug-second:-gnatd_A} \
  38     %{O*} %{W*} %{w} %{p} %{pg:-p} %{d*} %:dumps(%{!.adb:%{!.ads:.ada}}) \
  39     %{coverage:-fprofile-arcs -ftest-coverage} "
  40 #if defined(TARGET_VXWORKS_RTP)
  41    "%{fRTS=rtp|fRTS=rtp-smp|fRTS=ravenscar-cert-rtp:-mrtp} "
  42 #endif
  43    "%{gnatea:-gnatez} %{g*&m*&f*} "
  44    "%1 %{!S:%{o*:%w%*-gnatO}} \
  45     %i %{S:%W{o*}%{!o*:-o %w%b.s}} \
  46     %{gnatc*|gnats*: -o %j} %{-param*} \
  47     %{!gnatc*:%{!gnats*:%(invoke_as)}}", 0, 0, 0},
  48
  49   {"@adawhy",
  50    "\
  51  %{!c:%e-c required for gnat2why}\
  52  gnat1why %{I*} %{k8:-gnatk8} %{!Q:-quiet}\
  53     %{nostdinc*} %{nostdlib*}\
  54     %{a} %{d*} %:dumps(%{!.adb:%{!.ads:.ada}}) \
  55     %{gnatea:-gnatez} %{g*&m*&f*} \
  56     %1 %{o*:%w%*-gnatO} \
  57     %i \
  58     %{gnatc*|gnats*: -o %j} %{-param*} ", 0, 0, 0},
  59
  60   {"@adascil",
  61    "\
  62  %{!c:%e-c required for gnat2scil}\
  63  gnat1scil %{I*} %{k8:-gnatk8} %{!Q:-quiet}\
  64     %{nostdinc*} %{nostdlib*}\
  65     %{a} %{d*} %:dumps(%{!.adb:%{!.ads:.ada}}) \
  66     %{gnatea:-gnatez} %{g*&m*&f*} \
  67     %1 %{o*:%w%*-gnatO} \
  68     %i \
  69     %{gnatc*|gnats*: -o %j} %{-param*} ", 0, 0, 0},