ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
select_stdlib_config.hpp
Go to the documentation of this file.
1
// Boost compiler configuration selection header file
2
3
// (C) Copyright John Maddock 2001 - 2003.
4
// (C) Copyright Jens Maurer 2001 - 2002.
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 std lib we are using and define BOOST_STDLIB_CONFIG as needed:
12
13
// First include <cstddef> to determine if some version of STLport is in use as the std lib
14
// (do not rely on this header being included since users can short-circuit this header
15
// if they know whose std lib they are using.)
16
#ifdef __cplusplus
17
# include <cstddef>
18
#else
19
# include <
stddef.h
>
20
#endif
21
22
#if defined(__SGI_STL_PORT) || defined(_STLPORT_VERSION)
23
// STLPort library; this _must_ come first, otherwise since
24
// STLport typically sits on top of some other library, we
25
// can end up detecting that first rather than STLport:
26
# define BOOST_STDLIB_CONFIG "boost/config/stdlib/stlport.hpp"
27
28
#else
29
30
// If our std lib was not some version of STLport, then include <utility> as it is about
31
// the smallest of the std lib headers that includes real C++ stuff. (Some std libs do not
32
// include their C++-related macros in <cstddef> so this additional include makes sure
33
// we get those definitions)
34
// (again do not rely on this header being included since users can short-circuit this
35
// header if they know whose std lib they are using.)
36
# include <
boost/config/no_tr1/utility.hpp
>
37
38
# if defined(__LIBCOMO__)
39
// Comeau STL:
40
# define BOOST_STDLIB_CONFIG "boost/config/stdlib/libcomo.hpp"
41
42
# elif defined(__STD_RWCOMPILER_H__) || defined(_RWSTD_VER)
43
// Rogue Wave library:
44
# define BOOST_STDLIB_CONFIG "boost/config/stdlib/roguewave.hpp"
45
46
# elif defined(_LIBCPP_VERSION)
47
// libc++
48
# define BOOST_STDLIB_CONFIG "boost/config/stdlib/libcpp.hpp"
49
50
# elif defined(__GLIBCPP__) || defined(__GLIBCXX__)
51
// GNU libstdc++ 3
52
# define BOOST_STDLIB_CONFIG "boost/config/stdlib/libstdcpp3.hpp"
53
54
# elif defined(__STL_CONFIG_H)
55
// generic SGI STL
56
# define BOOST_STDLIB_CONFIG "boost/config/stdlib/sgi.hpp"
57
58
# elif defined(__MSL_CPP__)
59
// MSL standard lib:
60
# define BOOST_STDLIB_CONFIG "boost/config/stdlib/msl.hpp"
61
62
# elif defined(__IBMCPP__)
63
// take the default VACPP std lib
64
# define BOOST_STDLIB_CONFIG "boost/config/stdlib/vacpp.hpp"
65
66
# elif defined(MSIPL_COMPILE_H)
67
// Modena C++ standard library
68
# define BOOST_STDLIB_CONFIG "boost/config/stdlib/modena.hpp"
69
70
# elif (defined(_YVALS) && !defined(__IBMCPP__)) || defined(_CPPLIB_VER)
71
// Dinkumware Library (this has to appear after any possible replacement libraries):
72
# define BOOST_STDLIB_CONFIG "boost/config/stdlib/dinkumware.hpp"
73
74
# elif defined(BOOST_ASSERT_CONFIG)
75
// this must come last - generate an error if we don't
76
// recognise the library:
77
# error \
78
"Unknown standard library - please configure and report the results to boost.org"
79
80
# endif
81
82
#endif
stddef.h
utility.hpp
src
cpp
library
boost
config
select_stdlib_config.hpp
Generated by
1.15.0