@@ -1,7 +1,6 @@
1language: haskell
1language: haskell
2before_install:
2before_install:
3− - sudo sudo sh -c "echo 'deb http://llvm.org/apt/precise/ llvm-toolchain-precise main' >> /etc/apt/sources.list"
3+ - sudo add-apt-repository --yes ppa:h-rayflood/llvm
4− - wget -O - http://llvm.org/apt/llvm-snapshot.gpg.key | sudo apt-key add -
5 - sudo apt-get update -qq
4 - sudo apt-get update -qq
6 - sudo apt-get install -qq libgc-dev llvm-3.3
5 - sudo apt-get install -qq libgc-dev llvm-3.3
7before_script:
6before_script:
@@ -11,6 +10,7 @@ before_script:
11 - cd idris*
10 - cd idris*
13 - cabal configure
12 - cabal configure
14− - cabal install
13+ - cabal build
15 - make test
15 - make test