@@ -2,8 +2,6 @@ FROM debian:buster
2
2
3
3
ARG WASI_SDK_VERSION_MAJOR=14
4
4
ARG WASI_SDK_VERSION_MINOR=0
5
- ARG BINARYEN_VERSION=108
6
- ARG WASI_VFS_VERSION=0.1.1
7
5
ARG WASI_PRESET_ARGS_VERSION=0.1.1
8
6
9
7
ENV WASI_SDK_PATH="/opt/wasi-sdk"
@@ -22,26 +20,7 @@ RUN set -eux pipefail; \
22
20
dpkg -i "$wasi_sdk_deb" ; \
23
21
rm -f "$wasi_sdk_deb" ;
24
22
25
- ENV BINARYEN_DIR="/opt/binaryen"
26
23
RUN set -eux pipefail; \
27
- binaryen_tarball="binaryen-version_${BINARYEN_VERSION}-x86_64-linux.tar.gz" ; \
28
- binaryen_url="https://github.com/WebAssembly/binaryen/releases/download/version_${BINARYEN_VERSION}/${binaryen_tarball}" ; \
29
- curl -L "$binaryen_url" | tar xfz -; \
30
- ln -fs /binaryen-version_${BINARYEN_VERSION} /opt/binaryen;
31
-
32
- ENV PATH="$BINARYEN_DIR/bin:$PATH"
33
-
34
- ENV LIB_WASI_VFS_A="/opt/wasi-vfs/lib/libwasi_vfs.a"
35
- RUN set -eux pipefail; \
36
- lib_wasi_vfs_url="https://github.com/kateinoigakukun/wasi-vfs/releases/download/v${WASI_VFS_VERSION}/libwasi_vfs-wasm32-unknown-unknown.zip" ; \
37
- curl -LO "$lib_wasi_vfs_url" ; \
38
- unzip libwasi_vfs-wasm32-unknown-unknown.zip; \
39
- mkdir -p /opt/wasi-vfs/lib; \
40
- mv libwasi_vfs.a $LIB_WASI_VFS_A; \
41
- wasi_vfs_cli_url="https://github.com/kateinoigakukun/wasi-vfs/releases/download/v${WASI_VFS_VERSION}/wasi-vfs-cli-x86_64-unknown-linux-gnu.zip" ; \
42
- curl -LO "$wasi_vfs_cli_url" ; \
43
- unzip wasi-vfs-cli-x86_64-unknown-linux-gnu.zip; \
44
- mv wasi-vfs /usr/local/bin/wasi-vfs; \
45
24
wasi_preset_args_url="https://github.com/kateinoigakukun/wasi-preset-args/releases/download/v${WASI_PRESET_ARGS_VERSION}/wasi-preset-args-x86_64-unknown-linux-gnu.zip" ; \
46
25
curl -LO "$wasi_preset_args_url" ; \
47
26
unzip wasi-preset-args-x86_64-unknown-linux-gnu.zip; \
0 commit comments