Skip to content

Commit ad619e4

Browse files
committed
Workaround on Makefile side
1 parent f8fdb0e commit ad619e4

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

Makefile

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
.PHONY: clean
22

33
main: main.o libreproducer.rlib
4-
clang --target=riscv64-linux-gnu -flto=thin -march=rv64gc -mabi=lp64d -fuse-ld=lld -O2 --sysroot=/usr/riscv64-linux-gnu -o $@ $^
4+
clang --target=riscv64-linux-gnu -flto=thin -march=rv64gc -mabi=lp64d -fuse-ld=lld -O2 --sysroot=/usr/riscv64-linux-gnu -Wl,-plugin-opt=-target-abi=lp64d -o $@ $^
55

66
libreproducer.rlib: reproducer.rs rust-toolchain
7-
rustc --target riscv64gc-unknown-linux-gnu -Clinker-plugin-lto -Cpanic=abort --crate-type=rlib reproducer.rs
7+
rustc --target riscv64gc-unknown-linux-gnu -Clinker-plugin-lto -Cpanic=abort --crate-type=rlib reproducer.rs -Clink-args="-target-abi=lp64d"
88

99
main.o: main.c
1010
clang --target=riscv64-linux-gnu -march=rv64gc -mabi=lp64d -flto=thin -O2 -c $< -o $@

0 commit comments

Comments
 (0)