1/* Configuration for GCC for hosting on Windows32.
2   using GNU tools and the Windows32 API Library.
3   Copyright (C) 1997-2015 Free Software Foundation, Inc.
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
9Software Foundation; either version 3, or (at your option) any later
10version.
11
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
15for more details.
16
17You should have received a copy of the GNU General Public License
18along with GCC; see the file COPYING3.  If not see
19<http://www.gnu.org/licenses/>.  */
20
21#define HOST_EXECUTABLE_SUFFIX ".exe"
22
23#undef PATH_SEPARATOR
24#define PATH_SEPARATOR ';'
25
26/* This is the name of the null device on windows.  */
27#define HOST_BIT_BUCKET "nul"
28
29/*  The st_ino field of struct stat is always 0.  */
30#define HOST_LACKS_INODE_NUMBERS
31
32#ifdef __MINGW32__
33#undef __USE_MINGW_ANSI_STDIO
34#define __USE_MINGW_ANSI_STDIO 1
35#else
36/* MSVCRT does not support the "ll" format specifier for printing
37   "long long" values.  Instead, we use "I64".  */
38#define HOST_LONG_LONG_FORMAT "I64"
39#endif
40
41