From be22111df5282423c4fe87ecafb837801829b7ee Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 24 Aug 2025 14:49:56 -0700 Subject: [PATCH] more output 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 089cd65af..8db621da9 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -118,7 +118,7 @@ def _z3_version(): dirs = [SRC_DIR, ROOT_DIR, SRC_DIR_REPO, SRC_DIR_LOCAL, os.path.join(ROOT_DIR, '..', '..')] fns = [os.path.join(d, 'VERSION.txt') for d in dirs] for fn in fns: - print("loading version file", fn) + print("loading version file", fn, "exists", os.path.exists(fn)) if os.path.exists(fn): with open(fn) as f: for line in f: