error during "make tune"

Torbjörn Granlund tg at
Mon Jun 10 08:46:49 UTC 2019

"K. I. Yusaku" <k.i.yusaku85 at> writes:

  The "configure" and "make" finished without fail.
  But "make tune" stopped with the attached log file.
  The config.log is also attached for system information.
  Please give me some advice about this error.

Your (huge) message does not seem to contain any "tune" troubles.

Please try to be terse but complete when reporting bugs.

Please encrypt, key id 0xC8601622

More information about the gmp-bugs mailing list