在Linux系统上安装isl-0.18版本

作者：shims

1、下载：isl-0.18.tar.gz

2、解压：tar -zxvf isl-0.18.tar.gz

cd isl-0.18

3、配置：

./configure --prefix=/home/shims/install/isl --with-gmp-prefix=/home/shims/install/gmp

4、编译：make

5、检查：make check

============================================================================

Testsuite summary for isl 0.18

============================================================================

# TOTAL: 5

# PASS:  5

# SKIP:  0

# XFAIL: 0

# FAIL:  0

# XPASS: 0

# ERROR: 0

============================================================================

6、安装：make install

7、环境变量

vi ~/.bashrc

#ISL

export LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:/home/shims/install/isl/lib