From fa6f100ab1a145c01d590ebf495de1642f7f7807 Mon Sep 17 00:00:00 2001
From: Danny Willems <be.danny.willems@gmail.com>
Date: Fri, 24 Jan 2025 20:02:45 +0100
Subject: [PATCH] kimchi-bindings: adding proof-systems as source deps

---
 src/lib/crypto/kimchi_bindings/js/node_js/dune | 1 +
 src/lib/crypto/kimchi_bindings/js/web/dune     | 1 +
 src/lib/crypto/kimchi_bindings/stubs/dune      | 2 ++
 3 files changed, 4 insertions(+)

diff --git a/src/lib/crypto/kimchi_bindings/js/node_js/dune b/src/lib/crypto/kimchi_bindings/js/node_js/dune
index b65fdcfb373..65f4b9102eb 100644
--- a/src/lib/crypto/kimchi_bindings/js/node_js/dune
+++ b/src/lib/crypto/kimchi_bindings/js/node_js/dune
@@ -22,6 +22,7 @@
   ../../../../../../Cargo.toml
   ../../../../../../Cargo.lock
   (source_tree ../../../mina-rust-dependencies)
+  (source_tree ../../../proof-systems)
   (source_tree ../../../../../.cargo)
   ../../wasm/Cargo.toml
   (source_tree ../../wasm/src))
diff --git a/src/lib/crypto/kimchi_bindings/js/web/dune b/src/lib/crypto/kimchi_bindings/js/web/dune
index 4f5774b8f4d..dff7897eee9 100644
--- a/src/lib/crypto/kimchi_bindings/js/web/dune
+++ b/src/lib/crypto/kimchi_bindings/js/web/dune
@@ -22,6 +22,7 @@
   ../../../../../../Cargo.toml
   ../../../../../../Cargo.lock
   (source_tree ../../../mina-rust-dependencies)
+  (source_tree ../../../proof-systems)
   (source_tree ../../../../../.cargo)
   ../../wasm/Cargo.toml
   (source_tree ../../wasm/src))
diff --git a/src/lib/crypto/kimchi_bindings/stubs/dune b/src/lib/crypto/kimchi_bindings/stubs/dune
index 52ecd612e20..9eab39cbdc2 100644
--- a/src/lib/crypto/kimchi_bindings/stubs/dune
+++ b/src/lib/crypto/kimchi_bindings/stubs/dune
@@ -43,6 +43,7 @@
   (source_tree src)
   (source_tree ../../../../../.cargo)
   (source_tree ../../mina-rust-dependencies)
+  (source_tree ../../proof-systems)
   ;; Required as Cargo asks for all members of the workspace.
   ;; This is temporary until we move into proof-systems
   ../wasm/Cargo.toml
@@ -156,6 +157,7 @@
   ../../../../../rust-toolchain.toml
   ../../../../.ocamlformat
   (source_tree ../../mina-rust-dependencies)
+  (source_tree ../../proof-systems)
   (source_tree src)
   (source_tree ../../../../../.cargo)
   ;; Required as Cargo asks for all members of the workspace.