summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrew Sun2018-04-22 19:37:59 -0400
committerAndrew Sun2018-04-22 19:37:59 -0400
commit6f19167674f71574027a522dee63f8f9e90878d8 (patch)
tree9b91bc73b3d6923683aacc94fdaecc510db2ba61
downloadaur-6f19167674f71574027a522dee63f8f9e90878d8.tar.gz
add lib32-isl (version 0.19)
-rw-r--r--.SRCINFO17
-rw-r--r--PKGBUILD45
2 files changed, 62 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..430868cccf4
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,17 @@
+pkgbase = lib32-isl
+ pkgdesc = Library for manipulating sets and relations of integer points bounded by linear constraints
+ pkgver = 0.19
+ pkgrel = 1
+ url = http://isl.gforge.inria.fr/
+ arch = x86_64
+ license = MIT
+ makedepends = lib32-gcc-libs
+ depends = lib32-gmp
+ depends = lib32-glibc
+ depends = lib32-python
+ depends = isl
+ source = http://isl.gforge.inria.fr/isl-0.19.tar.xz
+ sha256sums = 6d6c1aa00e2a6dfc509fa46d9a9dbe93af0c451e196a670577a148feecf6b8a5
+
+pkgname = lib32-isl
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..7ffe0a3d2ee
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,45 @@
+# Maintainer: Andrew Sun <adsun701@gmail.com>
+
+pkgname=lib32-isl
+_pkgbasename=isl
+pkgver=0.19
+pkgrel=1
+pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
+arch=('x86_64')
+url="http://isl.gforge.inria.fr/"
+depends=('lib32-gmp' 'lib32-glibc' 'lib32-python' 'isl')
+makedepends=('lib32-gcc-libs')
+license=('MIT')
+source=("http://isl.gforge.inria.fr/${_pkgbasename}-${pkgver}.tar.xz")
+sha256sums=('6d6c1aa00e2a6dfc509fa46d9a9dbe93af0c451e196a670577a148feecf6b8a5')
+
+
+prepare() {
+ cd "${srcdir}/${_pkgbasename}-${pkgver}"
+ autoreconf -fiv
+}
+
+build() {
+ cd "${srcdir}/${_pkgbasename}-${pkgver}"
+
+ export CC='gcc -m32'
+ export CXX='g++ -m32'
+ export PKG_CONFIG_PATH='/usr/lib32/pkgconfig'
+ export LDFLAGS+=' -m32'
+ export PYTHON='/usr/bin/python-32'
+
+ ./configure \
+ --prefix=/usr \
+ --libdir=/usr/lib32
+ make
+}
+
+package() {
+ cd "${srcdir}/${_pkgbasename}-${pkgver}"
+ make DESTDIR="${pkgdir}" install
+ rm -rf "${pkgdir}"/usr/{bin,include,share}
+
+ install -dm755 "${pkgdir}/usr/share/gdb/auto-load/usr/lib32/"
+ mv "${pkgdir}/usr/lib32/"*.py "${pkgdir}/usr/share/gdb/auto-load/usr/lib32/"
+}
+