wasi: Update the location of the 'config.site' file in the build script (GH-133611)

Also remove Tools/wasm from mypy CI workflow

diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
index 908daaf3a6019a5aaae8cc984cf3d319b5ad5cfe..4683848ab5e68dcf527b1b4a69e09ee7a4f64830 100644 (file)
--- a/.github/workflows/mypy.yml
+++ b/.github/workflows/mypy.yml
@@ -19,7 +19,6 @@ on:
       - "Tools/jit/**"
       - "Tools/peg_generator/**"
       - "Tools/requirements-dev.txt"
-      - "Tools/wasm/**"
   workflow_dispatch:
 
 permissions:
@@ -51,7 +50,6 @@ jobs:
           "Tools/clinic",
           "Tools/jit",
           "Tools/peg_generator",
-          "Tools/wasm",
         ]
     steps:
       - uses: actions/checkout@v4

diff --git a/Tools/wasm/wasi/__main__.py b/Tools/wasm/wasi/__main__.py
index 5a6578a2d7a9be67b252f75883ac3bbff3b4fa19..6af9b5f12cb8e4495f78bac20f7daa79e4f99757 100644 (file)
--- a/Tools/wasm/wasi/__main__.py
+++ b/Tools/wasm/wasi/__main__.py
@@ -206,7 +206,7 @@ def configure_wasi_python(context, working_dir):
                         "https://github.com/WebAssembly/wasi-sdk and/or "
                         "specify via $WASI_SDK_PATH or --wasi-sdk")
 
-    config_site = os.fsdecode(CHECKOUT / "Tools" / "wasm" / "config.site-wasm32-wasi")
+    config_site = os.fsdecode(CHECKOUT / "Tools" / "wasm" / "wasi" / "config.site-wasm32-wasi")
 
     wasi_build_dir = working_dir.relative_to(CHECKOUT)