Befator-Inc-Firmen-Netzwerk/MSYS2-packages
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 1 Wiki Activity

isl: Update to 0.23

Browse Source
This commit is contained in:
Alexey Pavlov 2021-01-12 08:26:56 +03:00
parent e9fcb4ae06
commit 7d5ce37f59
1 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
isl/PKGBUILD
View File

@ -1,7 +1,8 @@
# Maintainer: Alexey Pavlov <alexpux@gmail.com>
pkgbase=isl
pkgname=('isl' 'isl-devel')
pkgver=0.22.1
pkgver=0.23
pkgrel=1
pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
arch=('i686' 'x86_64')
@ -10,15 +11,15 @@ groups=('libraries')
depends=('gmp')
makedepends=('gmp-devel')
license=('MIT')
source=(https://isl.gforge.inria.fr/${pkgname}-${pkgver}.tar.xz
source=(https://isl.gforge.inria.fr/${pkgbase}-${pkgver}.tar.xz
isl-0.12.1-msys2.patch
isl-0.14.1-no-undefined.patch)
sha256sums=('28658ce0f0bdb95b51fd2eb15df24211c53284f6ca2ac5e897acc3169e55b60f'
sha256sums=('5efc53efaef151301f4e7dde3856b66812d8153dede24fab17673f801c8698f2'
'cd29dc28cc9905b15d18ca0de66752c0587cd06485115b9892ea53ec39c59d35'
'83655a7202f0a0dcce1782d4b365252bf1ad12a522b7ad82ab578ee5ec46433b')
prepare() {
cd "${srcdir}/${pkgname}-${pkgver}"
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
@ -26,14 +27,14 @@ prepare() {
}
build() {
cd "$srcdir/${pkgname}-${pkgver}"
cd "$srcdir/${pkgbase}-${pkgver}"
./configure --prefix=/usr --enable-shared --disable-static
make
make -j1 DESTDIR="${srcdir}/dest" install
}
check() {
cd "${srcdir}/${pkgname}-${pkgver}"
cd "${srcdir}/${pkgbase}-${pkgver}"
make check
}
@ -41,7 +42,7 @@ 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
install -Dm644 ${srcdir}/${pkgbase}-${pkgver}/LICENSE ${pkgdir}/usr/share/licenses/isl/LICENSE
}
package_isl-devel() {
@ -54,6 +55,6 @@ package_isl-devel() {
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/
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/
}