[package]
name = "lean-sys"
version = "0.0.7"
authors = [
    "Jad Ghalayini <jeg74@cl.cam.ac.uk>",
    "Mario Carneiro <mcarneir@andrew.cmu.edu>",
    "Zhu Yifan <i@zhuyi.fan>"
]
edition = "2021"
description = "Bindings to Lean 4's C API"
repository = "https://github.com/digama0/lean-sys"
license = "MIT OR Apache-2.0"
keywords = ["lean", "math", "bindings"]
categories = ["external-ffi-bindings"]
links = "leanshared"

[features]
small_allocator = []
extern = []
static = []
default = ["small_allocator", "static"]

[dependencies]
libc = { version = "0.2", default-features = false }
memoffset = "0.9"
static_assertions = "1.1.0"
parking_lot = "0.12"

[dev-dependencies]
rand = "0.8"
rand_xoshiro = "0.6"