mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-09-16 06:31:28 +00:00
Code Activity

Move VERSION.txt to scripts directory and update all references (#7811)

Browse source 
* Initial plan

* Move VERSION.txt to scripts/ and update all references

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
Copilot 2025-08-24 16:36:05 -07:00 • committed by GitHub
parent 287464567b
commit 300e0ae69e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
8 changed files with 10 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -120,6 +120,8 @@ def _z3_version():
if os.path.exists(d):
print(d, ": ", os.listdir(d))
fns = [os.path.join(d, '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:
print("loading version file", fn, "exists", os.path.exists(fn))
if os.path.exists(fn):
@ -254,7 +256,7 @@ 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'), SRC_DIR_LOCAL)
shutil.copy(os.path.join(SRC_DIR, 'VERSION.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, 'CMakeLists.txt'), SRC_DIR_LOCAL)
shutil.copytree(os.path.join(SRC_DIR_REPO, 'cmake'), os.path.join(SRC_DIR_LOCAL, 'cmake'))