Skip to content

Commit

Permalink
[difftest] fix build
Browse files Browse the repository at this point in the history
  • Loading branch information
FanShupei committed Jul 22, 2024
1 parent 6365bff commit 4f52b6d
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion difftest/spike_rs/build.rs
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,14 @@ fn main() {
println!("cargo::rustc-link-lib=static=riscv");
println!("cargo::rustc-link-lib=static=softfloat");
println!("cargo::rustc-link-lib=static=disasm");
println!("cargo::rustc-link-lib=static=fesvr");
println!("cargo::rustc-link-lib=static=fdt");

println!("cargo::rustc-link-search=native={}", env::var("SPIKE_INTERFACES_LIB_DIR").expect("SPIKE_INTERFACES_LIB_DIR should be set"));
println!("cargo::rustc-link-lib=static=spike_interfaces");

println!("cargo::rerun-if-env-changed=VERILATED_LIB_DIR");
println!("cargo::rerun-if-env-changed=SPIKE_LIB_DIR");
println!("cargo::rerun-if-env-changed=SPIKE_INTERFACES_LIB_DIR");

println!("cargo::rustc-link-lib=stdc++");
}

0 comments on commit 4f52b6d

Please sign in to comment.