Add mingw-w64-gcc

src/isl/PKGBUILD

@@ -0,0 +1,38 @@
+#  Maintainer: sudokode <sudokode@gmail.com>
+# Contributor: Allan McRae <allan@archlinux.org>
+
+pkgname=isl
+pkgver=0.18
+pkgrel=3
+pkgdesc="Library for manipulating sets and relations of integer points bounded by linear constraints"
+arch=('i686' 'x86_64')
+url="http://isl.gforge.inria.fr/"
+depends=('gmp')
+license=('MIT')
+conflicts=('isl-git' 'isl15' 'isl14')
+source=("http://isl.gforge.inria.fr/$pkgname-${pkgver}.tar.xz")
+sha256sums=('0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4')
+
+build() {
+  cd $pkgname-$pkgver
+
+  ./configure --prefix=/usr
+  make
+}
+
+check() {
+  cd $pkgname-$pkgver
+
+  make check
+}
+
+package() {
+  cd $pkgname-$pkgver
+
+  make DESTDIR="$pkgdir" install
+
+  install -dm755 "$pkgdir"/usr/share/gdb/auto-load/usr/lib/
+  mv "$pkgdir"/usr/lib/libisl.so.*-gdb.py "$pkgdir"/usr/share/gdb/auto-load/usr/lib/
+  
+  install -Dm644 LICENSE "$pkgdir"/usr/share/licenses/isl/LICENSE
+}