git.iko.soy/Idris-dev
on master help sign in
List packages in Travis
249523dDavid Raymond Christiansen
.travis.yml+1
compare with master
unifiedsplit
@@ -12,6 +12,7 @@ before_install:
12 - sudo apt-get install -qq expect
12 - sudo apt-get install -qq expect
13install:
13install:
14 - cabal install -f FFI -f LLVM --only-dependencies --enable-tests
14 - cabal install -f FFI -f LLVM --only-dependencies --enable-tests
15+ - ghc-pkg list
15before_script:
16before_script:
16 - cabal sdist
17 - cabal sdist
17 - cd ..
18 - cd ..