mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-16 12:30:28 +00:00
Code Activity

clean up a little of the handling of VERSION.txt

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-08-24 16:38:15 -07:00
parent 300e0ae69e
commit 12563c6963
1 changed files with 1 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/api/python/setup.py
View file

@ -119,9 +119,7 @@ def _z3_version():
for d in dirs: for d in dirs:
if os.path.exists(d): if os.path.exists(d):
print(d, ": ", os.listdir(d)) print(d, ": ", os.listdir(d))
fns = [os.path.join(d, 'VERSION.txt') for d in dirs] fns = [os.path.join(d, 'scripts', 'VERSION.txt') for d in dirs]
# Also try the scripts directory
fns.extend([os.path.join(d, 'scripts', 'VERSION.txt') for d in dirs])
for fn in fns: for fn in fns:
print("loading version file", fn, "exists", os.path.exists(fn)) print("loading version file", fn, "exists", os.path.exists(fn))
if os.path.exists(fn): if os.path.exists(fn):
@ -256,7 +254,6 @@ def _copy_sources():
# shutil.copy(os.path.join(SRC_DIR_REPO, 'LICENSE.txt'), ROOT_DIR) # shutil.copy(os.path.join(SRC_DIR_REPO, 'LICENSE.txt'), ROOT_DIR)
shutil.copy(os.path.join(SRC_DIR_REPO, 'LICENSE.txt'), SRC_DIR_LOCAL) shutil.copy(os.path.join(SRC_DIR_REPO, 'LICENSE.txt'), SRC_DIR_LOCAL)
shutil.copy(os.path.join(SRC_DIR, 'scripts', 'VERSION.txt'), SRC_DIR_LOCAL)
shutil.copy(os.path.join(SRC_DIR_REPO, 'z3.pc.cmake.in'), SRC_DIR_LOCAL) shutil.copy(os.path.join(SRC_DIR_REPO, 'z3.pc.cmake.in'), SRC_DIR_LOCAL)
shutil.copy(os.path.join(SRC_DIR_REPO, 'CMakeLists.txt'), SRC_DIR_LOCAL) shutil.copy(os.path.join(SRC_DIR_REPO, 'CMakeLists.txt'), SRC_DIR_LOCAL)
shutil.copytree(os.path.join(SRC_DIR_REPO, 'cmake'), os.path.join(SRC_DIR_LOCAL, 'cmake')) shutil.copytree(os.path.join(SRC_DIR_REPO, 'cmake'), os.path.join(SRC_DIR_LOCAL, 'cmake'))