kimchi-bindings: adding proof-systems as source deps

MinaProtocol · Jan 24, 2025 · fa6f100 · fa6f100
1 parent 11a9b11
commit fa6f100
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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.