ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
select_compiler_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 Martin Wille 2003.
5// (C) Copyright Guillaume Melquiond 2003.
6//
7// Distributed under the Boost Software License, Version 1.0.
8// (See accompanying file LICENSE_1_0.txt or copy at
9// http://www.boost.org/LICENSE_1_0.txt)
10
11// See http://www.boost.org/ for most recent version.
12
13// locate which compiler we are using and define
14// BOOST_COMPILER_CONFIG as needed:
15
16#if defined(__GCCXML__)
17// GCC-XML emulates other compilers, it has to appear first here!
18# define BOOST_COMPILER_CONFIG "boost/config/compiler/gcc_xml.hpp"
19
20#elif defined(_CRAYC)
21// EDG based Cray compiler:
22# define BOOST_COMPILER_CONFIG "boost/config/compiler/cray.hpp"
23
24#elif defined __CUDACC__
25// NVIDIA CUDA C++ compiler for GPU
26# define BOOST_COMPILER_CONFIG "boost/config/compiler/nvcc.hpp"
27
28#elif defined __COMO__
29// Comeau C++
30# define BOOST_COMPILER_CONFIG "boost/config/compiler/comeau.hpp"
31
32#elif defined(__PATHSCALE__) && (__PATHCC__ >= 4)
33// PathScale EKOPath compiler (has to come before clang and gcc)
34# define BOOST_COMPILER_CONFIG "boost/config/compiler/pathscale.hpp"
35
36#elif defined __clang__
37// Clang C++ emulates GCC, so it has to appear early.
38# define BOOST_COMPILER_CONFIG "boost/config/compiler/clang.hpp"
39
40#elif defined __DMC__
41// Digital Mars C++
42# define BOOST_COMPILER_CONFIG "boost/config/compiler/digitalmars.hpp"
43
44#elif defined(__INTEL_COMPILER) || defined(__ICL) || defined(__ICC) || \
45 defined(__ECC)
46// Intel
47# define BOOST_COMPILER_CONFIG "boost/config/compiler/intel.hpp"
48
49#elif defined __GNUC__
50// GNU C++:
51# define BOOST_COMPILER_CONFIG "boost/config/compiler/gcc.hpp"
52
53#elif defined __KCC
54// Kai C++
55# define BOOST_COMPILER_CONFIG "boost/config/compiler/kai.hpp"
56
57#elif defined __sgi
58// SGI MIPSpro C++
59# define BOOST_COMPILER_CONFIG "boost/config/compiler/sgi_mipspro.hpp"
60
61#elif defined __DECCXX
62// Compaq Tru64 Unix cxx
63# define BOOST_COMPILER_CONFIG "boost/config/compiler/compaq_cxx.hpp"
64
65#elif defined __ghs
66// Greenhills C++
67# define BOOST_COMPILER_CONFIG "boost/config/compiler/greenhills.hpp"
68
69#elif defined __CODEGEARC__
70// CodeGear - must be checked for before Borland
71# define BOOST_COMPILER_CONFIG "boost/config/compiler/codegear.hpp"
72
73#elif defined __BORLANDC__
74// Borland
75# define BOOST_COMPILER_CONFIG "boost/config/compiler/borland.hpp"
76
77#elif defined __MWERKS__
78// Metrowerks CodeWarrior
79# define BOOST_COMPILER_CONFIG "boost/config/compiler/metrowerks.hpp"
80
81#elif defined __SUNPRO_CC
82// Sun Workshop Compiler C++
83# define BOOST_COMPILER_CONFIG "boost/config/compiler/sunpro_cc.hpp"
84
85#elif defined __HP_aCC
86// HP aCC
87# define BOOST_COMPILER_CONFIG "boost/config/compiler/hp_acc.hpp"
88
89#elif defined(__MRC__) || defined(__SC__)
90// MPW MrCpp or SCpp
91# define BOOST_COMPILER_CONFIG "boost/config/compiler/mpw.hpp"
92
93#elif defined(__IBMCPP__)
94// IBM Visual Age
95# define BOOST_COMPILER_CONFIG "boost/config/compiler/vacpp.hpp"
96
97#elif defined(__PGI)
98// Portland Group Inc.
99# define BOOST_COMPILER_CONFIG "boost/config/compiler/pgi.hpp"
100
101#elif defined _MSC_VER
102// Microsoft Visual C++
103//
104// Must remain the last #elif since some other vendors (Metrowerks, for
105// example) also #define _MSC_VER
106# define BOOST_COMPILER_CONFIG "boost/config/compiler/visualc.hpp"
107
108#elif defined(BOOST_ASSERT_CONFIG)
109// this must come last - generate an error if we don't
110// recognise the compiler:
111# error \
112 "Unknown compiler - please configure (http://www.boost.org/libs/config/config.htm#configuring) and report the results to the main boost mailing list (http://www.boost.org/more/mailing_lists.htm#main)"
113
114#endif