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