https://github.com/python/cpython/commit/14291faa52dfb97179ce747ec9ef91d97f5ab2ab
commit: 14291faa52dfb97179ce747ec9ef91d97f5ab2ab
branch: main
author: Zachary Ware <z...@python.org>
committer: zware <zachary.w...@gmail.com>
date: 2025-05-07T20:48:41Z
summary:
wasi: Update the location of the 'config.site' file in the build script
(GH-133611)
Also remove Tools/wasm from mypy CI workflow
files:
M .github/workflows/mypy.yml
M Tools/wasm/wasi/__main__.py
diff --git a/.github/workflows/mypy.yml b/.github/workflows/mypy.yml
index 908daaf3a6019a..4683848ab5e68d 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 5a6578a2d7a9be..6af9b5f12cb8e4 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)
_______________________________________________
Python-checkins mailing list -- python-checkins@python.org
To unsubscribe send an email to python-checkins-le...@python.org
https://mail.python.org/mailman3/lists/python-checkins.python.org/
Member address: arch...@mail-archive.com
