Hi Franz, I am exactly facing the same issue with gmp-5.0.4 with arm-none-eabi toolchain during ./configure. I have compiled (./configure, make, make install) the same successfully with arm-none-linux-gnueabi toolchain. Do you have any update on this? TIA, Ajit