[package]
authors.workspace = true
categories = ["api-bindings", "development-tools::build-utils"]
description = "Lean 4 toolchain discovery, fingerprinting, symbol allowlist, and build-script helpers reusable by downstream embedders' own build.rs scripts."
documentation = "https://docs.rs/lean-toolchain"
edition.workspace = true
include = ["Cargo.toml", "LICENSE-APACHE", "LICENSE-MIT", "README.md", "build.rs", "src/**/*.rs", "tests/**/*.rs"]
keywords = ["build", "fingerprint", "lean", "lean4", "toolchain"]
license.workspace = true
name = "lean-toolchain"
readme = "README.md"
repository.workspace = true
rust-version.workspace = true
version.workspace = true

[dependencies]
lean-rs-sys = { version = "0.1.2", path = "../lean-rs-sys", default-features = false, features = ["metadata-only"] }
serde_json = { workspace = true }
sha2 = { workspace = true }

[build-dependencies]
sha2 = { workspace = true }

[dev-dependencies]
lean-rs-sys = { workspace = true }

[lints]
workspace = true

[lib]
doctest = false

[package.metadata.docs.rs]
default-target = "x86_64-unknown-linux-gnu"
targets = []
