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

removed crazy options

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-26 11:54:37 -07:00
parent cf04bf9959
commit c04ce4620c
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"
], ],