From bfbc5cc3ffffb2d91522dafdec8823819fd8a81c Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Thu, 4 Jan 2024 13:29:41 +0100
Subject: [PATCH] Revert "[interpreter] Add dune dependencies (#1717)"

This reverts commit 44ed035ed0460ab1fc3f9ea9ebe180683f04791a.
---
 interpreter/dune-project | 4 +---
 interpreter/wasm.opam    | 2 --
 2 files changed, 1 insertion(+), 5 deletions(-)

diff --git a/interpreter/dune-project b/interpreter/dune-project
index 559dd40b0e..8392b339f5 100644
--- a/interpreter/dune-project
+++ b/interpreter/dune-project
@@ -20,6 +20,4 @@
   (tags (wasm webassembly spec interpreter))
   (depends
     (ocaml (>= 4.12))
-    (menhir (>= 20220210))
-    (js_of_ocaml (>= 5.5.2))
-    (js_of_ocaml-ppx (>= 5.5.2))))
+    (menhir (>= 20220210))))
diff --git a/interpreter/wasm.opam b/interpreter/wasm.opam
index 4350c1a814..ad8b60af23 100644
--- a/interpreter/wasm.opam
+++ b/interpreter/wasm.opam
@@ -12,8 +12,6 @@ depends: [
   "dune" {>= "2.9"}
   "ocaml" {>= "4.12"}
   "menhir" {>= "20220210"}
-  "js_of_ocaml" {>= "5.5.2"}
-  "js_of_ocaml-ppx" {>= "5.5.2"}
   "odoc" {with-doc}
 ]
 build: [