git.iko.soy/Idris-dev
on master help sign in
Adjust travis-ci script to test distribution generated by `cabal sdist`
ae4ca22Benjamin Saunders
.travis.yml+7−1
compare with master
unifiedsplit
@@ -1,3 +1,9 @@
1language: haskell
1language: haskell
2script:
2script:
3+ - cabal sdist
4+ - cd ../..
5+ - tar -xvf edwinb/Idris-dev/dist/idris*.tar.gz
6+ - cd idris*
7+ - cabal configure
3− - cabal configure && cabal install && make test
8+ - cabal install
9+ - make test