From 02f195a380afe1c36885fae53361d6a691566377 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 20 Aug 2025 09:39:36 -0700 Subject: [PATCH] fix version parse Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index ab4953977..fe3473cb2 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -118,7 +118,7 @@ def _z3_version(): if os.path.exists(fn): with open(fn) as f: for line in f: - n = re.match(r"(.*), (.*), (.*), (.*)", 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 "?.?.?.?"