diff --git a/docker/pdo_base.dockerfile b/docker/pdo_base.dockerfile index 3bd48715..5f7701aa 100644 --- a/docker/pdo_base.dockerfile +++ b/docker/pdo_base.dockerfile @@ -70,9 +70,8 @@ RUN --mount=type=cache,target=/var/cache/apt,sharing=locked \ # ----------------------------------------------------------------- # Install WASI toolkit # ----------------------------------------------------------------- -##ARG WASI_VERSION=12 -ARG WASI_VERSION=21 -ARG WASI_PACKAGE="wasi-sdk_${WASI_VERSION}.0_amd64.deb" +ARG WASI_VERSION=24 +ARG WASI_PACKAGE="wasi-sdk-${WASI_VERSION}.0-x86_64-linux.deb" WORKDIR /tmp RUN wget -q https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-${WASI_VERSION}/${WASI_PACKAGE} \ diff --git a/interpreters/wasm-micro-runtime b/interpreters/wasm-micro-runtime index 78be2215..3f5e2bd2 160000 --- a/interpreters/wasm-micro-runtime +++ b/interpreters/wasm-micro-runtime @@ -1 +1 @@ -Subproject commit 78be22159489c691f9162d4f09d9e5307fbb0851 +Subproject commit 3f5e2bd23bcb8eb3767c8e17789c6a2e3e912a08