编译isl和cloog库出现：fatal error: gmp.h: No such file or directory

当编译is和cloog库时出现错误:fatal error: gmp.h: No such file or directory，这个错误很奇葩。

编译isl是需要依懒gmp库的，一般加上编译选项--with-gmp即可，但是我这次无论怎么操作，它一直提示这个错，加上--with-gmp-include写上路径依旧如此。反复试多次都不成，最后下了一个版本的isl，查看了里面的README文件，才明白有的版本把这个编译参数改成了--with-gmp-prefix。

所以，旧版本的isl编译选项为--with-gmp，新版本的isl编译参数为--with-gmp-prefix，即

旧版本形如：

./configure --prefix=/usr/local/isl-0.11.1 --with-gmp=/usr/local/gmp-5.0.2

新版本形如:

./configure --prefix=/usr/local/isl-0.11.1 --with-gmp-prefix=/usr/local/gmp-5.0.2