cheng/libsodium
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Backport wavm support

Browse Source
This commit is contained in:
Frank Denis 2020-06-04 10:53:29 +02:00
parent 6bae891702
commit 824c8cdf69
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
test/default/wasi-test-wrapper.sh
View File

@ -2,6 +2,16 @@
MAX_MEMORY_TESTS="67108864" MAX_MEMORY_TESTS="67108864"
if command -v wasm-opt >/dev/null; then
wasm-opt -O4 -o "${1}.tmp" "$1" && mv -f "${1}.tmp" "$1"
fi
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wavm" ]; then
if command -v wavm >/dev/null; then
wavm run --abi=wasi "$1" && exit 0
fi
fi
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wasmtime" ]; then if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wasmtime" ]; then
if command -v wasmtime >/dev/null; then if command -v wasmtime >/dev/null; then
wasmtime -o --dir=. "$1" && exit 0 wasmtime -o --dir=. "$1" && exit 0