mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-05-11 09:44:43 +00:00
Code Activity

update mk_win_dist for assembly-version

Browse source
This commit is contained in:
jofleish 2022-08-22 13:21:30 -04:00
parent 9f78eaecda
commit 07def0ca07
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
scripts/mk_win_dist.py
View file

@ -76,7 +76,7 @@ def display_help():
# Parse configuration option for mk_make script # Parse configuration option for mk_make script
def parse_options(): def parse_options():
global FORCE_MK, JAVA_ENABLED, ZIP_BUILD_OUTPUTS, GIT_HASH, DOTNET_CORE_ENABLED, DOTNET_KEY_FILE, PYTHON_ENABLED, X86ONLY, X64ONLY global FORCE_MK, JAVA_ENABLED, ZIP_BUILD_OUTPUTS, GIT_HASH, DOTNET_CORE_ENABLED, DOTNET_KEY_FILE, ASSEMBLY_VERSION, PYTHON_ENABLED, X86ONLY, X64ONLY
path = BUILD_DIR path = BUILD_DIR
options, remainder = getopt.gnu_getopt(sys.argv[1:], 'b:hsf', ['build=', options, remainder = getopt.gnu_getopt(sys.argv[1:], 'b:hsf', ['build=',
'help', 'help',
@ -85,6 +85,7 @@ def parse_options():
'nojava', 'nojava',
'nodotnet', 'nodotnet',
'dotnet-key=', 'dotnet-key=',
'assembly-version=',
'zip', 'zip',
'githash', 'githash',
'nopython', 'nopython',
@ -104,7 +105,7 @@ def parse_options():
FORCE_MK = True FORCE_MK = True
elif opt == '--nodotnet': elif opt == '--nodotnet':
DOTNET_CORE_ENABLED = False DOTNET_CORE_ENABLED = False
elif opt == '--assemblyVersion': elif opt == '--assembly-version':
ASSEMBLY_VERSION = arg ASSEMBLY_VERSION = arg
elif opt == '--nopython': elif opt == '--nopython':
PYTHON_ENABLED = False PYTHON_ENABLED = False