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, sueboxian@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.