libjade-sys 0.0.2-pre.2

Rust bindings for libjade, a formally verified cryptographic library written in jasmin.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

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