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
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