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