8.22. ISL-0.25

ISL is a library for manipulating sets and relations of integer points bounded by linear constraints.

Approximate build time: 0.4 SBU
Required disk space: 5.6 MB

8.22.1. Installation of ISL

[Note]

Note

CFLAGS and CXXFLAGS can use the following flags for using ISL with Graphite loop optimizations: -fgraphite-identity -ftree-loop-distribution -floop-nest-optimize -floop-strip-mine -floop-interchange -floop-block -ftree-loop-distribute-patterns

Prepare ISL for compilation:

./configure --prefix=/usr    \
            --disable-static \
            --docdir=/usr/share/doc/isl-0.25

Compile the package and generate the HTML documentation:

make
make html

To test the results, issue:

make check

Install the package and its documentation:

make install
make install-html

8.22.2. Contents of ISL

Installed Libraries: libisl.so
Installed Directory: /usr/share/doc/isl-0.25

Short Descriptions

libisl

The Integer Set Library