mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #1103 - RalfJung:no-recompile, r=RalfJung

Browse Source 
avoid recompiling Miri on install
This commit is contained in:
bors 2019-12-06 07:27:43 +00:00
commit b84d77be4f
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Cargo.lock generated
View File

@ -339,6 +339,7 @@ dependencies = [
"rand 0.7.2 (registry+https://github.com/rust-lang/crates.io-index)",
"rustc-workspace-hack 1.0.0 (registry+https://github.com/rust-lang/crates.io-index)",
"rustc_version 0.2.3 (registry+https://github.com/rust-lang/crates.io-index)",
"serde 1.0.103 (registry+https://github.com/rust-lang/crates.io-index)",
"shell-escape 0.1.4 (registry+https://github.com/rust-lang/crates.io-index)",
"vergen 3.0.4 (registry+https://github.com/rust-lang/crates.io-index)",
]

3
Cargo.toml
View File

@ -46,9 +46,10 @@ rand = "0.7"
# for more information.
rustc-workspace-hack = "1.0.0"
# Depend on num-traits with default features to avoid having to rebuild
# Some extra dependency for better feature control to avoid having to rebuild
# between "cargo build" and "cargo intall".
num-traits = "*"
serde = { version = "*", features = ["derive"] }
[build-dependencies]
vergen = "3"