forked from hydro-project/hydro
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCargo.toml
57 lines (50 loc) · 1.38 KB
/
Cargo.toml
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
[workspace]
members = [
"benches",
"hydro_cli",
"hydro_cli_examples",
"hydroflow",
"hydroflow_cli_integration",
"hydroflow_datalog",
"hydroflow_datalog_core",
"hydroflow_lang",
"hydroflow_macro",
"hydroflow_plus",
"hydroflow_plus_test",
"hydroflow_plus_test_macro",
"lattices",
"multiplatform_test",
"pusherator",
"relalg",
"stageleft",
"stageleft_macro",
"stageleft_test",
"stageleft_test_macro",
"stageleft_tool",
"topolotree",
"variadics",
"website_playground",
]
resolver = "2"
[profile.release]
strip = true # Strip symbols from the binary
# Previously this was "z" to minimize docker binary size while sacrificing performance. But "z"
# doesn't make things that much smaller, `strip` is far more important for binary size. Use "3" for
# performance.
opt-level = 3
lto = "fat"
# There is only around 19GB of free space on the github free default runners
# without stripping the debug info, the build artefacts take up about 19GB
# with stripping the debug info, they take up about 5GB, so in ci we can use this profile to
# avoid running out of disk space.
[profile.cidev]
inherits = "dev"
strip = "debuginfo"
[profile.profile]
inherits = "release"
debug = 2
strip = "none"
[profile.dev.package.website_playground]
debug-assertions = false
[profile.release.package.website_playground]
opt-level = "s"