diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-14 09:30:25 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-14 10:38:10 -0500 |
commit | 1acbb378d1658d613f9dc9788b8424455f445fc8 (patch) | |
tree | 2ee4f6444dbedc44a967da9023edf80c6ffd3ed2 /configure.ac | |
parent | ca54910668960ea492e8dc12178648032c5df489 (diff) |
Minor fixes for Mac OS Mavericks
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index 1aad3ab6c..43f3325e5 100644 --- a/configure.ac +++ b/configure.ac @@ -766,8 +766,8 @@ typedef pb_ds::priority_queue<void, void, void> pq;])], 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. + 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]) |