MidgardOS Developer Documentation

A website documenting creating the build root for MidgardOS

---

Section 5 - Building the Base System Tools

Navigation
« GNU MPC 32-bit	HOME	ISL 32-bit »

Integer Set Library

Name: ISL 64-bit
Summary: A library for handling Integer Sets bounded by linear constraints
License: MIT
Version: 0.27
URL: https://libisl.sourceforge.io/isl-0.27.tar.xz

Average Build Time: 0.1 SBU
Used Install Space: 20 MiB

Configuration

To configure ISL 64-bit for install into the build root, run the following command:

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

Compilation and Installation

To compile ISL 64-bit, run the following commands:

make
make html

Next, run the test suite:

make check

The Python test is failing due to the test being based on python2.x syntax and is safe to ignore.

Finally, to install ISL 64-bit into the build tree, run the following commands:

make install
make install-html
install -vd /usr/share/doc/isl-0.27
install -vm644 doc/{CodingStyle,manual.pdf,SubmittingPatches,user.pod} /usr/share/doc/isl-0.27
rm -fv /usr/lib64/libisl.la
mkdir -pv /usr/share/gdb/auto-load/usr/lib64
mv -v /usr/lib64/libisl*gdb.py /usr/share/gdb/auto-load/usr/lib64

NOTE: Do not delete the unpacked sources after build.

Contents

Contents
Installed Libraries	libisl.so
Installed Directories	/usr/share/doc/isl-0.27

Navigation
« GNU MPC 32-bit	HOME	ISL 32-bit »