configure: error: gmp.h header not found
- 编译isl是需要依懒gmp库的,旧版本的isl编译选项为--with-gmp,新版本的isl编译参数为--with-gmp-prefix
- 注意此处
--with-gmp-prefix
如果报configure: error: gmp.h header not found
错误,则需要更改为--with-gmp-include=abs_dir_path
加上--with-gmp-lib=abs_dir_path。
./configure --prefix=/tools/gcc-7.1.0_isl-0.16.1 --with-gmp=/tools/gcc-7.1.0_gmp-6.1.0
改为:
./configure --prefix=/tools/gcc-7.1.0_isl-0.16.1 --with-gmp-prefix=/tools/gcc-7.1.0_gmp-6.1.0