diff --git a/.travis.yml b/.travis.yml index ebc9fe7f0..56d885db5 100644 --- a/.travis.yml +++ b/.travis.yml @@ -12,14 +12,9 @@ before_install: - sudo apt-get install -qq expect - cabal install alex-3.1.3 install: - - cabal install -f FFI --only-dependencies --enable-tests + - cabal install -f FFI --enable-tests - ghc-pkg list before_script: - - cd .. - - git clone --depth 1 git@github.com:idris-hackers/idris-llvm.git - - cd idris-llvm - - cabal install - - cd .. - cabal sdist - cd .. - tar -xf Idris-dev/dist/idris*.tar.gz @@ -28,6 +23,13 @@ script: - cabal configure -f FFI - if [[ "$TESTS" != "doc" ]]; then cabal build; fi - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi + - git clone --depth 1 https://github.com/markuspf/idris-llvm.git + - cd idris-llvm + - cabal install --only-dependencies + - cabal configure + - cabal build + - cabal copy + - cd .. - make -j2 $TESTS env: - TESTS="doc"