blob: 6443ecd969df4b4bc606691bde5e924e259a393b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
[package]
authors = ["Miri Team"]
license = "MIT OR Apache-2.0"
name = "genmc-sys"
version = "0.1.0"
edition = "2024"
[dependencies]
cxx = { version = "1.0.173", features = ["c++20"] }
[build-dependencies]
cc = "1.2.16"
cmake = "0.1.54"
git2 = { version = "0.20.2", default-features = false, features = ["https"] }
cxx-build = { version = "1.0.173", features = ["parallel"] }
|
