GMP failure

[Torbjorn Granlund]

Yuri Matiyasevich <yumat at pdmi.ras.ru> writes:

  During installation of  mpfr I got:
  
  checking if gmp.h version and libgmp version are the same... (5.1.2/5.0.2)

I am sure the MPFR people can help you with this.  Why don't you ask
them?

The GMP people cannot provide support for packages that use GMP.

  root at Arb-2:~/gmp-5.1.2# make check > make_check_eng
  /bin/bash: line 5: 27709 Aborted                 (core dumped) ${dir}$tst
  t-io_raw.c:102: GNU MP assertion failed: ! ferror(fp)
  /bin/bash: line 5: 28321 Aborted                 (core dumped) ${dir}$tst
  make[4]: *** [check-TESTS] Error 1
  make[3]: *** [check-am] Error 2
  make[2]: *** [check-recursive] Error 1
  make[1]: *** [check-recursive] Error 1
  make: *** [check] Error 2
  
I already replied about this.

-- 
Torbjörn