Strip RISC-V binary (#475)

This reduces the produced RISC-V binary size of the fibonacci example from 27KB down to 6KB.
a16z · Oct 11, 2024 · 8f28f25 · 8f28f25
1 parent 31f65a4
commit 8f28f25
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/jolt-core/src/host/mod.rs b/jolt-core/src/host/mod.rs
@@ -114,6 +114,10 @@ impl Program {
  "passes=lower-atomic",
  "-C",
  "panic=abort",
+ "-C",
+ "strip=symbols",
+ "-C",
+ "opt-level=z",
  ];
 
  let toolchain = if self.std {