2014-10-24 Richard Biener <rguenther@suse.de>
[official-gcc.git] / gcc / config / arm / rtems-eabi.h
blob4bdcf0d87ba68940f338f4de3b41b9bd7a47260f
1 /* Definitions for RTEMS based ARM systems using EABI.
2 Copyright (C) 2011-2014 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published
8 by the Free Software Foundation; either version 3, or (at your
9 option) any later version.
11 GCC is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
14 License for more details.
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/>. */
20 #define HAS_INIT_SECTION
22 #undef TARGET_OS_CPP_BUILTINS
23 #define TARGET_OS_CPP_BUILTINS() \
24 do { \
25 builtin_define ("__rtems__"); \
26 builtin_define ("__USE_INIT_FINI__"); \
27 builtin_assert ("system=rtems"); \
28 TARGET_BPABI_CPP_BUILTINS(); \
29 } while (0)