10.13.2. Contents of ISL
Installed libraries:
libisl.[a,so]
Installed directory:
/usr/include/isl
10.13. ISL-0.12.2
ISL is a library for manipulating sets and relations of integer points bounded by linear constraints.
10.13.1. Installation of ISL
Prepare ISL for compilation:
CC="gcc -isystem /usr/include" \ LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \ ./configure --prefix=/usr
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/lib mv -v /usr/lib/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib