# Maintainer: Alexey Pavlov <alexpux@gmail.com>

pkgname=('isl' 'isl-devel')
pkgver=0.14.1
pkgrel=1
pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
arch=('i686' 'x86_64')
url="http://isl.gforge.inria.fr/"
groups=('libraries')
depends=('gmp')
makedepends=('gmp-devel')
license=('MIT')
source=(http://isl.gforge.inria.fr/${pkgname}-$pkgver.tar.xz
        isl-0.12.1-msys2.patch
        isl-0.14.1-no-undefined.patch)
md5sums=('94fcd11e0b1c79250ae341affb1845ea'
         '21b336bbc1b9b7806b3d927ccb9a95d3'
         '38c67a10e197acb83217be17075070f9')

prepare() {
  cd "${srcdir}/${pkgname}-${pkgver}"
  patch -p1 -i ${srcdir}/isl-0.12.1-msys2.patch
  patch -p1 -i ${srcdir}/isl-0.14.1-no-undefined.patch
  
  autoreconf -fi
}

build() {
  cd "$srcdir/${pkgname}-${pkgver}"
  ./configure --prefix=/usr --enable-shared --disable-static
  make
  make -j1 DESTDIR="${srcdir}/dest" install
}

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

package_isl() {
  mkdir -p ${pkgdir}/usr/bin
  cp -f ${srcdir}/dest/usr/bin/*.dll ${pkgdir}/usr/bin

  install -Dm644 ${srcdir}/${pkgname}-${pkgver}/LICENSE ${pkgdir}/usr/share/licenses/isl/LICENSE
}

package_isl-devel() {
  pkgdesc="ISL headers and libraries"
  groups=('development')
  depends=("isl=${pkgver}" 'gmp-devel')

  mkdir -p ${pkgdir}/usr

  cp -rf ${srcdir}/dest/usr/include ${pkgdir}/usr/
  cp -rf ${srcdir}/dest/usr/lib ${pkgdir}/usr/
}
