From de45d29d0b3bf92162fd8150bbca7ebd5eb4f1b1 Mon Sep 17 00:00:00 2001
From: Markus Pfeiffer <markus.pfeiffer@morphism.de>
Date: Thu, 18 Sep 2014 10:53:37 +0100
Subject: [PATCH] Adapt travis testing

---
 .travis.yml | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

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"