diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/configure.ac b/configure.ac index 57e5d46dc..e30c12a6f 100644 --- a/configure.ac +++ b/configure.ac @@ -795,43 +795,6 @@ void foo(int64_t) {}])], AC_LANG_POP([C++]) AC_SUBST([CVC4_NEED_INT64_T_OVERLOADS]) -AC_MSG_CHECKING([for the pb_ds namespace]) -AC_LANG_PUSH([C++]) -AC_COMPILE_IFELSE([AC_LANG_SOURCE([ -#include <ext/pb_ds/priority_queue.hpp> -typedef pb_ds::priority_queue<void, void, void> pq;])], - [CVC4_PB_DS_NAMESPACE=pb_ds], - [AC_COMPILE_IFELSE([AC_LANG_SOURCE([ - #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. - -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++' CPPFLAGS='-stdlib=libstdc++' -as arguments 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.]) - -# for information: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36612 -AC_MSG_CHECKING([whether pb_ds has bug 36612]) -AC_LANG_PUSH([C++]) -AC_COMPILE_IFELSE([AC_LANG_SOURCE([ -#define __throw_container_error inline __throw_container_error -#define __throw_insert_error inline __throw_insert_error -#define __throw_join_error inline __throw_join_error -#define __throw_resize_error inline __throw_resize_error -#include <ext/pb_ds/exception.hpp> -])], - [CVC4_GCC_HAS_PB_DS_BUG=1; bugverb=is], - [CVC4_GCC_HAS_PB_DS_BUG=0; bugverb="is not"]) -AC_LANG_POP([C++]) -AC_MSG_RESULT([bug $bugverb present]) -AC_DEFINE_UNQUOTED(CVC4_GCC_HAS_PB_DS_BUG, ${CVC4_GCC_HAS_PB_DS_BUG}, [Whether libstdc++ has a certain bug; see http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36612]) - # Check for ANTLR runantlr script (defined in config/antlr.m4) AC_PROG_ANTLR |