Workaround for rustc issue rust-lang/rust#111888

See: rust-lang/rust#111888 (comment)
viperproject · Aug 11, 2023 · a8f47c4 · a8f47c4
1 parent 7099e4c
commit a8f47c4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -36,6 +36,6 @@ debug = 1
 [profile.release]
 # Enable after fixing https://github.com/viperproject/prusti-dev/issues/383
 # lto = true
-# codegen-units = 1
+codegen-units = 1
 # Enable when profiling
 # debug = true
diff --git a/prusti-contracts/Cargo.toml b/prusti-contracts/Cargo.toml
@@ -10,3 +10,6 @@ resolver = "2"
 # This should not be built as part of Prusti (instead being build by `prusti-contracts-build`)
 # It would require setting the `build.rustc-wrapper` in a `../.cargo/config.toml` correctly
 # But it's unclear how to figure out if we're doing a debug or release build there
+
+[profile.release]
+codegen-units = 1