mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-03 04:41:21 +00:00
Code Activity

polishing clang++ support

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-11-11 22:05:17 -08:00
parent 504ba8236d
commit 00dbe92cea
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
configure.ac
View file

@ -130,7 +130,7 @@ AS_IF([test "$host_os" = "Darwin"], [
STATIC_FLAGS=-static STATIC_FLAGS=-static
CXXFLAGS+=" -fno-strict-aliasing" CXXFLAGS+=" -fno-strict-aliasing"
if test "$CXX" = "clang++"; then if test "$CXX" = "clang++"; then
CXXFLAGS+=" -Wno-unknown-pragmas -Wno-overloaded-virtual" CXXFLAGS+=" -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value"
SLIBEXTRAFLAGS+=" -lrt" SLIBEXTRAFLAGS+=" -lrt"
fi fi
], [test "${host_os:0:6}" = "CYGWIN"], [ ], [test "${host_os:0:6}" = "CYGWIN"], [