> Yes, the problem is known. LTO prevents configure from
> [...]
Many thanks for your quick answer.
How about updating the web page? From:
Issues with GMP 6.1.2:
[No issues found yet.]
to:
Issues with GMP 6.1.2:
- "make check" fails test 't-get_d_2exp' if building with LTO.
Best regards,
rdiez