pkgname=isl
pkgver=0.27
pkgrel=1
pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
arch=('x86_64')
url="https://libisl.sourceforge.io"
license=('MIT')
depends=('gmp')
source=(https://libisl.sourceforge.io/${pkgname}-${pkgver}.tar.xz)
sha256sums=(6d8babb59e7b672e8cb7870e874f3f7b813b6e00e6af3f8b04f7579965643d5c)

build() {
    cd ${pkgname}-${pkgver}

    local configure_args=(
        --disable-static
        --docdir=/usr/share/doc/${pkgname}-${pkgver}
        ${configure_options}
    )

    ./configure ${configure_args[@]}

    make
}

package() {
    cd ${pkgname}-${pkgver}

    make DESTDIR=${pkgdir} install

    install -vdm755 ${pkgdir}/usr/share/doc/${pkgname}-${pkgver}
    install -m644   doc/{CodingStyle,manual.pdf,SubmittingPatches,user.pod} \
        ${pkgdir}/usr/share/doc/${pkgname}-${pkgver}

    mkdir -pv ${pkgdir}/usr/share/gdb/auto-load/usr/lib64
    mv -v ${pkgdir}/usr/lib64/libisl*gdb.py ${pkgdir}/usr/share/gdb/auto-load/usr/lib64
}