%general-entities; ]> ISL Prepare ISL for compilation: CC="gcc -isystem /usr/include" \ LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \ ./configure --prefix=/usr Compile the package: make 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 Installed libraries Installed directory libisl.[a,so] /usr/include/isl Short Descriptions libisl The Integer Set Library. libisl