mimi/Cargo.toml at main · ontonous/mimi · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
[package]
name = "mimi"
version = "0.1.8-dev"
edition = "2021"
rust-version = "1.75"
authors = ["ontonous"]
description = "Mimi language reference implementation (Rust)"
license = "Apache-2.0"
homepage = "https://github.com/ontonous/mimi"
repository = "https://github.com/ontonous/mimi"
documentation = "https://github.com/ontonous/mimi#readme"

[lib]
name = "mimi"
path = "src/lib.rs"

[[bin]]
name = "mimi"
path = "src/main.rs"

[dependencies]
clap = { version = "4.5", features = ["derive"] }
toml = "0.8"
serde = { version = "1", features = ["derive"] }
serde_json = "1"
libloading = "0.8"
z3 = "0.20.0"
inkwell = { version = "0.9", features = ["llvm18-1"] }
mimispec = "0.1.0"
semver = "1.0"
libc = "0.2"
thiserror = "2"
libffi = { version = "4.1", features = ["system"] }
either = "1.16.0"
regex = "1"
blake3 = "1"

[features]
default = []
no_std = []
# Enable deliberate UB test symbols (test_segfault / test_abort) outside cargo test.
test_ub_symbols = []

[build-dependencies]
# build.rs is a no-op (runtime is pure Rust since v0.15)

[dev-dependencies]
proptest = "1"
criterion = { version = "0.5", features = ["html_reports"] }

[[bench]]
name = "parser"
path = "benches/parser.rs"
harness = false

[[bench]]
name = "codegen"
path = "benches/codegen.rs"
harness = false

[[bench]]
name = "interp"
path = "benches/interp.rs"
harness = false

[profile.release]
lto = "fat"
codegen-units = 1
strip = true
panic = "abort"