ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
select_platform_config.hpp
Go to the documentation of this file.
1
// Boost compiler configuration selection header file
2
3
// (C) Copyright John Maddock 2001 - 2002.
4
// (C) Copyright Jens Maurer 2001.
5
// Use, modification and distribution are subject to the
6
// Boost Software License, Version 1.0. (See accompanying file
7
// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
8
9
// See http://www.boost.org for most recent version.
10
11
// locate which platform we are on and define BOOST_PLATFORM_CONFIG as needed.
12
// Note that we define the headers to include using "header_name" not
13
// <header_name> in order to prevent macro expansion within the header
14
// name (for example "linux" is a macro on linux systems).
15
16
#if ( \
17
defined(linux) || defined(__linux) || defined(__linux__) || \
18
defined(__GNU__) || defined(__GLIBC__)) && \
19
!defined(_CRAYC)
20
// linux, also other platforms (Hurd etc) that use GLIBC, should these really have their own config headers though?
21
# define BOOST_PLATFORM_CONFIG "boost/config/platform/linux.hpp"
22
23
#elif defined(__FreeBSD__) || defined(__NetBSD__) || defined(__OpenBSD__) || \
24
defined(__DragonFly__)
25
// BSD:
26
# define BOOST_PLATFORM_CONFIG "boost/config/platform/bsd.hpp"
27
28
#elif defined(sun) || defined(__sun)
29
// solaris:
30
# define BOOST_PLATFORM_CONFIG "boost/config/platform/solaris.hpp"
31
32
#elif defined(__sgi)
33
// SGI Irix:
34
# define BOOST_PLATFORM_CONFIG "boost/config/platform/irix.hpp"
35
36
#elif defined(__hpux)
37
// hp unix:
38
# define BOOST_PLATFORM_CONFIG "boost/config/platform/hpux.hpp"
39
40
#elif defined(__CYGWIN__)
41
// cygwin is not win32:
42
# define BOOST_PLATFORM_CONFIG "boost/config/platform/cygwin.hpp"
43
44
#elif defined(_WIN32) || defined(__WIN32__) || defined(WIN32)
45
// win32:
46
# define BOOST_PLATFORM_CONFIG "boost/config/platform/win32.hpp"
47
48
#elif defined(__BEOS__)
49
// BeOS
50
# define BOOST_PLATFORM_CONFIG "boost/config/platform/beos.hpp"
51
52
#elif defined(macintosh) || defined(__APPLE__) || defined(__APPLE_CC__)
53
// MacOS
54
# define BOOST_PLATFORM_CONFIG "boost/config/platform/macos.hpp"
55
56
#elif defined(__IBMCPP__) || defined(_AIX)
57
// IBM
58
# define BOOST_PLATFORM_CONFIG "boost/config/platform/aix.hpp"
59
60
#elif defined(__amigaos__)
61
// AmigaOS
62
# define BOOST_PLATFORM_CONFIG "boost/config/platform/amigaos.hpp"
63
64
#elif defined(__QNXNTO__)
65
// QNX:
66
# define BOOST_PLATFORM_CONFIG "boost/config/platform/qnxnto.hpp"
67
68
#elif defined(__VXWORKS__)
69
// vxWorks:
70
# define BOOST_PLATFORM_CONFIG "boost/config/platform/vxworks.hpp"
71
72
#elif defined(__SYMBIAN32__)
73
// Symbian:
74
# define BOOST_PLATFORM_CONFIG "boost/config/platform/symbian.hpp"
75
76
#elif defined(_CRAYC)
77
// Cray:
78
# define BOOST_PLATFORM_CONFIG "boost/config/platform/cray.hpp"
79
80
#elif defined(__VMS)
81
// VMS:
82
# define BOOST_PLATFORM_CONFIG "boost/config/platform/vms.hpp"
83
#else
84
85
# if defined(unix) || defined(__unix) || defined(_XOPEN_SOURCE) || \
86
defined(_POSIX_SOURCE)
87
88
// generic unix platform:
89
90
# ifndef BOOST_HAS_UNISTD_H
91
# define BOOST_HAS_UNISTD_H
92
# endif
93
94
# include <
boost/config/posix_features.hpp
>
95
96
# endif
97
98
# if defined(BOOST_ASSERT_CONFIG)
99
// this must come last - generate an error if we don't
100
// recognise the platform:
101
# error \
102
"Unknown platform - please configure and report the results to boost.org"
103
# endif
104
105
#endif
posix_features.hpp
src
cpp
library
boost
config
select_platform_config.hpp
Generated by
1.15.0