>>>>> "sueboxian" == sueboxian  <[email protected]> writes:

sueboxian> Hi, I met a problem when building seL4test project with
sueboxian> riscv toolchain, with the float operations compiled as
sueboxian> soft-float. Here are my configuration commands:  python3
sueboxian> ~/bin/repo init -u

There seems to be a bug in gcc 12 that causes this too .... if you
rebuild your toolchain to gcc 14 it'll fix it.  The bug is that the
-march= line confuses GCC's attempts to work out where the gcc
specific runtime files are so it uses the generic ones (with hardware
double-floats).

To check, do
  riscv64-unknown-linux-gnu-g++ -mabi=lp64 -march=rv64imac_zifencei_zicsr 
--print-file-name=crtbegin.o

On gcc 12 I see:
 /opt/riscv/lib/gcc/riscv64-unknown-linux-gnu/12.2.0/crtbegin.o
which is incorrect;

On gcc 14 I see:
 /opt/riscv/lib/gcc/riscv64-unknown-linux-gnu/14.0.0/lib64/lp64/crtbegin.o
which is correct.

Peter C
-- 
Dr Peter Chubb                https://trustworthy.systems/
Trustworthy Systems Group                        CSE, UNSW
Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to