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