mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
update unix-dist
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
1a5be0f25e
commit
ddf6d48b3e
|
@ -93,6 +93,7 @@ def parse_options():
|
|||
DOTNET_ENABLED = False
|
||||
elif opt == '--dotnetcore':
|
||||
DOTNET_CORE_ENABLED = True
|
||||
DOTNET_ENABLED = False
|
||||
elif opt == '--nopython':
|
||||
PYTHON_ENABLED = False
|
||||
elif opt == '--dotnet-key':
|
||||
|
@ -195,10 +196,8 @@ def mk_dist_dir():
|
|||
build_path = BUILD_DIR
|
||||
dist_path = os.path.join(DIST_DIR, get_z3_name())
|
||||
mk_dir(dist_path)
|
||||
if DOTNET_CORE_ENABLED:
|
||||
mk_util.DOTNET_CORE_ENABLED = True
|
||||
else:
|
||||
mk_util.DOTNET_ENABLED = DOTNET_ENABLED
|
||||
mk_util.DOTNET_CORE_ENABLED = DOTNET_CORE_ENABLED
|
||||
mk_util.DOTNET_ENABLED = DOTNET_ENABLED
|
||||
mk_util.DOTNET_KEY_FILE = DOTNET_KEY_FILE
|
||||
mk_util.JAVA_ENABLED = JAVA_ENABLED
|
||||
mk_util.PYTHON_ENABLED = PYTHON_ENABLED
|
||||
|
|
Loading…
Reference in a new issue