Hello,
I had the same issue and solved it by installing gcc-riscv64-unknown-elf
instead of gcc-riscv64-linux-gnu.
Hope that helps,
Indan
On 2023-07-13 09:48, suebox...@gmail.com wrote:
Hi, I met a problem when building seL4test project with riscv
toolchain, with the float operations compiled as soft-float. Here are
my configuration commands:
python3 ~/bin/repo init -u https://github.com/seL4/sel4test-manifest
python3 ~/bin/repo sync
mkdir build-riscv
cd build-riscv
../init-build.sh -DPLATFORM=qemu-riscv-virt
-DCROSS_COMPILER_PREFIX=riscv64-unknown-linux-gnu- -DSIMULATION=TRUE
ninja
The terminal reported "can't link double-float modules with soft-float
modules" errors when compiling fpu.c, and thus stopped compilation.
I have tried rebuilding the glibc version riscv toolchain, with
multilib enabled. But it doesn't work.
I also checked the terminal, it says that I'm compiling with
march=riscv64imac_zicsr_zifencei -mabi=lp64, which as the best of my
knowledge, means compiling the float as soft-float.
I want to know whether I lossed something. I would appreciate for any
help.
Thanks in advance.
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
