git.iko.soy/Idris-dev
on master help sign in
Slightly cleaner segregation
18e926bBenjamin Saunders
.travis.yml+2−1
compare with master
unifiedsplit
@@ -1,9 +1,10 @@
1language: haskell
1language: haskell
2−script:
2+before_script:
3 - cabal sdist
3 - cabal sdist
4 - cd ../..
4 - cd ../..
5 - tar -xvf edwinb/Idris-dev/dist/idris*.tar.gz
5 - tar -xvf edwinb/Idris-dev/dist/idris*.tar.gz
6 - cd idris*
6 - cd idris*
7+script:
7 - cabal configure
8 - cabal configure
8 - cabal install
9 - cabal install
9 - make test
10 - make test