Skip to content

Commit 85cb1fd

Browse files
committed
add wasip1 wrapper
1 parent 2644197 commit 85cb1fd

File tree

4 files changed

+12
-2
lines changed

4 files changed

+12
-2
lines changed

.cargo/config.toml

+2
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
[target.wasm32-wasip1]
2+
runner = ["./scripts/wasmtime-wrapper.sh"]

.github/workflows/ci.yml

+3-1
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,9 @@ jobs:
4040
rustup target add wasm32-wasip1
4141
curl -LO https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-25/wasi-sdk-25.0-x86_64-linux.deb
4242
sudo dpkg --install wasi-sdk-25.0-x86_64-linux.deb
43-
curl https://wasmtime.dev/install.sh -sSf | bash
43+
curl -LO https://github.com/bytecodealliance/wasmtime/releases/download/v13.0.0/wasmtime-v13.0.0-x86_64-linux.tar.xz
44+
tar xvf wasmtime-v13.0.0-x86_64-linux.tar.xz
45+
echo `pwd`/wasmtime-v13.0.0-x86_64-linux >> $GITHUB_PATH
4446
4547
- uses: Swatinem/rust-cache@v2
4648
with:

.github/workflows/release.yml

+3-1
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,9 @@ jobs:
4242
rustup target add wasm32-wasip1
4343
curl -LO https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-25/wasi-sdk-25.0-x86_64-linux.deb
4444
sudo dpkg --install wasi-sdk-25.0-x86_64-linux.deb
45-
curl https://wasmtime.dev/install.sh -sSf | bash
45+
curl -LO https://github.com/bytecodealliance/wasmtime/releases/download/v13.0.0/wasmtime-v13.0.0-x86_64-linux.tar.xz
46+
tar xvf wasmtime-v13.0.0-x86_64-linux.tar.xz
47+
echo `pwd`/wasmtime-v13.0.0-x86_64-linux >> $GITHUB_PATH
4648
4749
- uses: Swatinem/rust-cache@v2
4850
with:

scripts/wasmtime-wrapper.sh

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
#!/bin/bash
2+
SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
3+
cd $SCRIPT_DIR/..
4+
wasmtime run --max-wasm-stack=4194304 --env INSTA_WORKSPACE_ROOT=/ --mapdir "/::$(pwd)" -- "$@"

0 commit comments

Comments
 (0)