@@ -12,14 +12,9 @@ before_install:
1212 - sudo apt-get install -qq expect
1313 - cabal install alex-3.1.3
1414install:
15− - cabal install -f FFI --only-dependencies --enable-tests
15+ - cabal install -f FFI --enable-tests
1616 - ghc-pkg list
1717before_script:
18− - cd ..
19− - git clone --depth 1 git@github.com:idris-hackers/idris-llvm.git
20− - cd idris-llvm
21− - cabal install
22− - cd ..
2318 - cabal sdist
2419 - cd ..
2520 - tar -xf Idris-dev/dist/idris*.tar.gz
@@ -28,6 +23,13 @@ script:
2823 - cabal configure -f FFI
2924 - if [[ "$TESTS" != "doc" ]]; then cabal build; fi
3025 - if [[ "$TESTS" != "doc" ]]; then cabal copy; fi
26+ - git clone --depth 1 https://github.com/markuspf/idris-llvm.git
27+ - cd idris-llvm
28+ - cabal install --only-dependencies
29+ - cabal configure
30+ - cabal build
31+ - cabal copy
32+ - cd ..
3133 - make -j2 $TESTS
3234env:
3335 - TESTS="doc"