From 116e1eca8bb45a758fae8c8f0b388813033933e7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 24 Aug 2025 15:02:50 -0700 Subject: [PATCH] print dirs Signed-off-by: Nikolaj Bjorner --- src/api/python/setup.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/api/python/setup.py b/src/api/python/setup.py index 8db621da9..d18b96e0c 100644 --- a/src/api/python/setup.py +++ b/src/api/python/setup.py @@ -116,6 +116,9 @@ def _z3_version(): print("z3_version", "release dir", RELEASE_DIR) if RELEASE_DIR is None: dirs = [SRC_DIR, ROOT_DIR, SRC_DIR_REPO, SRC_DIR_LOCAL, os.path.join(ROOT_DIR, '..', '..')] + for d in dirs: + if os.path.exists(d): + print(d, ": ", os.listdir(d)) fns = [os.path.join(d, 'VERSION.txt') for d in dirs] for fn in fns: print("loading version file", fn, "exists", os.path.exists(fn))