Mirrors/libhermit
1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00
Code Issues Releases Wiki Activity

install ISL library from source

Browse source
This commit is contained in:
Stefan Lankes 2016-04-07 18:38:36 +02:00
parent d9fa3680a6
commit f13c40a14c
1 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
.travis.yml
View file

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