ISL

About

ISL is a library for manipulating sets and relations of integer points bounded by linear constraints. It depends on the GNU MP (GMP) library.

Versions available

Important

ISL is included in the embedded third-party library in all GCC builds available in the software repository. See GNU Compiler Collection (GCC).

If you want to add ISL support to the baseline version of GCC, there are environment modules that provide access to the ISL installation. To list those modules execute on login node:

module available isl

Then select the required version and gain access to its installation by executing:

module load isl/0/latest-gcc

You need to load the corresponding GNU MP (GMP) module, since ISL installation depends on the installation of GMP. For example:

module load gmp/6/latest-gcc

Build recipe

If you are interested in the recipe we followed to compile the programming code of ISL, you can find it here:

https://gitlab.discoverer.bg/vkolev/recipes/-/tree/main/isl

Getting help

See Getting help