Skip to content

Commit e77e9c9

Browse files
Use the new feature resolver in Cargo
With the old (default) resolver, you need to pass the `polonius-souffle` feature to each workspace crate individually when compiling.
1 parent 644f9df commit e77e9c9

File tree

4 files changed

+4
-0
lines changed

4 files changed

+4
-0
lines changed

Cargo.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@ repository = "https://github.com/rust-lang-nursery/polonius"
88
readme = "README.md"
99
keywords = ["compiler", "borrowck", "datalog"]
1010
edition = "2018"
11+
resolver = "2"
1112

1213
[dev-dependencies]
1314
diff = "0.1.0"

polonius-engine/Cargo.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ license = "Apache-2.0/MIT"
77
repository = "https://github.com/rust-lang-nursery/polonius"
88
readme = "README.md"
99
keywords = ["compiler", "borrowck", "datalog"]
10+
resolver = "2"
1011

1112
[dependencies]
1213
datafrog = "2.0.0"

polonius-facts/Cargo.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
name = "polonius-facts"
33
version = "0.1.0"
44
edition = "2018"
5+
resolver = "2"
56

67
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
78

polonius-souffle/Cargo.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ repository = "https://github.com/rust-lang-nursery/polonius"
99
readme = "README.md"
1010
keywords = ["compiler", "borrowck", "datalog"]
1111
build = "build.rs"
12+
resolver = "2"
1213

1314
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
1415

0 commit comments

Comments
 (0)