diff --git a/runtime/wasm/dune b/runtime/wasm/dune index 90422c0f9..0af9ba872 100644 --- a/runtime/wasm/dune +++ b/runtime/wasm/dune @@ -54,11 +54,6 @@ args (glob_files *.wat)) (action - (progn - (bash - "which wasm-merge > /dev/null || (echo 'Error: Binaryen tools not found in the PATH'; false)") - (bash - "wasm-merge --version | grep -q 'version \\(11[89]\\|1[2-9][0-9]\\)' || (echo 'Error: Binaryen version 118 or greater is currently required'; false)") (run wasm-merge -g @@ -71,7 +66,7 @@ --enable-bulk-memory %{read-lines:args} -o - %{target})))) + %{target}))) (rule (target args)