iwasm requires precompilation to get decent speed

This commit is contained in:
Frank Denis 2022-12-19 12:34:32 +01:00
parent 4acf8befe0
commit 65d56b1077

View File

@ -77,7 +77,12 @@ fi
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "iwasm" ]; then if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "iwasm" ]; then
if iwasm | grep -qi wasi >/dev/null 2>&1; then if iwasm | grep -qi wasi >/dev/null 2>&1; then
iwasm "$1" && exit 0 if wamrc --version; then
wamrc -o "${1}.o" "$1" >/dev/null &&
iwasm --dir=. "${1}.o" && exit 0
else
iwasm --dir=. "$1" && exit 0
fi
fi fi
fi fi