gcc/config/i386/vsta.h

   1 /* Configuration for an i386 running VSTa micro-kernel.
   2    Copyright (C) 1994, 2002 Free Software Foundation, Inc.
   3    Contributed by Rob Savoye (rob@cygnus.com).
   4
   5 This file is part of GNU CC.
   6
   7 GNU CC is free software; you can redistribute it and/or modify
   8 it under the terms of the GNU General Public License as published by
   9 the Free Software Foundation; either version 2, or (at your option)
  10 any later version.
  11
  12 GNU CC is distributed in the hope that it will be useful,
  13 but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 GNU General Public License for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with GNU CC; see the file COPYING.  If not, write to
  19 the Free Software Foundation, 59 Temple Place - Suite 330,
  20 Boston, MA 02111-1307, USA.  */
  21
  22 #define TARGET_VERSION fprintf (stderr, " (80386, BSD syntax)");
  23
  24 #define TARGET_OS_CPP_BUILTINS()                \
  25   do                                            \
  26     {                                           \
  27         builtin_define_std ("unix");            \
  28         builtin_define ("VSTA");                \
  29         builtin_assert ("system=unix");         \
  30         builtin_assert ("system=vsta");         \
  31     }                                           \
  32   while (0)