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

test tweak version in unix, et al

Browse source
This commit is contained in:
jofleish 2022-03-23 16:20:22 -04:00
parent 5bba8a356a
commit d56ceec6c6
2 changed files with 12 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
scripts/mk_util.py
View file

@ -687,6 +687,7 @@ def parse_options():
global DOTNET_CORE_ENABLED, DOTNET_KEY_FILE, JAVA_ENABLED, ML_ENABLED, STATIC_LIB, STATIC_BIN, PREFIX, GMP, PYTHON_PACKAGE_DIR, GPROF, GIT_HASH, GIT_DESCRIBE, PYTHON_INSTALL_ENABLED, PYTHON_ENABLED global DOTNET_CORE_ENABLED, DOTNET_KEY_FILE, JAVA_ENABLED, ML_ENABLED, STATIC_LIB, STATIC_BIN, PREFIX, GMP, PYTHON_PACKAGE_DIR, GPROF, GIT_HASH, GIT_DESCRIBE, PYTHON_INSTALL_ENABLED, PYTHON_ENABLED
global LINUX_X64, SLOW_OPTIMIZE, LOG_SYNC, SINGLE_THREADED global LINUX_X64, SLOW_OPTIMIZE, LOG_SYNC, SINGLE_THREADED
global GUARD_CF, ALWAYS_DYNAMIC_BASE global GUARD_CF, ALWAYS_DYNAMIC_BASE
global VER_MAJOR, VER_MINOR, VER_BUILD, VER_TWEAK
try: try:
options, remainder = getopt.gnu_getopt(sys.argv[1:], options, remainder = getopt.gnu_getopt(sys.argv[1:],
'b:df:sxhmcvtnp:gj', 'b:df:sxhmcvtnp:gj',
@ -762,6 +763,14 @@ def parse_options():
elif opt == '--guardcf': elif opt == '--guardcf':
GUARD_CF = True GUARD_CF = True
ALWAYS_DYNAMIC_BASE = True # /GUARD:CF requires /DYNAMICBASE ALWAYS_DYNAMIC_BASE = True # /GUARD:CF requires /DYNAMICBASE
elif opt == '--major':
VER_MAJOR = arg
elif opt == '--minor':
VER_MINOR = arg
elif opt == '--patch':
VER_BUILD = arg
elif opt == '--revision':
VER_TWEAK = arg
else: else:
print("ERROR: Invalid command line option '%s'" % opt) print("ERROR: Invalid command line option '%s'" % opt)
display_help(1) display_help(1)

6
scripts/nightly.yaml
View file

@ -15,7 +15,7 @@ stages:
pool: pool:
vmImage: "macOS-latest" vmImage: "macOS-latest"
steps: steps:
- script: $(MacFlags) python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk - script: $(MacFlags) python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --major=$(Major) --minor=$(Minor) --patch=$(Patch) --revision=$(Build.BuildId)
- script: git clone https://github.com/z3prover/z3test z3test - script: git clone https://github.com/z3prover/z3test z3test
- script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2 - script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2
- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/. - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
@ -29,7 +29,7 @@ stages:
pool: pool:
vmImage: "ubuntu-latest" vmImage: "ubuntu-latest"
steps: steps:
- script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk - script: python scripts/mk_unix_dist.py --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --major=$(Major) --minor=$(Minor) --patch=$(Patch) --revision=$(Build.BuildId)
- script: git clone https://github.com/z3prover/z3test z3test - script: git clone https://github.com/z3prover/z3test z3test
- script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2 - script: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2
- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/. - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/.
@ -80,7 +80,7 @@ stages:
variables: variables:
python: "/opt/python/cp37-cp37m/bin/python" python: "/opt/python/cp37-cp37m/bin/python"
steps: steps:
- script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava - script: $(python) scripts/mk_unix_dist.py --nodotnet --nojava --major=$(Major) --minor=$(Minor) --patch=$(Patch) --revision=$(Build.BuildId)
- script: git clone https://github.com/z3prover/z3test z3test - script: git clone https://github.com/z3prover/z3test z3test
- script: $(python) z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2 - script: $(python) z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2
- script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/ - script: cp dist/*.zip $(Build.ArtifactStagingDirectory)/