chore: git ashlang dep

zkmopro · Oct 21, 2024 · f30efe4 · f30efe4
1 parent 6ac2742
commit f30efe4
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 213 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/mopro-ffi/Cargo.toml b/mopro-ffi/Cargo.toml
@@ -46,7 +46,8 @@ thiserror = "=1.0.39"
 color-eyre = "=0.6.2"
 
 # ashlang deps
-ashlang = { path = "../../ashlang/ashlang", optional = true }
+#ashlang = { path = "../../ashlang/ashlang", optional = true }
+ashlang = { git = "https://github.com/chancehudson/ashlang.git", optional = true, default-features = false, features = ["spartan-prover", "serde"] }
 #ashlang = { version = "0.1.0", optional = true, default-features = false, features = ["spartan-prover"] }
 #scalarff = { path = "../../scalarff", optional = true }