BUILD_DIR = CROSS_BUILD_DIR / "build"
LOCAL_SETUP = CHECKOUT / "Modules" / "Setup.local"
-LOCAL_SETUP_MARKER = "# Generated by Tools/wasm/wasi.py\n".encode("utf-8")
+LOCAL_SETUP_MARKER = ("# Generated by Tools/wasm/wasi .\n"
+ "# Required to statically build extension modules.").encode("utf-8")
WASMTIME_VAR_NAME = "WASMTIME"
WASMTIME_HOST_RUNNER_VAR = f"{{{WASMTIME_VAR_NAME}}}"
def configure_build_python(context, working_dir):
"""Configure the build/host Python."""
if LOCAL_SETUP.exists():
- print(f"๐ {LOCAL_SETUP} exists ...")
+ if LOCAL_SETUP.read_bytes() == LOCAL_SETUP_MARKER:
+ print(f"๐ {LOCAL_SETUP} exists ...")
+ else:
+ print(f"โ ๏ธ {LOCAL_SETUP} exists, but has unexpected contents")
else:
- print(f"๐ Touching {LOCAL_SETUP} ...")
+ print(f"๐ Creating {LOCAL_SETUP} ...")
LOCAL_SETUP.write_bytes(LOCAL_SETUP_MARKER)
configure = [os.path.relpath(CHECKOUT / 'configure', working_dir)]
shutil.rmtree(CROSS_BUILD_DIR)
if LOCAL_SETUP.exists():
- with LOCAL_SETUP.open("rb") as file:
- if file.read(len(LOCAL_SETUP_MARKER)) == LOCAL_SETUP_MARKER:
- print(f"๐งน Deleting generated {LOCAL_SETUP} ...")
+ if LOCAL_SETUP.read_bytes() == LOCAL_SETUP_MARKER:
+ print(f"๐งน Deleting generated {LOCAL_SETUP} ...")
def main():