summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorOndřej Hošek2017-06-28 17:26:35 +0200
committerOndřej Hošek2017-06-28 17:26:35 +0200
commit07ad5ee7967fefc8750bbc92707c905f37c4e1cf (patch)
tree3f657b547216c115e94eeaf1a75a56c93954dbd7
parentd51eae48cfcb986aad0dd33208b85783f86a43fc (diff)
downloadaur-07ad5ee7967fefc8750bbc92707c905f37c4e1cf.tar.gz
build and package C++ interface
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD13
2 files changed, 11 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 0bf411e43b49..eee16f1cbef6 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,8 +1,8 @@
# Generated by mksrcinfo v8
-# Tue Jun 20 13:56:35 UTC 2017
+# Wed Jun 28 15:25:28 UTC 2017
pkgbase = isl-git
pkgdesc = Library for manipulating sets and relations of integer points bounded by linear constraints (development version)
- pkgver = 0.18.765.g2c2d5c36
+ pkgver = 0.18.766.gf63eea4d
pkgrel = 1
url = http://isl.gforge.inria.fr/
arch = i686
diff --git a/PKGBUILD b/PKGBUILD
index ffa9df9c86e7..b3eb7ce37a5e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
# Contributor: Allan McRae <allan@archlinux.org>
pkgname=isl-git
-pkgver=0.18.765.g2c2d5c36
+pkgver=0.18.766.gf63eea4d
pkgrel=1
pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints (development version)"
arch=('i686' 'x86_64')
@@ -26,6 +26,9 @@ build() {
./autogen.sh
./configure --prefix=/usr --with-clang=system
make
+ cd "$srcdir/${pkgname%-git}/interface"
+ #make isl.py isl-noexceptions.h
+ make isl-noexceptions.h
}
check() {
@@ -37,8 +40,10 @@ package() {
cd "$srcdir/${pkgname%-git}"
make -j1 DESTDIR="$pkgdir/" install
- install -dm755 $pkgdir/usr/share/gdb/auto-load/usr/lib/
- mv $pkgdir/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.15.3.0-gdb.py
+ install -Dm644 "$srcdir/${pkgname%-git}/interface/isl-noexceptions.h" "$pkgdir/usr/include/isl/isl-noexceptions.h"
- install -Dm644 LICENSE $pkgdir/usr/share/licenses/isl/LICENSE
+ install -dm755 "$pkgdir/usr/share/gdb/auto-load/usr/lib/"
+ mv "$pkgdir"/{,/usr/share/gdb/auto-load/}usr/lib/libisl.so.15.3.0-gdb.py
+
+ install -Dm644 LICENSE "$pkgdir/usr/share/licenses/isl/LICENSE"
}