MidgardOS Developer Documentation

A website documenting creating the build root for MidgardOS

---

Section 5 - Building the Base System Tools

Navigation
« ISL 64-bit	HOME	GNU LibIDN2 64-bit »

Integer Set Library

Name: ISL 32-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 32-bit for install into the build root, run the following commands:

make distclean
CC="gcc -m32" CXX="g++ -m32" \
./configure --host=i686-pc-linux-gnu        \
            --prefix=/usr                   \
            --libdir=/usr/lib               \
            --libexecdir=/usr/lib           \
            --disable-static                \
            --docdir=/usr/share/doc/isl-0.27

Compilation and Installation

To compile ISL 32-bit, run the following command:

make

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

make DESTDIR=$PWD/DESTDIR install
rm -fv DESTDIR/usr/lib/libisl.la
rm -fv DESTDIR/usr/lib/libisl.*-gdb.py
cp -Rv DESTDIR/usr/lib/* /usr/lib/

Contents

See the contents section of the 64-bit build of GNU MPC for details.

Navigation
« ISL 64-bit	HOME	GNU LibIDN2 64-bit »