]>
Commit | Line | Data |
---|---|---|
b32b8144 | 1 | // Copyright John Maddock 2008. |
7c673cae FG |
2 | // Use, modification and distribution are subject to the |
3 | // Boost Software License, Version 1.0. (See accompanying file | |
1e59de90 | 4 | // LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt) |
7c673cae | 5 | |
b32b8144 | 6 | #include <gmpxx.h> |
7c673cae | 7 | |
92f5a8d4 TL |
8 | // On Linux, libgmpxx is built with gcc and libstdc++. When the user application, such as tests, are built against libc++, |
9 | // linking fails because of the C++ standard library symbol names mismatch. So fail the test if we're not using libstdc++. | |
10 | #if defined(__linux__) || defined(__linux) || defined(linux) | |
11 | #include <utility> | |
12 | #if !defined(__GLIBCPP__) && !defined(__GLIBCXX__) | |
13 | #error "libgmpxx is not supported on this platform with this C++ standard library" | |
14 | #endif | |
15 | #endif |