mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

Browse source
This commit is contained in:
Leonardo de Moura 2012-10-26 20:21:27 +01:00
parent 79c7deb6b0 c04ce4620c
commit ad7f8c9187
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
configure.ac
View file

@ -115,8 +115,8 @@ AS_IF([test "$host_os" = "Darwin"], [
], [test "$host_os" = "Linux"], [ ], [test "$host_os" = "Linux"], [
PLATFORM=linux PLATFORM=linux
SO_EXT=.so SO_EXT=.so
SLIBFLAGS="-shared -fopenmp -Wl,--whole-archive" SLIBFLAGS="-shared -fopenmp"
SLIBEXTRAFLAGS="-Wl,--no-whole-archive" SLIBEXTRAFLAGS=
COMP_VERSIONS= COMP_VERSIONS=
STATIC_FLAGS=-static STATIC_FLAGS=-static
CXXFLAGS+=" -fno-strict-aliasing" CXXFLAGS+=" -fno-strict-aliasing"
@ -124,8 +124,8 @@ AS_IF([test "$host_os" = "Darwin"], [
PLATFORM=win PLATFORM=win
SO_EXT=.dll SO_EXT=.dll
LDFLAGS= LDFLAGS=
SLIBFLAGS="-shared -fopenmp -Wl,--whole-archive" SLIBFLAGS="-shared -fopenmp"
SLIBEXTRAFLAGS="-Wl,--no-whole-archive" SLIBEXTRAFLAGS=
COMP_VERSIONS= COMP_VERSIONS=
CXXFLAGS+=" -D_CYGWIN -fno-strict-aliasing" CXXFLAGS+=" -D_CYGWIN -fno-strict-aliasing"
], ],