diff options
-rw-r--r-- | configure.ac | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 1859d6316..1aad3ab6c 100644 --- a/configure.ac +++ b/configure.ac @@ -762,7 +762,13 @@ typedef pb_ds::priority_queue<void, void, void> pq;])], #include <ext/pb_ds/priority_queue.hpp> typedef __gnu_pbds::priority_queue<void, void, void> pq;])], [CVC4_PB_DS_NAMESPACE=__gnu_pbds], - [AC_MSG_ERROR([cannot find required priority_queue in either __gnu_pbds or pb_ds namespace])])]) + [AC_MSG_ERROR([cannot find required priority_queue in either __gnu_pbds or pb_ds namespace. + +If you're using a non-GCC compiler (such as clang), you may need to explicitly +use the GNU standard C++ library by passing: + CXXFLAGS='-stdlib=libstdc++' +as an argument to this configure script. +This is the case on Mac OS Mavericks, for example.])])]) AC_LANG_POP([C++]) AC_MSG_RESULT([$CVC4_PB_DS_NAMESPACE]) AC_DEFINE_UNQUOTED(CVC4_PB_DS_NAMESPACE, ${CVC4_PB_DS_NAMESPACE}, [The namespace for pb_ds data structures.]) |