10.23.2. Contents of ISL
Installed libraries:
libisl.[a,so]
Installed directory:
/usr/include/isl
10.23. ISL-0.12.2 64 Bit
ISL is a library for manipulating sets and relations of integer points bounded by linear constraints.
10.23.1. Installation of ISL
Prepare ISL for compilation:
CC="gcc -isystem /usr/include ${BUILD64}" \
LDFLAGS="-Wl,-rpath-link,/usr/lib64:/lib64 ${BUILD64}" \
./configure --prefix=/usr --libdir=/usr/lib64
Compile the package:
make
![[Important]](../images/important.png)
Important
The test suite for ISL is considered critical. Do not skip it under any circumstance.
Test the results:
make check
Install the package:
make install
Finally, move a misplaced file:
mkdir -pv /usr/share/gdb/auto-load/usr/lib64 mv -v /usr/lib64/*gdb.py /usr/share/gdb/auto-load/usr/lib64