>From c70d959815f0f9788f71512d65372dc0000a1810 Mon Sep 17 00:00:00 2001
From: Build Box <address@hidden>
Date: Sun, 24 Apr 2016 20:18:39 +0000
Subject: [PATCH 2/9] Patch: use isl 0.14.1

---
 src/isl.mk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/isl.mk b/src/isl.mk
index 3fe3b76..55657e5 100644
--- a/src/isl.mk
+++ b/src/isl.mk
@@ -3,8 +3,8 @@
 
 PKG             := isl
 $(PKG)_IGNORE   :=
-$(PKG)_VERSION  := 0.12.2
-$(PKG)_CHECKSUM := f4b3dbee9712850006e44f0db2103441ab3d13b406f77996d1df19ee89d11fb4
+$(PKG)_VERSION  := 0.14.1
+$(PKG)_CHECKSUM := 1f20561843eb9f6ae2076800bc45f3680ff7696520257cd5734ccfb843464cae
 $(PKG)_SUBDIR   := $(PKG)-$($(PKG)_VERSION)
 $(PKG)_FILE     := $(PKG)-$($(PKG)_VERSION).tar.bz2
 $(PKG)_URL      := http://isl.gforge.inria.fr/$($(PKG)_FILE)
-- 
2.7.2