isl
1.1、isl简介

islInteger Set Library

isl官网:http://isl.gforge.inria.fr

1.2、通过包管理器安装isl
操作系统包管理器安装命令
macOSHomeBrewbrew install isl
GNU/LinuxLinuxBrewbrew install isl
aptsudo apt-get install -y isl
CentOSyumsudo yum install -y isl
dnfsudo dnf install -y isl
openSUSEzyppersudo zypper install -y isl-devel
Alpine Linuxapksudo apk add isl

Arch Linux

ArcoLinux

Manjaro Linux

pacmansudo pacman -Syyu --noconfirm
sudo pacman -S    --noconfirm isl
Gentoo LinuxPortagesudo emerge isl
1.3、通过编译源码安装isl

step1、安装依赖

下载时cURL
解压时tarxz
编译时POSIX shGNU CoreUtilsGNU makeGCC ( gcc )   | LLVM / Clang
运行时
  • glibc ( libc.sold-linux-x86-64.so )
  • GNU GMP ( libgmp.so )

step2、使用curl命令下载isl源码包 (

curl -LO http://isl.gforge.inria.fr/isl-0.21.tar.xz

step3、使用tar解压isl源码包

tar vxf isl-0.21.tar.xz

step4、进入isl-0.21目录,并查看它的内容

step5、配置、编译、安装

./configure --prefix=/usr && make && sudo make install
1.5、isl中包含的头文件
1.6、isl中包含的库文件
  • libisl.{a | so | dylib}