Blame SOURCES/libsodium-1.0.18/test/default/wasi-test-wrapper.sh
|
rdobuilder |
775784 |
#! /bin/sh
|
|
rdobuilder |
775784 |
|
|
rdobuilder |
775784 |
MAX_MEMORY_TESTS="67108864"
|
|
rdobuilder |
775784 |
|
|
rdobuilder |
775784 |
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wasmtime" ]; then
|
|
rdobuilder |
775784 |
if command -v wasmtime >/dev/null; then
|
|
rdobuilder |
775784 |
wasmtime -o --dir=. "$1" && exit 0
|
|
rdobuilder |
775784 |
fi
|
|
rdobuilder |
775784 |
fi
|
|
rdobuilder |
775784 |
|
|
rdobuilder |
775784 |
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "lucet" ]; then
|
|
rdobuilder |
775784 |
if command -v lucetc-wasi >/dev/null && command -v lucet-wasi >/dev/null; then
|
|
rdobuilder |
775784 |
lucetc-wasi \
|
|
rdobuilder |
775784 |
--reserved-size "${MAX_MEMORY_TESTS}" \
|
|
rdobuilder |
775784 |
-o "${1}.so" --opt-level fast "$1" &&
|
|
rdobuilder |
775784 |
lucet-wasi --dir=.:. --max-heap-size "${MAX_MEMORY_TESTS}" "${1}.so" &&
|
|
rdobuilder |
775784 |
rm -f "${1}.so" && exit 0
|
|
rdobuilder |
775784 |
fi
|
|
rdobuilder |
775784 |
fi
|
|
rdobuilder |
775784 |
|
|
rdobuilder |
775784 |
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wasmer" ]; then
|
|
rdobuilder |
775784 |
if command -v wasmer >/dev/null; then
|
|
rdobuilder |
775784 |
wasmer run "$1" --backend "${WASMER_BACKEND:-cranelift}" --dir=. && exit 0
|
|
rdobuilder |
775784 |
fi
|
|
rdobuilder |
775784 |
fi
|
|
rdobuilder |
775784 |
|
|
rdobuilder |
775784 |
echo "WebAssembly runtime failed" >&2
|
|
rdobuilder |
775784 |
exit 1
|