From d9fa3680a620201021d8729667c9fee75ef666e6 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Wed, 6 Apr 2016 09:48:00 +0200 Subject: [PATCH] add missing ISL library to build the system on TravisCI --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 9776b475b..9c3a69855 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,4 +6,4 @@ 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 +install: sudo apt-get install nasm texinfo libmpfr-dev libmpc-dev libgmp-dev libisl-dev