fix up cargo.toml

egraphs-good · Oct 23, 2024 · e013b11 · e013b11
1 parent be78fd1
commit e013b11
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 25 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -22,15 +22,14 @@ smallvec = "1.11.1"
 
 syn = { version = "2.0", features = ["full", "extra-traits"] }
 # currently using the uwplse/bril fork of bril, on eggcc-main
-bril2json = { path = "../bril/bril-rs/bril2json" }
-brilirs = { path = "../bril/brilirs" }
-bril-rs = { path = "../bril/bril-rs" }
-brilift = { path = "../bril/brilift" }
-rs2bril = { path = "../bril/bril-rs/rs2bril",features = [
+bril2json = { git = "https://github.com/uwplse/bril", rev = "a48c5e18575aa738e8d08ff483ee23d6c2735107" }
+brilirs = { git = "https://github.com/uwplse/bril", rev = "a48c5e18575aa738e8d08ff483ee23d6c2735107" }
+bril-rs = { git = "https://github.com/uwplse/bril", rev = "a48c5e18575aa738e8d08ff483ee23d6c2735107" }
+brilift = { git = "https://github.com/uwplse/bril", rev = "a48c5e18575aa738e8d08ff483ee23d6c2735107" }
+rs2bril = { git = "https://github.com/uwplse/bril", rev = "a48c5e18575aa738e8d08ff483ee23d6c2735107" ,features = [
   "import",
 ] }
-brillvm = { path = "../bril/bril-rs/brillvm" }
-
+brillvm = { git = "https://github.com/uwplse/bril", rev = "a48c5e18575aa738e8d08ff483ee23d6c2735107" }
 
 ordered-float = { version = "3.7" }
 serde_json = "1.0.103"

diff --git a/dag_in_context/Cargo.toml b/dag_in_context/Cargo.toml
@@ -12,7 +12,7 @@ strum_macros = "0.25"
 main_error = "0.1.2"
 thiserror = "1.0"
 egraph-serialize = "0.2.0"
-bril-rs = { git = "https://github.com/uwplse/bril", rev = "7ac4c001115aee8e39e7e0e5ad6e23bdb9c0ab76" }
+bril-rs = { git = "https://github.com/uwplse/bril", rev = "a48c5e18575aa738e8d08ff483ee23d6c2735107" }
 indexmap = "2.0.0"
 rustc-hash = "1.1.0"
 ordered-float = "3"