diff --git a/.travis.yml b/.travis.yml
index 9c3a69855..db4b2a219 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -6,4 +6,13 @@ before_install:
         - sudo apt-get update
         - sed -i 's/git@github.com:/https:\/\/github.com\//' .gitmodules
         - git submodule update --init --recursive
-install: sudo apt-get install nasm texinfo libmpfr-dev libmpc-dev libgmp-dev libisl-dev
+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
+        - ./configure -with-bits=gmp
+        - make -j4
+        - sudo make install
+        - cd -
+        - rm -rf isl-0.10*