diff options
Diffstat (limited to 'cli/Cargo.toml')
-rw-r--r-- | cli/Cargo.toml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/cli/Cargo.toml b/cli/Cargo.toml new file mode 100644 index 0000000..c02a484 --- /dev/null +++ b/cli/Cargo.toml | |||
@@ -0,0 +1,12 @@ | |||
1 | [package] | ||
2 | name = "diaphragm-cli" | ||
3 | version = "0.1.0" | ||
4 | authors = ["Minijackson <minijackson@riseup.net>"] | ||
5 | edition = "2021" | ||
6 | |||
7 | # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html | ||
8 | |||
9 | [dependencies] | ||
10 | diaphragm-core = { path = "../core" } | ||
11 | diaphragm-z3-solver = { path = "../z3-solver" } | ||
12 | diaphragm-cairo-renderer = { path = "../cairo-renderer" } | ||