isl 0.27-1

isl/PKGBUILD

@@ -0,0 +1,39 @@
+# This is an example PKGBUILD file. Use this as a start to creating your own,
+# and remove these comments. For more information, see 'man PKGBUILD'.
+# NOTE: Please fill out the license field for your package! If it is unknown,
+# then please put 'unknown'.
+
+# Maintainer: Future Linux Team <future_linux@163.com>
+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}
+
+	${CONFIGURE}         \
+	    --disable-static \
+	    --docdir=/usr/share/doc/${pkgname}-${pkgver}
+
+	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
+}