Skip to content

Commit

Permalink
fix(Risc-V toolchain): don't hardcode absolute path in /opt, assume i…
Browse files Browse the repository at this point in the history
…nstallation added RISC-V toolchain in $PATH
  • Loading branch information
mratsim committed Jun 26, 2024
1 parent 546ab19 commit faccbd7
Show file tree
Hide file tree
Showing 4 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion provers/risc0/builder/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ impl Pipeline for Risc0Pipeline {
])
.cc_compiler("gcc".into())
.c_flags(&[
"/opt/riscv/bin/riscv32-unknown-elf-gcc",
"riscv32-unknown-elf-gcc",
"-march=rv32im",
"-mstrict-align",
"-falign-functions=2",
Expand Down
2 changes: 1 addition & 1 deletion provers/risc0/guest/src/mem.rs
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ use std::{
/// This implementation is designed to be used in ZkVM where we cross-compile Rust code with C
/// due to the dependency of c-kzg. This modification also requires env var:
/// $ CC="gcc"
/// $ CC_riscv32im-risc0-zkvm-elf="/opt/riscv/bin/riscv32-unknown-elf-gcc"
/// $ CC_riscv32im-risc0-zkvm-elf="riscv32-unknown-elf-gcc"
/// which is set in the build pipeline

#[no_mangle]
Expand Down
2 changes: 1 addition & 1 deletion provers/sp1/builder/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ impl Pipeline for Sp1Pipeline {
])
.cc_compiler("gcc".into())
.c_flags(&[
"/opt/riscv/bin/riscv32-unknown-elf-gcc",
"riscv32-unknown-elf-gcc",
"-march=rv32im",
"-mstrict-align",
"-falign-functions=2",
Expand Down
2 changes: 1 addition & 1 deletion provers/sp1/guest/src/mem.rs
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ use std::{
/// This implementation is designed to be used in ZkVM where we cross-compile Rust code with C
/// due to the dependency of c-kzg. This modification also requires env var:
/// $ CC="gcc"
/// $ CC_riscv32im-risc0-zkvm-elf="/opt/riscv/bin/riscv32-unknown-elf-gcc"
/// $ CC_riscv32im-risc0-zkvm-elf="riscv32-unknown-elf-gcc"
/// which is set in the build pipeline

#[no_mangle]
Expand Down

0 comments on commit faccbd7

Please sign in to comment.