6.17.5. Contents of ISL
Installed Libraries:
libisl.[a,so]
6.17. ISL-0.14
ISL is a library for manipulating sets and relations of integer points bounded by linear constraints.
Approximate build time:
unknown
Required disk space:
unknown
6.17.1. Installation of ISL
6.17.2. 32-bit Installation
Prepare ISL for 32-bit compilation:
./configure --prefix=/usr \
--libdir=/usr/lib32 \
CC="gcc -m32" CXX="g++ -m32"
Compile the package:
make
![[Important]](../images/important.png)
Important
The test suite for ISL in this section is considered critical. Do not skip it under any circumstances.
Test the results:
make check
Install the package:
make install
Finally, move a misplaced file:
mkdir -pv /usr/share/gdb/auto-load/usr/lib32 mv -v /usr/lib32/*gdb.py /usr/share/gdb/auto-load/usr/lib32
Clean up the build directory before moving on to the next platform:
make clean
6.17.3. x32 ABI Installation
Prepare ISL for x32 ABI compilation:
./configure --prefix=/usr \
--libdir=/usr/libx32 \
CC="gcc -mx32" CXX="g++ -mx32"
Compile the package:
make
Important
The test suite for ISL in this section is considered critical. Do not skip it under any circumstances.
Test the results:
make check
Install the package:
make install
Finally, move a misplaced file:
mkdir -pv /usr/share/gdb/auto-load/usr/libx32 mv -v /usr/libx32/*gdb.py /usr/share/gdb/auto-load/usr/libx32
Clean up the build directory before moving on to the next platform:
make clean
6.17.4. 64-bit Installation
Prepare ISL for 64-bit compilation:
./configure --prefix=/usr
Compile the package:
make
Important
The test suite for ISL in this section is considered critical. Do not skip it under any circumstances.
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/*gdb.py /usr/share/gdb/auto-load/usr/lib