Skip to content

Commit c2ab937

Browse files
saulshanabrooksaulshanabrook
committed
Update egglog dependency and don't include bin
1 parent eef0bb4 commit c2ab937

2 files changed

Lines changed: 3 additions & 232 deletions

File tree

‎Cargo.lock‎

Lines changed: 1 addition & 230 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎Cargo.toml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,11 @@ crate-type = ["cdylib"]
1212
[dependencies]
1313
pyo3 = { version = "0.24.2", features = ["extension-module"] }
1414

15-
egglog = { git = "https://github.com/egraphs-good/egglog.git", branch = "main" }
15+
egglog = { git = "https://github.com/egraphs-good/egglog.git", branch = "main", default-features = false }
1616
# egglog = { path = "../egg-smol" }
1717
egglog-bridge = { git = "https://github.com/egraphs-good/egglog.git", branch = "main" }
1818
core-relations = { git = "https://github.com/egraphs-good/egglog.git", branch = "main" }
19-
egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", branch = "python" }
19+
egglog-experimental = { git = "https://github.com/egraphs-good/egglog-experimental", branch = "cli", default-features = false }
2020
egraph-serialize = { version = "0.2.0", features = ["serde", "graphviz"] }
2121
serde_json = "1.0.140"
2222
pyo3-log = "0.12.4"

0 commit comments

Comments
 (0)