Adjust travis-ci script to test distribution generated by `cabal sdist`
commitae4ca227fec5307a18d62af93d1b3278c8cbda03
authorBenjamin Saunders <besaunde@sfu.ca>
dateFri 28 Jun 2013, 17:43 (13 years ago)
parentfb8cc6a
.travis.yml+7−1
@@ -1,3 +1,9 @@
11language: haskell
22script:
3− - cabal configure && cabal install && make test
3+ - cabal sdist
4+ - cd ../..
5+ - tar -xvf edwinb/Idris-dev/dist/idris*.tar.gz
6+ - cd idris*
7+ - cabal configure
8+ - cabal install
9+ - make test