From 8293be859f0b8eb4c2b818f245c912864e79bde0 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Thu, 14 Dec 2023 02:05:33 +0000 Subject: [PATCH] Disable Python compilation cache during build (#7052) * Disable Python compilation cache during build * Fix var name --- scripts/mk_util.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 0728c2cb727..90271321bb4 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -2994,9 +2994,16 @@ def cp_z3py_to_build(): for f in files: if f.endswith('.pyc'): rmf(os.path.join(root, f)) + # We do not want a second copy of the compiled files in the system-wide cache, + # so we disable it temporarily. This is an issue with recent versions of MacOS + # where XCode's Python has a cache, but the build scripts don't have access to + # it (e.g. during OPAM package installation). + pycache_prefix_before = sys.pycache_prefix + sys.pycache_prefix = None # Compile Z3Py files if compileall.compile_dir(z3py_src, force=1) != 1: raise MKException("failed to compile Z3Py sources") + sys.pycache_prefix = pycache_prefix_before if is_verbose: print("Generated python bytecode") # Copy sources to build