Remove WAVM

This is very sad, but what used to be the best WebAssembly runtime
now appears to be abandoned.
This commit is contained in:
Frank Denis
2023-07-30 01:02:57 +02:00
parent 50c2f39b38
commit d2ac311e0e
-6
View File
@@ -28,12 +28,6 @@ if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wasmtime" ]; then
fi
fi
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "wavm" ]; then
if command -v wavm >/dev/null; then
wavm run --abi=wasi "$1" && exit 0
fi
fi
if [ -z "$WASI_RUNTIME" ] || [ "$WASI_RUNTIME" = "bun" ]; then
if echo | bun help >/dev/null 2>&1; then
{