gcc/config/gnu.h

   1 /* Configuration common to all targets running the GNU system.  */
   2
   3 /*
   4 Copyright (C) 1994-2017 Free Software Foundation, Inc.
   5
   6 This file is part of GCC.
   7
   8 GCC is free software: you can redistribute it and/or modify
   9 it under the terms of the GNU General Public License as published by
  10 the Free Software Foundation, either version 3 of the License, or
  11 (at your option) any later version.
  12
  13 GCC is distributed in the hope that it will be useful,
  14 but WITHOUT ANY WARRANTY; without even the implied warranty of
  15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  16 GNU General Public License for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with GCC.  If not, see <http://www.gnu.org/licenses/>.
  20 */
  21
  22 #undef GNU_USER_TARGET_OS_CPP_BUILTINS
  23 #define GNU_USER_TARGET_OS_CPP_BUILTINS()               \
  24     do {                                        \
  25         builtin_define ("__gnu_hurd__");        \
  26         builtin_define ("__GNU__");             \
  27         builtin_define_std ("unix");            \
  28         builtin_define ("__MACH__");            \
  29         builtin_assert ("system=gnu");          \
  30         builtin_assert ("system=mach");         \
  31         builtin_assert ("system=unix");         \
  32         builtin_assert ("system=posix");        \
  33     } while (0)