|
23 | 23 | BUILD_DIR = CROSS_BUILD_DIR / "build" |
24 | 24 |
|
25 | 25 | LOCAL_SETUP = CHECKOUT / "Modules" / "Setup.local" |
26 | | -LOCAL_SETUP_MARKER = "# Generated by Tools/wasm/wasi.py\n".encode("utf-8") |
| 26 | +LOCAL_SETUP_MARKER = ("# Generated by Tools/wasm/wasi .\n" |
| 27 | + "# Required to statically build extension modules.").encode("utf-8") |
27 | 28 |
|
28 | 29 | WASMTIME_VAR_NAME = "WASMTIME" |
29 | 30 | WASMTIME_HOST_RUNNER_VAR = f"{{{WASMTIME_VAR_NAME}}}" |
@@ -141,9 +142,12 @@ def build_python_is_pydebug(): |
141 | 142 | def configure_build_python(context, working_dir): |
142 | 143 | """Configure the build/host Python.""" |
143 | 144 | if LOCAL_SETUP.exists(): |
144 | | - print(f"👍 {LOCAL_SETUP} exists ...") |
| 145 | + if LOCAL_SETUP.read_bytes() == LOCAL_SETUP_MARKER: |
| 146 | + print(f"👍 {LOCAL_SETUP} exists ...") |
| 147 | + else: |
| 148 | + print(f"⚠️ {LOCAL_SETUP} exists, but has unexpected contents") |
145 | 149 | else: |
146 | | - print(f"📝 Touching {LOCAL_SETUP} ...") |
| 150 | + print(f"📝 Creating {LOCAL_SETUP} ...") |
147 | 151 | LOCAL_SETUP.write_bytes(LOCAL_SETUP_MARKER) |
148 | 152 |
|
149 | 153 | configure = [os.path.relpath(CHECKOUT / 'configure', working_dir)] |
@@ -297,9 +301,8 @@ def clean_contents(context): |
297 | 301 | shutil.rmtree(CROSS_BUILD_DIR) |
298 | 302 |
|
299 | 303 | if LOCAL_SETUP.exists(): |
300 | | - with LOCAL_SETUP.open("rb") as file: |
301 | | - if file.read(len(LOCAL_SETUP_MARKER)) == LOCAL_SETUP_MARKER: |
302 | | - print(f"🧹 Deleting generated {LOCAL_SETUP} ...") |
| 304 | + if LOCAL_SETUP.read_bytes() == LOCAL_SETUP_MARKER: |
| 305 | + print(f"🧹 Deleting generated {LOCAL_SETUP} ...") |
303 | 306 |
|
304 | 307 |
|
305 | 308 | def main(): |
|
0 commit comments