[package]
name = "libjade-sys"
version.workspace = true
edition.workspace = true
authors.workspace = true
license.workspace = true
homepage.workspace = true
repository.workspace = true
readme.workspace = true
description = "Rust bindings for libjade, a formally verified cryptographic library written in jasmin."

[dependencies]

[build-dependencies]
cc = { version = "1.0", features = ["parallel"] }
libcrux-platform = { version = "=0.0.2-pre.2", path = "../platform" }

[target.'cfg(not(windows))'.build-dependencies]
bindgen = { version = "0.69", optional = true }

[dev-dependencies]
pretty_env_logger = "0.5"

[features]
bindings = ["bindgen"]