git.iko.soy/Idris-dev
on master help sign in
Make .travis.yml repository-independent
d64094cBenjamin Saunders
.travis.yml+2−2
compare with master
unifiedsplit
@@ -6,8 +6,8 @@ before_install:
6 - sudo apt-get install -qq libgc-dev llvm-3.3
6 - sudo apt-get install -qq libgc-dev llvm-3.3
7before_script:
7before_script:
8 - cabal sdist
8 - cabal sdist
9− - cd ../..
9+ - cd ..
10− - tar -xf edwinb/Idris-dev/dist/idris*.tar.gz
10+ - tar -xf Idris-dev/dist/idris*.tar.gz
11 - cd idris*
11 - cd idris*
12script:
12script:
13 - cabal configure
13 - cabal configure