%general-entities; ]> isl &isl-version;
&isl-url;
 ISL-&isl-version; ISL <para>ISL is a library for manipulating sets and relations of integer points bounded by linear constraints.</para> <segmentedlist> <segtitle>&buildtime;</segtitle> <segtitle>&diskspace;</segtitle> <seglistitem> <seg>&isl-ch6-sbu;</seg> <seg>&isl-ch6-du;</seg> </seglistitem> </segmentedlist> </sect2> <sect2 role="installation"> <title>Installation of ISL 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 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 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 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 64-bit Installation Prepare ISL for 64-bit compilation: ./configure --prefix=/usr Compile the package: make 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 Contents of ISL Installed Libraries libisl.[a,so] Short Descriptions libisl The Integer Set Library. libisl