安装gcc6.3 ，在编译安装isl时，之前的gmp，mpfr，mpc都安装成功了。在../configure --prefix=/usr/local/isl-0.18 --with-gmp=/usr/local/gmp-6.1.2时报错configure: error: gmp.h header not found。求问该怎么办
什么系统，如果是 mac 要装 xcode 组件：xcode-select --install
ubuntu18