diff options
| author | Brett Cannon <brett@python.org> | 2023-11-29 16:18:25 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-29 16:18:25 -0800 |
| commit | 37589d76bbe97b0bf13ffafb8dd6aab361a0209a (patch) | |
| tree | de04bb7486b199b19a32bc12b089fcf6cfe6cee6 /.devcontainer | |
| parent | d4a6229afe10d7e5a9a59bf9472f36d7698988db (diff) | |
| download | cpython-37589d76bbe97b0bf13ffafb8dd6aab361a0209a.tar.gz cpython-37589d76bbe97b0bf13ffafb8dd6aab361a0209a.zip | |
GH-103065, GH-106704, GH-105253: Provide a `Tools/wasm/wasi.py` script to simplify doing a WASI build (GH-112473)
Diffstat (limited to '.devcontainer')
| -rw-r--r-- | .devcontainer/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 590d7834b2b..9f808af38e6 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -6,7 +6,7 @@ ENV WASI_SDK_VERSION=20 ENV WASI_SDK_PATH=/opt/wasi-sdk ENV WASMTIME_HOME=/opt/wasmtime -ENV WASMTIME_VERSION=9.0.1 +ENV WASMTIME_VERSION=14.0.4 ENV WASMTIME_CPU_ARCH=x86_64 RUN dnf -y --nodocs --setopt=install_weak_deps=False install /usr/bin/{blurb,clang,curl,git,ln,tar,xz} 'dnf-command(builddep)' && \ |