diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-02-04 22:14:28 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-02-04 22:14:28 +0000 |
commit | c1bc12bb74b05df5f38f3feacd42cacac4e42038 (patch) | |
tree | ad71ec8c5b2a04ec9d97e5066181c183f8212899 /configure.ac | |
parent | de96bc814a6dd3b619bf247e8e83375d0ae7d595 (diff) |
remove warnings from use of __gnu_cxx::hash_map<>; also spacing fixes in symbol table
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 159f32a4e..6ed38f860 100644 --- a/configure.ac +++ b/configure.ac @@ -402,7 +402,7 @@ AC_SUBST(CVC4_LIBRARY_VERSION) AC_SUBST(CVC4_PARSER_LIBRARY_VERSION) CPPFLAGS="${CPPFLAGS:+$CPPFLAGS }$CVC4CPPFLAGS" -CXXFLAGS="${CXXFLAGS:+$CXXFLAGS }$CVC4CXXFLAGS" +CXXFLAGS="${CXXFLAGS:+$CXXFLAGS }$CVC4CXXFLAGS -Wno-deprecated" LDFLAGS="${LDFLAGS:+$LDFLAGS }$CVC4LDFLAGS" # mk_include |