From: Zachary Ware <zach@python.org>
Date: Wed, 7 May 2025 20:48:41 +0000 (-0500)
Subject: wasi: Update the location of the 'config.site' file in the build script (GH-133611)
X-Git-Tag: v3.15.0a1~1854
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=14291faa52dfb97179ce747ec9ef91d97f5ab2ab;p=thirdparty%2FPython%2Fcpython.git

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 908daaf3a601..4683848ab5e6 100644
--- 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 5a6578a2d7a9..6af9b5f12cb8 100644
--- 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)