From 778b9a57c32e8f22ea423d0ab33a3af212ba969b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 23 Aug 2025 18:13:18 -0700 Subject: [PATCH] try diferennt dirs Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 795240f04..ce464ec03 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -113,16 +113,17 @@ def _clean_native_build(): def _z3_version(): post = os.getenv('Z3_VERSION_SUFFIX', '') - print("z3_version", "release dir", RELEASE_DIR) + print("z3_version", "release dir", RELEASE_DIR) if RELEASE_DIR is None: - fn = os.path.join(SRC_DIR, 'VERSION.txt') - print("loading version file", fn) - if os.path.exists(fn): - with open(fn) as f: - for line in f: - n = re.match(r"(.*)\.(.*)\.(.*)\.(.*)", line) - if not n is None: - return n.group(1) + '.' + n.group(2) + '.' + n.group(3) + '.' + n.group(4) + post + fns = [os.path.join(SRC_DIR, 'VERSION.txt'), os.path.join(ROOT_DIR, 'VERSION.txt')] + for fn in fns: + print("loading version file", fn) + if os.path.exists(fn): + with open(fn) as f: + for line in f: + n = re.match(r"(.*)\.(.*)\.(.*)\.(.*)", line) + if not n is None: + return n.group(1) + '.' + n.group(2) + '.' + n.group(3) + '.' + n.group(4) + post return "?.?.?.?" else: version = RELEASE_METADATA[0]