Slightly cleaner segregation
commit18e926beb083a8a2c6a09f409a3bc5aa1ec25e14
authorBenjamin Saunders <besaunde@sfu.ca>
dateFri 28 Jun 2013, 17:51 (13 years ago)
parent91b016a
.travis.yml+2−1
@@ -1,9 +1,10 @@
11language: haskell
2−script:
2+before_script:
33 - cabal sdist
44 - cd ../..
55 - tar -xvf edwinb/Idris-dev/dist/idris*.tar.gz
66 - cd idris*
7+script:
78 - cabal configure
89 - cabal install
910 - make test