From 1987b3dde17e87608de86189d826d2b0f2ee394c Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 23 Aug 2025 18:20:32 -0700 Subject: [PATCH] try src_dir_repo Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index ce464ec03..418b238f1 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -115,7 +115,8 @@ def _z3_version(): post = os.getenv('Z3_VERSION_SUFFIX', '') print("z3_version", "release dir", RELEASE_DIR) if RELEASE_DIR is None: - fns = [os.path.join(SRC_DIR, 'VERSION.txt'), os.path.join(ROOT_DIR, 'VERSION.txt')] + dirs = [SRC_DIR, ROOT_DIR, SRC_DIR_REPO] + fns = [os.path.join(d, 'VERSION.txt') for d in dirs] for fn in fns: print("loading version file", fn) if os.path.exists(fn):