From bee45a3f09f9d9c852f8aafb1d1407a5164943ac Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?= <jerome.vouillon@gmail.com>
Date: Tue, 14 Jan 2025 19:31:24 +0100
Subject: [PATCH] WIP

---
 runtime/wasm/dune | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

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)