mirror of
https://github.com/jedisct1/libsodium.git
synced 2026-08-25 08:37:13 +09:00
Frank Denis
cec56d867f
If <min-reserved-size> is less than <max-heap-size>, the code will still assume that only <min-reserved-size> bytes are accessible and will trap even if the runtime could allocate more.. So, `max` should always be <= `min`. Naming options is hard.
29 lines
807 B
Bash
Executable File
29 lines
807 B
Bash
Executable File
#! /bin/sh
|
|
|
|
MAX_MEMORY_MB="128"
|
|
|
|
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wasmtime" ]; then
|
|
if command -v wasmtime >/dev/null; then
|
|
wasmtime -o --dir=. "$1" && exit 0
|
|
fi
|
|
fi
|
|
|
|
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 "${MAX_MEMORY_MB}MiB" \
|
|
-o "${1}.so" --opt-level best "$1" &&
|
|
lucet-wasi --dir=.:. --max-heap-size "${MAX_MEMORY_MB}MiB" "${1}.so" &&
|
|
rm -f "${1}.so" && exit 0
|
|
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
|
|
exit 1
|