10.17. ISL-0.17.1 32 Bit Libraries

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

10.17.1. Installation of ISL

Prepare ISL for compilation:

CC="gcc -isystem /usr/include ${BUILD32}" \
LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib ${BUILD32}" \
./configure \
    --prefix=/usr \

Compile the package:


Test the results:

make check

Install the package:

make install

Finally, move a misplaced file:

mkdir -pv /usr/share/gdb/auto-load/usr/lib
mv -v /usr/lib/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib

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