michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(travis): use ppa to install LuaJit-2.0.1 on Ubuntu

Browse source
This commit is contained in:
Soonho Kong 2013-12-23 15:35:51 -05:00
parent bcb41cd938
commit 2cdd06b182
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.travis.yml
View file

@ -160,6 +160,8 @@ install:
until sudo apt-get -qq install liblua5.1-0 liblua5.1-0-dev lua5.1; do echo retry; done;
fi
- if [[ $LUA == JIT ]]; then
until sudo add-apt-repository --yes ppa:mwild1/ppa; do echo retry; done;
until sudo apt-get -qq update; do echo retry; done;
until sudo apt-get -qq install libluajit-5.1-dev luajit; do echo retry; done;
fi
- wget http://dl.dropboxusercontent.com/u/203889738/gcc/ninja.tar.gz;