From a440085f266ef14ac2e8cb48f8eeaa0d7b39bd1f Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Thu, 7 Apr 2016 18:50:03 +0200
Subject: [PATCH] switch to ISL 0.12.2

---
 .travis.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index db4b2a219..89bc8652d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,10 +9,10 @@ before_install:
 install:
         - sudo apt-get install nasm texinfo libmpfr-dev libmpc-dev libgmp-dev
         - wget ftp://gcc.gnu.org/pub/gcc/infrastructure/isl-0.10.tar.bz2
-        - tar -xjf isl-0.10.tar.bz2
-        - cd isl-0.10
+        - tar -xjf isl-0.12.2.tar.bz2
+        - cd isl-0.12.2
         - ./configure -with-bits=gmp
         - make -j4
         - sudo make install
         - cd -
-        - rm -rf isl-0.10*
+        - rm -rf isl-0.12.2*