5.12. ISL-0.12.1

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

5.12.1. Installation of ISL

Prepare ISL for compilation:

LDFLAGS="-Wl,-rpath,/cross-tools/lib" \
./configure --prefix=/cross-tools --disable-static \
    --with-gmp-prefix=/cross-tools

Compile the package:

make

Install the package:

make install

Details on this package are located in Section 10.12.2, “Contents of ISL.”