Skip to content

Commit cc78e7e

Browse files
committed
Add comments about when to update the versions of WASI SDK and Wasmtime
1 parent f45b8dd commit cc78e7e

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

devcontainer/Dockerfile

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ RUN dnf -y --nodocs --setopt=install_weak_deps=False --disablerepo=fedora-cisco-
1616
dnf -y clean all
1717

1818

19+
# Update only after consulting with WASI support maintainers (see PEP 11).
1920
ENV WASI_SDK_VERSION=24
2021
ENV WASI_SDK_PATH=/opt/wasi-sdk
2122

@@ -29,8 +30,9 @@ RUN mkdir ${WASI_SDK_PATH} && \
2930
tar --strip-components 1 --directory ${WASI_SDK_PATH} --extract --gunzip
3031

3132

32-
ENV WASMTIME_HOME=/opt/wasmtime
33+
# Update as desired.
3334
ENV WASMTIME_VERSION=33.0.0
35+
ENV WASMTIME_HOME=/opt/wasmtime
3436

3537
RUN mkdir --parents ${WASMTIME_HOME} && \
3638
case "${TARGETARCH}" in \

0 commit comments

Comments
 (0)