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

fix windows build_dist setting

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-11-18 08:59:27 -08:00
parent d400929d9a
commit fb1287155e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_win_dist.py
View file

@ -220,7 +220,7 @@ def mk_dist_dir(x64):
if DOTNET_CORE_ENABLED: if DOTNET_CORE_ENABLED:
mk_util.DOTNET_CORE_ENABLED = True mk_util.DOTNET_CORE_ENABLED = True
else: else:
mk_util.DOTNET_CORE_ENABLED = DOTNET_ENABLED mk_util.DOTNET_ENABLED = DOTNET_ENABLED
mk_util.DOTNET_KEY_FILE = DOTNET_KEY_FILE mk_util.DOTNET_KEY_FILE = DOTNET_KEY_FILE
mk_util.JAVA_ENABLED = JAVA_ENABLED mk_util.JAVA_ENABLED = JAVA_ENABLED
mk_util.PYTHON_ENABLED = PYTHON_ENABLED mk_util.PYTHON_ENABLED = PYTHON_ENABLED