From 21e63dba8d839d942915d2929a143506fe2973c3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 23 Aug 2025 14:41:28 -0700 Subject: [PATCH] add print for version file Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index c993ac54f..e23868c9a 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -115,6 +115,7 @@ def _z3_version(): post = os.getenv('Z3_VERSION_SUFFIX', '') 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: