lua-bindings/Cargo.toml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

[package]
name = "diaphragm-lua-bindings"
version = "0.1.0"
edition = "2021"

[lib]
crate-type = ["cdylib"]
name = "diaphragm"

[dependencies]
diaphragm-core = { path = "../core" }
diaphragm-z3-solver = { path = "../z3-solver" }
diaphragm-cairo-renderer = { path = "../cairo-renderer" }

mlua = { version = "0.8", features = ["lua54", "module"] }