38126d763e
In some cases this will introduce cycles which could likely be cleaned up by only depending on some unix tools instead of the whole autotools. Rebuilding doesn't make much sense at this point since it just adds a subset of base-devel which is still installed by default.
61 lines
1.7 KiB
Bash
61 lines
1.7 KiB
Bash
# Maintainer: Alexey Pavlov <alexpux@gmail.com>
|
|
|
|
pkgbase=isl
|
|
pkgname=('isl' 'isl-devel')
|
|
pkgver=0.22.1
|
|
pkgrel=1
|
|
pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
|
|
arch=('i686' 'x86_64')
|
|
url="https://isl.gforge.inria.fr/"
|
|
groups=('libraries')
|
|
depends=('gmp')
|
|
makedepends=('gmp-devel' 'autotools')
|
|
license=('MIT')
|
|
source=(http://isl.gforge.inria.fr/${pkgbase}-${pkgver}.tar.xz
|
|
isl-0.12.1-msys2.patch
|
|
isl-0.14.1-no-undefined.patch)
|
|
sha256sums=('28658ce0f0bdb95b51fd2eb15df24211c53284f6ca2ac5e897acc3169e55b60f'
|
|
'cd29dc28cc9905b15d18ca0de66752c0587cd06485115b9892ea53ec39c59d35'
|
|
'83655a7202f0a0dcce1782d4b365252bf1ad12a522b7ad82ab578ee5ec46433b')
|
|
|
|
prepare() {
|
|
cd "${srcdir}/${pkgbase}-${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/${pkgbase}-${pkgver}"
|
|
./configure --prefix=/usr --enable-shared --disable-static
|
|
make
|
|
make -j1 DESTDIR="${srcdir}/dest" install
|
|
}
|
|
|
|
check() {
|
|
cd "${srcdir}/${pkgbase}-${pkgver}"
|
|
make check
|
|
}
|
|
|
|
package_isl() {
|
|
mkdir -p ${pkgdir}/usr/bin
|
|
cp -f ${srcdir}/dest/usr/bin/*.dll ${pkgdir}/usr/bin
|
|
|
|
install -Dm644 ${srcdir}/${pkgbase}-${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/
|
|
|
|
install -dm755 "${pkgdir}"/usr/share/gdb/auto-load/usr/lib/
|
|
mv "$pkgdir"/usr/lib/libisl.dll.*-gdb.py "${pkgdir}"/usr/share/gdb/auto-load/usr/lib/
|
|
}
|