diff options
| author | Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com> | 2023-07-17 22:31:17 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-17 22:31:17 (GMT) |
| commit | e903c16a6c3fe0adb594f93acc56e719590c4790 (patch) | |
| tree | cd0157d07fe1e1aa75d948825a53d38a9f5e0796 /Tools | |
| parent | 941ac1e19df176b68537f3d952a70f0e52659bf6 (diff) | |
| download | cpython-e903c16a6c3fe0adb594f93acc56e719590c4790.zip cpython-e903c16a6c3fe0adb594f93acc56e719590c4790.tar.gz cpython-e903c16a6c3fe0adb594f93acc56e719590c4790.tar.bz2 | |
[3.12] gh-101538: Add experimental wasi-threads build (GH-101537) (#106834)
(cherry picked from commit d8f87cdf94a6533c5cf2d25e09e6fa3eb06720b9)
Co-authored-by: YAMAMOTO Takashi <yamamoto@midokura.com>
Co-authored-by: Brett Cannon <brett@python.org>
Co-authored-by: Erlend E. Aasland <erlend.aasland@protonmail.com>
Diffstat (limited to 'Tools')
| -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", |