[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"] }

[features]
check_only = []
