mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 11:42:28 +00:00
Code Activity

Define global versions in props parsing

Browse source
This commit is contained in:
jofleish 2022-03-23 16:11:13 -04:00
parent 789935f2da
commit 5bba8a356a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/mk_util.py
View file

@ -529,7 +529,7 @@ def find_c_compiler():
raise MKException('C compiler was not found. Try to set the environment variable CC with the C compiler available in your system.') raise MKException('C compiler was not found. Try to set the environment variable CC with the C compiler available in your system.')
def set_version(major, minor, build, revision): def set_version(major, minor, build, revision):
global VER_MAJOR, VER_MINOR, VER_BUILD, VER_TWEAK, GIT_DESCRIBE global GIT_DESCRIBE
VER_MAJOR = major VER_MAJOR = major
VER_MINOR = minor VER_MINOR = minor
VER_BUILD = build VER_BUILD = build