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

switch to ISL 0.12.2

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

6
.travis.yml
View file

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