From bf5e69755a5c69d6d391d31de472bbb25e0f7d71 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Tue, 7 Mar 2023 19:00:19 -0800 Subject: [PATCH] Fix build-dev cache (#2280) After updating our dependencies, running `cargo build-dev` always trigger the recompilation of a few dependencies as well as `kani-driver` and `kani-compiler`. This seems to be caused by [this change](https://github.com/bytecodealliance/rustix/pull/544) on `rustix` dependency. The problem here is that we share the same build folder for our tools and our binaries. But they build with slightly different cargo arguments, and this package decided to make their build script very sensitive to changes to their environment To overcome this, force `cargo build-dev` to use a different folder for the tools build. --- .cargo/config.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.cargo/config.toml b/.cargo/config.toml index 6d501b0c3154..9bb4e0808345 100644 --- a/.cargo/config.toml +++ b/.cargo/config.toml @@ -4,7 +4,7 @@ # Command aliases [alias] # Build kani with development configuration. -build-dev = "run -p build-kani -- build-dev" +build-dev = "run --target-dir target/tools -p build-kani -- build-dev" # Build kani release bundle. bundle = "run -p build-kani -- bundle"