8.26.2. Contents of ISL
Installed Libraries:
libisl.so
Installed directory:
/usr/share/doc/isl-0.28
ISL is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints.
Prepare ISL for compilation:
./configure --prefix=/usr \
--disable-static \
--docdir=/usr/share/doc/isl-0.28
The meaning of the new configure options:
--docdir=/usr/share/doc/isl-0.28
This variable specifies the correct place for the documentation.
Compile the package:
make
To test the results, issue:
make check
Install the package and its documentation:
make install
install -vd /usr/share/doc/isl-0.28
install -m644 doc/{CodingStyle,manual.pdf,SubmittingPatches,user.pod} \
/usr/share/doc/isl-0.28
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