kevin/libsodium
1
Fork 0
mirror of https://github.com/jedisct1/libsodium.git synced 2024-12-19 18:15:18 -07:00
Code Releases Wiki Activity

Make the WASI backend configurable

Browse Source
This commit is contained in:
Frank Denis 2019-04-23 01:23:41 +02:00
parent 2277e7f4f0
commit ff88392d8c
1 changed files with 17 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,14 +1,22 @@
#! /bin/sh
if command -v wasmtime >/dev/null; then
wasmtime -o --dir=. "$1" && exit 0
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wasmtime" ]; then
if command -v wasmtime >/dev/null; then
wasmtime -o --dir=. "$1" && exit 0
fi
fi
if command -v wasmer >/dev/null; then
wasmer run "$1" --dir=. && exit 0
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wasmer" ]; then
if command -v wasmer >/dev/null; then
wasmer run "$1" --backend "${WASMER_BACKEND:-cranelift}" --dir=. && exit 0
fi
fi
if command -v lucetc-wasi >/dev/null && command -v lucet-wasi >/dev/null; then
lucetc-wasi \
--min-reserved-size "128MiB" \
-o "${1}.so" --opt-level best "$1" &&
lucet-wasi --dir=.:. "$1.so" && exit 0
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "lucet" ]; then
if command -v lucetc-wasi >/dev/null && command -v lucet-wasi >/dev/null; then
lucetc-wasi \
--min-reserved-size "128MiB" \
-o "${1}.so" --opt-level best "$1" &&
lucet-wasi --dir=.:. "$1.so" && exit 0
fi
fi
echo "WebAssembly runtime failed" >&2
exit 1