From 72655637deebe5d3a79d7725287c634ac261b6fa Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 20 Aug 2025 09:24:58 -0700 Subject: [PATCH] read version from VERSION.txt Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 4d26367b3..ab4953977 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -114,11 +114,11 @@ def _clean_native_build(): def _z3_version(): post = os.getenv('Z3_VERSION_SUFFIX', '') if RELEASE_DIR is None: - fn = os.path.join(SRC_DIR, 'scripts', 'mk_project.py') + fn = os.path.join(ROOT_DIR, 'VERSION.txt') if os.path.exists(fn): with open(fn) as f: for line in f: - n = re.match(r".*set_version\((.*), (.*), (.*), (.*)\).*", line) + 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 "?.?.?.?"