mirror of
https://github.com/jedisct1/libsodium.git
synced 2024-12-20 02:25:14 -07:00
Try Lucet as a last option, after wasmer, due to its unstable interface
This commit is contained in:
parent
701475c3d2
commit
c638d25583
@ -8,6 +8,12 @@ if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wasmtime" ]; then
|
|||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
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 [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "lucet" ]; then
|
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "lucet" ]; then
|
||||||
if command -v lucetc-wasi >/dev/null && command -v lucet-wasi >/dev/null; then
|
if command -v lucetc-wasi >/dev/null && command -v lucet-wasi >/dev/null; then
|
||||||
lucetc-wasi \
|
lucetc-wasi \
|
||||||
@ -18,11 +24,5 @@ if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "lucet" ]; then
|
|||||||
fi
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
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
|
|
||||||
|
|
||||||
echo "WebAssembly runtime failed" >&2
|
echo "WebAssembly runtime failed" >&2
|
||||||
exit 1
|
exit 1
|
||||||
|
Loading…
Reference in New Issue
Block a user