aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBlaž Hrastnik2022-02-25 08:24:20 +0000
committerBlaž Hrastnik2022-02-25 09:01:41 +0000
commit66637be700f3c50f2d00a7445bc1be52e1115f54 (patch)
treeb0672c8cdeaa238eeda003537b2e4143bcc1e028
parent8e07e1b8987e78535fb195560a4f12ca3d2be254 (diff)
Add an optimised release profile
-rw-r--r--Cargo.toml7
1 files changed, 7 insertions, 0 deletions
diff --git a/Cargo.toml b/Cargo.toml
index 36dcb09f..94b8f3f9 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -20,3 +20,10 @@ split-debuginfo = "unpacked"
[profile.release]
lto = "thin"
# debug = true
+
+[profile.opt]
+inherits = "release"
+lto = "fat"
+codegen-units = 1
+# strip = "debuginfo" # TODO: or strip = true
+opt-level = 3