diff options
| author | Ralf Jung <post@ralfj.de> | 2024-01-06 16:05:41 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-01-06 16:05:41 +0100 |
| commit | 643e7f08da77960aad4c807621de507c833f7759 (patch) | |
| tree | 708732c9062592552aec5f894f03204f07e54eab | |
| parent | d334a4bccfa9529c35be45e3e1a34bf875c01030 (diff) | |
| download | rust-643e7f08da77960aad4c807621de507c833f7759.tar.gz rust-643e7f08da77960aad4c807621de507c833f7759.zip | |
./miri build: also build tests, to avoid rebuilds later
| -rw-r--r-- | src/tools/miri/Cargo.lock | 1 | ||||
| -rw-r--r-- | src/tools/miri/Cargo.toml | 5 | ||||
| -rw-r--r-- | src/tools/miri/miri-script/src/util.rs | 4 |
3 files changed, 4 insertions, 6 deletions
diff --git a/src/tools/miri/Cargo.lock b/src/tools/miri/Cargo.lock index 62370206956..435c26c1942 100644 --- a/src/tools/miri/Cargo.lock +++ b/src/tools/miri/Cargo.lock @@ -542,7 +542,6 @@ dependencies = [ "rand", "regex", "rustc_version", - "serde", "smallvec", "ui_test", ] diff --git a/src/tools/miri/Cargo.toml b/src/tools/miri/Cargo.toml index f8e507a11b0..b2ee7568598 100644 --- a/src/tools/miri/Cargo.toml +++ b/src/tools/miri/Cargo.toml @@ -39,11 +39,8 @@ libloading = "0.8" colored = "2" ui_test = "0.21.1" rustc_version = "0.4" -# Features chosen to match those required by env_logger, to avoid rebuilds -regex = { version = "1.5.5", default-features = false, features = ["perf", "std"] } +regex = "1.5.5" lazy_static = "1.4.0" -# Require a version of serde without intransparent unreproducible binary blobs. -serde = { version = "1.0.185", features = ["derive"] } [package.metadata.rust-analyzer] # This crate uses #[feature(rustc_private)]. diff --git a/src/tools/miri/miri-script/src/util.rs b/src/tools/miri/miri-script/src/util.rs index c9bc55848df..420ecdab63c 100644 --- a/src/tools/miri/miri-script/src/util.rs +++ b/src/tools/miri/miri-script/src/util.rs @@ -111,9 +111,11 @@ impl MiriEnv { ) -> Result<()> { let MiriEnv { toolchain, cargo_extra_flags, .. } = self; let quiet_flag = if quiet { Some("--quiet") } else { None }; + // We build the tests as well, (a) to avoid having rebuilds when building the tests later + // and (b) to have more parallelism during the build of Miri and its tests. let mut cmd = cmd!( self.sh, - "cargo +{toolchain} build {cargo_extra_flags...} --manifest-path {manifest_path} {quiet_flag...} {args...}" + "cargo +{toolchain} build --bins --tests {cargo_extra_flags...} --manifest-path {manifest_path} {quiet_flag...} {args...}" ); cmd.set_quiet(quiet); cmd.run()?; |
