ppl-sys 0.3.2

Raw FFI bindings to the Parma Polyhedra Library (PPL).
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
26
27
28
29
30

[package]
name = "ppl-sys"
version = "0.3.2"
edition = "2024"
license = "GPL-3.0-or-later"
description = "Raw FFI bindings to the Parma Polyhedra Library (PPL)."
links = "ppl"
build = "build.rs"
readme = "README.md"
repository = "https://github.com/khoek/howzat"

keywords = ["ppl", "ffi", "bindings", "sys", "polyhedra"]
[lib]
name = "ppl_sys"
path = "src/lib.rs"

[features]
default = ["gmp"]
gmp = ["dep:gmp-mpfr-sys"]
i64 = []
pic = []
use-system-gmp = ["dep:gmp-mpfr-sys", "gmp-mpfr-sys/use-system-libs"]

[dependencies]
gmp-mpfr-sys = { version = "1", default-features = false, optional = true, features = ["c-no-tests", "cnodelete"] }

[build-dependencies]
syntheon = { version = "0.3" }

bindgen = "0.72"