1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00

add missing ISL library to build the system on TravisCI

This commit is contained in:
Stefan Lankes 2016-04-06 09:48:00 +02:00
parent d7b279af4a
commit d9fa3680a6

View file

@ -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