8.26. ISL-0.27

8.26.1. Installation of ISL

Create the PKGBUILD for the Mpc package with the following commands:

mkdir /sources/isl
cd /sources/isl
cat > PKGBUILD << "REALEOF"
# Maintainer: Linux From Scratch <lfs-dev@lists.linuxfromscratch.org>

pkgname="isl"
pkgver="0.27"
pkgrel="1"
pkgdesc="The ISL (Integer Set Library) contains a library for manipulating sets and relations of integer points bounded by linear constraints."
arch=('x86'
      'x86_64')
url="http://isl.gforge.inria.fr/"
license=('LGPLv3')
groups=('core')
depends=('glibc'
         'gmp')
makedepends=('bash'
             'binutils'
             'coreutils'
             'diffutils'
             'gawk'
             'gcc'
             'grep'
             'make'
             'sed')
source=('https://libisl.sourceforge.io/isl-0.27.tar.xz')
md5sums=('11ee9d335b227ea2e8579c4ba6e56138')
    
build() {
  cd "${pkgname}-${pkgver}"
  ./configure --prefix=/usr        \
              --disable-static
  make
  make html

}

check() {
  cd "${pkgname}-${pkgver}"
  make check
}

package() {
  cd "${pkgname}-${pkgver}"
  make DESTDIR="${pkgdir}" install

  # Install the gdb.py file in the auto-load directory
  install -dm755 "${pkgdir}"/usr/share/gdb/auto-load/usr/lib/
  mv "${pkgdir}"/usr/lib/libisl.so.*-gdb.py "${pkgdir}"/usr/share/gdb/auto-load/usr/lib/

}
REALEOF

Prepare the build directory for the pacman user and build the package:

chown -R root:pacman .
chmod 2775 .
chmod 664 PKGBUILD
su pacman -c 'makepkg -L --nodeps'

Add the newly created package to the central package repository:

cp isl-0.27-1-$(uname -m).pkg.tar.xz \
   /srv/pacman/repos/LFS/
repo-add /srv/pacman/repos/LFS/LFS.db.tar.xz \
         /srv/pacman/repos/LFS/isl-0.27-1-$(uname -m).pkg.tar.xz

Update the local cache and install the Mpc package:

pacman -Syu
pacman -S isl --overwrite \* -dd --noconfirm

Finally, copy the source files into the source repository and clean up the build directory:

mkdir /srv/pacman/source/LFS/isl
cp PKGBUILD /srv/pacman/source/LFS/isl
cd /sources
rm -rf isl