Linux From Scratch - Version ml-12.4-79-multilib

Chapter 8. Installing Basic System Software

8.25. ISL-0.27

ISL is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints.

Approximate build time: 0.1 SBU
Required disk space: 20 MB

8.25.1. Installation of ISL

Prepare ISL for compilation: 

./configure --prefix=/usr    \
            --disable-static \
            --docdir=/usr/share/doc/isl-0.27

The meaning of the new configure options:

--docdir=/usr/share/doc/isl-0.27

This variable specifies the correct place for the documentation.

Compile the package: 

make

Install the package and its documentation: 

make install
install -vd /usr/share/doc/isl-0.27
install -m644 doc/{CodingStyle,manual.pdf,SubmittingPatches,user.pod} \
        /usr/share/doc/isl-0.27

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

8.25.2. Contents of ISL

Installed Libraries: libisl.so
Installed directory: /usr/share/doc/isl-0.27

Short Descriptions

libisl

Contains integer set manipulation functions