1 /* Configuration file for an alpha OpenBSD target. 2 Copyright (C) 1999-2016 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 7 it under the terms of the GNU General Public License as published by 8 the Free Software Foundation; either version 3, or (at your option) 9 any later version. 10 11 GCC is distributed in the hope that it will be useful, 12 but WITHOUT ANY WARRANTY; without even the implied warranty of 13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 GNU General Public License 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 /* Controlling the compilation driver. */ 21 22 /* run-time target specifications */ 23 #define TARGET_OS_CPP_BUILTINS() \ 24 do { \ 25 OPENBSD_OS_CPP_BUILTINS_ELF(); \ 26 OPENBSD_OS_CPP_BUILTINS_LP64(); \ 27 } while (0) 28 29 /* Layout of source language data types. */ 30 31 /* This must agree with <machine/ansi.h> */ 32 #undef SIZE_TYPE 33 #define SIZE_TYPE "long unsigned int" 34 35 #undef PTRDIFF_TYPE 36 #define PTRDIFF_TYPE "long int" 37 38 #undef WCHAR_TYPE 39 #define WCHAR_TYPE "int" 40 41 #undef WCHAR_TYPE_SIZE 42 #define WCHAR_TYPE_SIZE 32 43 44 45 #define LOCAL_LABEL_PREFIX "." 46