[Bug bootstrap/84554] New: make check: FAIL: tversion: ERROR! The versions of gmp.h (5.0.5) and libgmp (4.3.1) do not match.

[kdevel at vogtner dot de]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84554

            Bug ID: 84554
           Summary: make check: FAIL: tversion: ERROR! The versions of
                    gmp.h (5.0.5) and libgmp (4.3.1) do not match.
           Product: gcc
           Version: 7.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
          Assignee: unassigned at gcc dot gnu.org
          Reporter: kdevel at vogtner dot de
  Target Milestone: ---

OS: centos 6.9 (X86_64)
expect: installed
dejagnu: NOT installed

N=3
langs=ada,c,c++,fortran,go,objc,obj-c++

tar xf $src/gcc-7.3.0.tar.xz
cd gcc-7.3.0
tar xfj $src/gmp-5.0.5.tar.bz2
mv gmp-5.0.5 gmp
tar xfz $src/mpc-1.0.1.tar.gz
mv mpc-1.0.1 mpc
tar xfj $src/mpfr-3.1.5.tar.bz2
mv mpfr-3.1.5 mpfr
tar xfj $src/isl-0.18.tar.bz2
mv isl-0.18 isl
cd ..
mkdir gcc-objdir
cd gcc-objdir
../gcc-7.3.0/configure --prefix=$inst --enable-languages=$langs

make -j$N bootstrap
make check

RESULT:

make[4]: Entering directory `/.../bld-7.3.0/gcc-objdir/mpfr/tests'
make[5]: Entering directory `/.../bld-7.3.0/gcc-objdir/mpfr/tests'
FAIL: tversion                                                   
PASS: tinternals
PASS: tinits

:

PASS: tzeta 
PASS: tzeta_ui
============================================================================
Testsuite summary for MPFR 3.1.5 
============================================================================
# TOTAL: 160
# PASS:  158
# SKIP:  1
# XFAIL: 0
# FAIL:  1
# XPASS: 0
# ERROR: 0
============================================================================
See tests/test-suite.log
============================================================================
make[5]: *** [test-suite.log] Fehler 1
make[5]: Leaving directory `/....bld-7.3.0/gcc-objdir/mpfr/tests'
make[4]: *** [check-TESTS] Fehler 2
make[4]: Leaving directory `/.../bld-7.3.0/gcc-objdir/mpfr/tests'
make[3]: *** [check-am] Fehler 2
make[3]: Leaving directory `/.../bld-7.3.0/gcc-objdir/mpfr/tests'
make[2]: *** [check-recursive] Fehler 1
make[2]: Leaving directory `/.../bld-7.3.0/gcc-objdir/mpfr'
make[1]: *** [check-mpfr] Fehler 2
make[1]: Leaving directory `/.../bld-7.3.0/gcc-objdir'
make: *** [do-check] Fehler 2


test-suite.log
--------------

======================================
   MPFR 3.1.5: tests/test-suite.log
======================================

# TOTAL: 160
# PASS:  158
# SKIP:  1
# XFAIL: 0
# FAIL:  1
# XPASS: 0
# ERROR: 0

.. contents:: :depth: 2

FAIL: tversion
==============

ERROR! The versions of gmp.h (5.0.5) and libgmp (4.3.1) do not match.
The possible causes are:
  * A bad configuration in your include/library search paths.
  * An inconsistency in the include/library search paths of
    your development environment; an example:
      http://gcc.gnu.org/ml/gcc-help/2010-11/msg00359.html
  * GMP has been upgraded after the first "make check".
    In such a case, try again after a "make clean".
  * A new or non-standard version naming is used in GMP.
    In this case, a patch may already be available on the 
    MPFR web site.  Otherwise please report the problem.
In the first two cases, this may lead to errors, in particular with MPFR.
If some other tests fail, please solve that problem first.
FAIL tversion (exit status: 1)

SKIP: tget_set_d64
==================

SKIP tget_set_d64 (exit status: 77)