version 0.19

3 files changed, 74 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..d6e3c24f4f5a
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,19 @@
+pkgbase = mingw-w64-isl
+	pkgdesc = Library for manipulating sets and relations of integer points bounded by linear constraints (mingw-w64)
+	pkgver = 0.19
+	pkgrel = 1
+	url = http://isl.gforge.inria.fr/
+	arch = any
+	license = MIT
+	makedepends = mingw-w64-configure
+	depends = mingw-w64-gmp
+	options = !strip
+	options = !buildflags
+	options = staticlibs
+	source = http://isl.gforge.inria.fr/isl-0.19.tar.xz
+	source = isl-0.14.1-no-undefined.patch
+	sha256sums = 6d6c1aa00e2a6dfc509fa46d9a9dbe93af0c451e196a670577a148feecf6b8a5
+	sha256sums = 83655a7202f0a0dcce1782d4b365252bf1ad12a522b7ad82ab578ee5ec46433b
+
+pkgname = mingw-w64-isl
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..dc9ea7503570
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,44 @@
+# Maintainer: Andrew Sun <adsun701@gmail.com>
+
+pkgname=mingw-w64-isl
+pkgver=0.19
+pkgrel=1
+pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints (mingw-w64)"
+arch=('any')
+url="http://isl.gforge.inria.fr/"
+license=('MIT')
+makedepends=('mingw-w64-configure')
+depends=('mingw-w64-gmp')
+options=('!strip' '!buildflags' 'staticlibs')
+source=("http://isl.gforge.inria.fr/isl-${pkgver}.tar.xz"
+        "isl-0.14.1-no-undefined.patch")
+sha256sums=('6d6c1aa00e2a6dfc509fa46d9a9dbe93af0c451e196a670577a148feecf6b8a5'
+            '83655a7202f0a0dcce1782d4b365252bf1ad12a522b7ad82ab578ee5ec46433b')
+
+_architectures="i686-w64-mingw32 x86_64-w64-mingw32"
+
+prepare() {
+  cd "${srcdir}/isl-${pkgver}"
+  patch -p1 -i ${srcdir}/isl-0.14.1-no-undefined.patch
+  autoreconf -fi
+}
+
+build() {
+  cd "${srcdir}/isl-${pkgver}"
+  for _arch in ${_architectures}; do
+    mkdir -p build-${_arch} && pushd build-${_arch}
+    ${_arch}-configure ..
+    make
+    popd
+  done
+}
+
+package() {
+  for _arch in ${_architectures}; do
+    cd "${srcdir}/isl-${pkgver}/build-${_arch}"
+    make DESTDIR="${pkgdir}" install
+    rm -f "${pkgdir}"/usr/${_arch}/lib/libisl.dll.a-gdb.py
+    ${_arch}-strip --strip-unneeded "$pkgdir"/usr/${_arch}/bin/*.dll
+    ${_arch}-strip -g "$pkgdir"/usr/${_arch}/lib/*.a
+  done
+}
diff --git a/isl-0.14.1-no-undefined.patch b/isl-0.14.1-no-undefined.patch
new file mode 100644
index 000000000000..3da3fbb70931
--- /dev/null
+++ b/isl-0.14.1-no-undefined.patch
@@ -0,0 +1,11 @@
+--- isl-0.14.1/Makefile.am.orig	2015-06-09 00:57:27.063200000 +0400
++++ isl-0.14.1/Makefile.am	2015-06-09 00:59:20.587200000 +0400
+@@ -164,7 +164,7 @@
+ 	isl_vertices_private.h \
+ 	isl_vertices.c
+ libisl_la_LIBADD = @MP_LIBS@
+-libisl_la_LDFLAGS = -version-info @versioninfo@ \
++libisl_la_LDFLAGS = -version-info @versioninfo@ -no-undefined \
+ 	@MP_LDFLAGS@
+ 
+ isl_test_LDFLAGS = @MP_LDFLAGS@