idris-lang/Idris-dev
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris-dev.git synced 2024-10-05 02:18:13 +03:00
Code Issues Projects Releases Wiki Activity

List packages in Travis

Browse Source
This commit is contained in:
David Raymond Christiansen 2014-07-23 09:07:05 +02:00
parent 196bc76771
commit 249523ddb5
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.travis.yml
View File

@ -12,6 +12,7 @@ before_install:
- sudo apt-get install -qq expect
install:
- cabal install -f FFI -f LLVM --only-dependencies --enable-tests
- ghc-pkg list
before_script:
- cabal sdist
- cd ..