mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
fix type in setup.py
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
10d9c81957
commit
8965123c0d
|
@ -139,7 +139,7 @@ def _configure_z3():
|
|||
'CMAKE_BUILD_TYPE' : 'Release',
|
||||
'Z3_BUILD_EXECUTABLE' : True,
|
||||
'Z3_BUILD_LIBZ3_SHARED' : True,
|
||||
'Z3_LINK_TIME_OPTIMIZATION' : ENABLELTO,
|
||||
'Z3_LINK_TIME_OPTIMIZATION' : ENABLE_LTO,
|
||||
'WARNINGS_AS_ERRORS' : 'SERIOUS_ONLY',
|
||||
# Disable Unwanted Options
|
||||
'Z3_USE_LIB_GMP' : False, # Is default false in python build
|
||||
|
|
Loading…
Reference in a new issue