]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
Simplify setting CLI options for WASI builds (GH-141769)
authorBrett Cannon <brett@python.org>
Wed, 19 Nov 2025 23:57:44 +0000 (15:57 -0800)
committerGitHub <noreply@github.com>
Wed, 19 Nov 2025 23:57:44 +0000 (15:57 -0800)
commitca1e86f9d963dc298d9a486d5230b1b3a9f32245
tree9626e4c5c5ef4cb3b2bce1380125ce11c0b75834
parentb4344f7020f066e83a113e0d4f9343cec4e56a1e
Simplify setting CLI options for WASI builds (GH-141769)

This introduces a Wasmtime configuration file to get some CLI options out of the code for easier manipulation. It also allows for easier tweaking after the Makefile is generated.

As well, cut back on the flexibility of specifying HOSTRUNNER for simpler code. The flexibility was never used and so it didn't make sense to keep it around.
Tools/wasm/wasi/__main__.py
Tools/wasm/wasi/wasmtime.toml [new file with mode: 0644]