CreuSAT/Cargo.toml at master · sarsko/CreuSAT · GitHub

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
31
32
33
34
35
36
37
38
39
40
41
# unworkspacified because support currently is shoddy

[workspace]
members = [
    "CreuSAT",
    "Robinson",
    "Friday",
    "JigSAT",
    "Scratch",
    "tests",
    "NewDB",
]
resolver = "2"

[workspace.dependencies]
creusot-std = { git = "https://github.com/creusot-rs/creusot/", package = "creusot-std", version = "0.11.0-dev" }
# creusot-std.path = "../creusot/creusot-std"
[profile.release]
debug = false
#split-debuginfo = ?
debug-assertions = false
overflow-checks = false
lto = "fat"
codegen-units = 1
opt-level = 3
panic = "abort"
incremental = false
rpath = false

[profile.bench]
debug = false
lto = true
opt-level = 3

[profile.test]
debug = false
lto = true
opt-level = 3

[workspace.metadata.creusot]
default-members = ["CreuSAT", "Robinson", "Friday"]