关于编译MPFR遇到的GMP版本问题

起因

今天买了一台DigtalOcean的服务器，准备自己折腾玩儿。之前做一个项目时也买过，但是赶时间，就用apt-get直接装的GCC，版本并不是最新的。如今GCC 6.0都快出稳定版了，而Debian自动安装的版本竟然仍旧是4.9，强迫症不能忍，决定装最新的稳定版——5.3。

经过

事情并不顺利。GCC需要三个依赖库，分别是GMP，MPFR和MPC。GMP的安装算是一帆风顺，问题出在了MPFR的安装上。make check的时候，出现了

ERROR! The versions of gmp.h (6.1.0) and libgmp (6.0.0) do not match.

酱紫的错误。

简单粗暴的提示，版本不匹配。我刚装的GMP是6.1.0的，这个libgmp的版本是如何奇怪地降了点儿，并不知道。我以为是刚用apt-get装GCC 4.9时装上的（但是想一想GCC才到4.9，GMP怎么可能到6.0呢？更何况GCC安装在先，GMP安装在后啊），又重装了一遍GMP，问题依旧。

解决

依旧简单粗暴，换装GMP 6.0.0，没问题。估计是官方更新最新版时的一个小bug。