Commitcc78e7e

committed

Add comments about when to update the versions of WASI SDK and Wasmtime

1 parentf45b8dd commitcc78e7eCopy full SHA for cc78e7e

File tree

-1

lines changed

-1

lines changed

Lines changed: 3 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -16,6 +16,7 @@ RUN dnf -y --nodocs --setopt=install_weak_deps=False --disablerepo=fedora-cisco-`
`16`	`16`	`dnf -y clean all`
`17`	`17`
`18`	`18`
	`19`	`+# Update only after consulting with WASI support maintainers (see PEP 11).`
`19`	`20`	`ENV WASI_SDK_VERSION=24`
`20`	`21`	`ENV WASI_SDK_PATH=/opt/wasi-sdk`
`21`	`22`
`@@ -29,8 +30,9 @@ RUN mkdir ${WASI_SDK_PATH} && \`
`29`	`30`	`tar --strip-components 1 --directory ${WASI_SDK_PATH} --extract --gunzip`
`30`	`31`
`31`	`32`
`32`		`-ENV WASMTIME_HOME=/opt/wasmtime`
	`33`	`+# Update as desired.`
`33`	`34`	`ENV WASMTIME_VERSION=33.0.0`
	`35`	`+ENV WASMTIME_HOME=/opt/wasmtime`
`34`	`36`
`35`	`37`	`RUN mkdir --parents ${WASMTIME_HOME} && \`
`36`	`38`	`case"${TARGETARCH}" in \`

Comments

(0)