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

Check for iwasm existence before trying to use it

Browse Source
This commit is contained in:
Frank Denis 2023-02-07 18:28:10 +01:00
parent f71fed879c
commit d95e71db2e
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -76,6 +76,7 @@ if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wasm3" ]; then
fi fi
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "iwasm" ]; then if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "iwasm" ]; then
if command -v iwasm >/dev/null; then
if iwasm | grep -qi wasi >/dev/null 2>&1; then if iwasm | grep -qi wasi >/dev/null 2>&1; then
if wamrc --version; then if wamrc --version; then
wamrc -o "${1}.o" "$1" >/dev/null && wamrc -o "${1}.o" "$1" >/dev/null &&
@ -84,6 +85,7 @@ if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "iwasm" ]; then
iwasm --dir=. "$1" && exit 0 iwasm --dir=. "$1" && exit 0
fi fi
fi fi
fi
fi fi
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wazero" ]; then if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wazero" ]; then