2018-02-03 09:51:06 +00:00
|
|
|
[workspace]
|
2019-10-17 20:01:53 +00:00
|
|
|
members = [ "crates/*", "xtask/" ]
|
2018-08-15 21:23:22 +00:00
|
|
|
|
2019-10-11 08:06:28 +00:00
|
|
|
[profile.dev]
|
2020-08-18 15:44:51 +00:00
|
|
|
# Disabling debug info speeds up builds a bunch,
|
2019-11-11 07:11:46 +00:00
|
|
|
# and we don't rely on it for debugging that much.
|
|
|
|
debug = 0
|
2019-10-11 08:06:28 +00:00
|
|
|
|
2020-08-18 15:44:51 +00:00
|
|
|
[profile.dev.package]
|
|
|
|
# These speed up local tests.
|
|
|
|
rowan.opt-level = 3
|
|
|
|
rustc-hash.opt-level = 3
|
|
|
|
smol_str.opt-level = 3
|
|
|
|
text-size.opt-level = 3
|
|
|
|
# This speeds up `cargo xtask dist`.
|
|
|
|
miniz_oxide.opt-level = 3
|
|
|
|
|
2018-08-15 21:23:22 +00:00
|
|
|
[profile.release]
|
2018-12-20 08:53:29 +00:00
|
|
|
incremental = true
|
2020-08-18 15:44:51 +00:00
|
|
|
debug = 0 # Set this to 1 or 2 to get more useful backtraces in debugger.
|
2020-01-31 19:49:44 +00:00
|
|
|
|
2018-12-30 08:09:17 +00:00
|
|
|
[patch.'crates-io']
|
2020-01-11 21:15:27 +00:00
|
|
|
# rowan = { path = "../rowan" }
|
2020-02-15 17:00:14 +00:00
|
|
|
|
|
|
|
[patch.'https://github.com/rust-lang/chalk.git']
|
|
|
|
# chalk-solve = { path = "../chalk/chalk-solve" }
|
|
|
|
# chalk-rust-ir = { path = "../chalk/chalk-rust-ir" }
|
|
|
|
# chalk-ir = { path = "../chalk/chalk-ir" }
|