search

bootlin / toolchains-builder

http://toolchains.free-electrons.com
89 stars 26 forks source link

Missing mpc.h in half(?) of the toolchains #68

Open andy-shev opened 1 month ago

andy-shev commented 1 month ago

Neither aarch64 nor powerpc64 (and I believe all flavours of them) are properly compiled / build, can't be used:

/opt/aarch64--glibc--stable-2024.02-1/bin/../lib/gcc/aarch64-buildroot-linux-gnu/12.3.0/plugin/include/builtins.h:23:10: fatal error: mpc.h: No such file or directory
  23 | #include <mpc.h>
     |          ^~~~~~~

I'm wondering how it have been tested, if tested at all...

FWIW, arm7 works good on the same kernel source tree.

andy-shev commented 1 month ago

FWIW, installing libmpc-dev (or analogue, depending on the distribution) "fixes" the issue, but it doesn't seem the right fix as host library headers is not what cross-compilation should use.