diff options
| author | YAMAMOTO Takashi <yamamoto@midokura.com> | 2023-06-22 18:26:10 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-22 18:26:10 (GMT) |
| commit | d8f87cdf94a6533c5cf2d25e09e6fa3eb06720b9 (patch) | |
| tree | 9f7ed8410b45c165ef8d930890d863fd9a252110 /Tools/wasm | |
| parent | 13237a2da846efef9ce9b93fd4bcfebd49933568 (diff) | |
| download | cpython-d8f87cdf94a6533c5cf2d25e09e6fa3eb06720b9.zip cpython-d8f87cdf94a6533c5cf2d25e09e6fa3eb06720b9.tar.gz cpython-d8f87cdf94a6533c5cf2d25e09e6fa3eb06720b9.tar.bz2 | |
gh-101538: Add experimental wasi-threads build (#101537)
Co-authored-by: Brett Cannon <brett@python.org>
Co-authored-by: Erlend E. Aasland <erlend.aasland@protonmail.com>
Diffstat (limited to 'Tools/wasm')
| -rwxr-xr-x | Tools/wasm/wasm_build.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Tools/wasm/wasm_build.py b/Tools/wasm/wasm_build.py index 241a5d4..c994705 100755 --- a/Tools/wasm/wasm_build.py +++ b/Tools/wasm/wasm_build.py @@ -480,7 +480,6 @@ class BuildProfile: cmd.append(f"--{opt}-wasm-dynamic-linking") if self.pthreads is not None: - assert self.host.is_emscripten opt = "enable" if self.pthreads else "disable" cmd.append(f"--{opt}-wasm-pthreads") @@ -745,6 +744,13 @@ _profiles = [ support_level=SupportLevel.supported, host=Host.wasm32_wasi, ), + # wasm32-wasi-threads + BuildProfile( + "wasi-threads", + support_level=SupportLevel.experimental, + host=Host.wasm32_wasi, + pthreads=True, + ), # no SDK available yet # BuildProfile( # "wasm64-wasi", |